Trace number 353689

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14SAT (TO)-47 1800.06 1800.73

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-49
Best CPU time to get the best result obtained on this benchmark1800.1
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 (download as text)

0.00/0.00	c Parsing PB file...
2.10/2.19	c Converting 80035 PB-constraints to clauses...
2.10/2.20	c   -- Unit propagations: (none)
2.10/2.20	c   -- Detecting intervals from adjacent constraints: (none)
2.19/2.20	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
2.29/2.38	c ==================================[MINISAT+]==================================
2.29/2.38	c | Conflicts | Original         | Learnt                           | Progress |
2.29/2.38	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.29/2.38	c ==============================================================================
2.29/2.38	c |         0 |   80035   160070 |   26678       0        0     nan |  0.000 % |
2.29/2.38	c ==============================================================================
2.29/2.38	c Found solution: -37
2.29/2.38	o -37
2.29/2.39	c ---[   0]---> Sorter-cost:63046     Base:
2.49/2.54	c ==================================[MINISAT+]==================================
2.49/2.54	c | Conflicts | Original         | Learnt                           | Progress |
2.49/2.54	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.49/2.54	c ==============================================================================
2.49/2.54	c |         0 |  147951   319392 |   49317       0        0     nan |  0.000 % |
2.79/2.80	c |       100 |  147312   318040 |   54248      57     1282    22.5 |  0.772 % |
2.99/3.09	c |       251 |  146773   316900 |   59673     187     2917    15.6 |  1.422 % |
3.49/3.59	c |       476 |  145213   313544 |   65640     368     5352    14.5 |  3.429 % |
4.09/4.13	c |       813 |  143505   309796 |   72205     621     8354    13.5 |  5.644 % |
5.19/5.21	c |      1320 |  139677   301273 |   79425    1008    13306    13.2 | 10.638 % |
6.19/6.24	c |      2079 |  135693   292365 |   87368    1543    19391    12.6 | 15.964 % |
7.79/7.85	c |      3218 |  129784   278974 |   96104    2359    29829    12.6 | 24.035 % |
9.99/10.07	c |      4926 |  122432   262085 |  105715    3616    48944    13.5 | 34.279 % |
12.89/12.98	c |      7488 |  111938   237654 |  116286    5258    69109    13.1 | 49.006 % |
16.29/16.30	c |     11332 |  101310   212553 |  127915    7785   111547    14.3 | 64.438 % |
18.09/18.15	c ==============================================================================
18.09/18.15	c Found solution: -38
18.09/18.15	o -38
18.09/18.16	c ---[   0]---> Sorter-cost:    0     Base:
18.19/18.24	c ==================================[MINISAT+]==================================
18.19/18.24	c | Conflicts | Original         | Learnt                           | Progress |
18.19/18.24	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
18.19/18.24	c ==============================================================================
18.19/18.24	c |     14084 |   96816   201835 |   32272    9412   143299    15.2 | 64.438 % |
18.19/18.27	c |     14184 |   96772   201727 |   35499    9499   144028    15.2 | 71.052 % |
18.29/18.36	c |     14334 |   96570   201231 |   39049    9550   144833    15.2 | 71.359 % |
18.39/18.49	c |     14560 |   96295   200569 |   42954    9703   147277    15.2 | 71.772 % |
18.59/18.64	c ==============================================================================
18.59/18.64	c Found solution: -40
18.59/18.64	o -40
18.59/18.65	c ---[   0]---> Sorter-cost:    0     Base:
18.69/18.73	c ==================================[MINISAT+]==================================
18.69/18.73	c | Conflicts | Original         | Learnt                           | Progress |
18.69/18.73	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
18.69/18.73	c ==============================================================================
18.69/18.73	c |     14788 |   96036   200007 |   32012    9819   147145    15.0 | 71.772 % |
18.69/18.77	c |     14888 |   96036   200007 |   35213    9919   148330    15.0 | 72.243 % |
18.79/18.81	c |     15038 |   96036   200007 |   38734   10069   149721    14.9 | 72.243 % |
18.79/18.89	c |     15263 |   96036   200007 |   42607   10294   154570    15.0 | 72.243 % |
18.99/19.02	c |     15600 |   95761   199378 |   46868   10569   160536    15.2 | 72.625 % |
19.19/19.29	c |     16106 |   95153   197892 |   51555   10886   169202    15.5 | 73.553 % |
19.49/19.57	c |     16865 |   94758   196946 |   56711   11525   181628    15.8 | 74.144 % |
19.98/20.06	c |     18004 |   94310   195868 |   62382   12430   205545    16.5 | 74.813 % |
20.58/20.64	c |     19713 |   94001   195126 |   68620   13894   265668    19.1 | 75.275 % |
21.78/21.85	c |     22276 |   92381   191245 |   75482   15687   319719    20.4 | 77.691 % |
23.18/23.24	c |     26120 |   91522   189173 |   83030   19074   495885    26.0 | 78.980 % |
23.98/24.07	c ==============================================================================
23.98/24.07	c Found solution: -41
23.98/24.07	o -41
23.98/24.08	c ---[   0]---> Sorter-cost:    0     Base:
24.09/24.17	c ==================================[MINISAT+]==================================
24.09/24.17	c | Conflicts | Original         | Learnt                           | Progress |
24.09/24.17	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
24.09/24.17	c ==============================================================================
24.09/24.17	c |     27853 |   91077   188149 |   30359   20461   588458    28.8 | 78.980 % |
24.19/24.21	c |     27953 |   91077   188149 |   33394   20561   590686    28.7 | 79.629 % |
24.19/24.29	c |     28103 |   91026   188021 |   36734   20631   592469    28.7 | 79.706 % |
24.28/24.36	c |     28328 |   91026   188021 |   40407   20856   599678    28.8 | 79.706 % |
24.38/24.48	c |     28665 |   91026   188021 |   44448   21193   622260    29.4 | 79.706 % |
24.68/24.70	c ==============================================================================
24.68/24.70	c Found solution: -42
24.68/24.70	o -42
24.68/24.72	c ---[   0]---> Sorter-cost:    0     Base:
24.78/24.80	c ==================================[MINISAT+]==================================
24.78/24.80	c | Conflicts | Original         | Learnt                           | Progress |
24.78/24.80	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
24.78/24.80	c ==============================================================================
24.78/24.80	c |     28969 |   90731   187263 |   30243   21322   628608    29.5 | 79.706 % |
24.78/24.86	c |     29069 |   90722   187240 |   33267   21414   632006    29.5 | 80.173 % |
24.88/24.95	c |     29219 |   90593   186934 |   36594   21396   633325    29.6 | 80.358 % |
24.98/25.06	c |     29445 |   90536   186795 |   40253   21617   652375    30.2 | 80.447 % |
25.19/25.23	c |     29782 |   90499   186706 |   44278   21904   668251    30.5 | 80.503 % |
25.48/25.51	c |     30289 |   90299   186216 |   48706   22108   682253    30.9 | 80.809 % |
25.78/25.81	c |     31048 |   90231   186060 |   53577   22782   711877    31.2 | 80.904 % |
26.29/26.40	c |     32187 |   89778   184940 |   58935   23599   766824    32.5 | 81.598 % |
26.98/27.02	c |     33896 |   89773   184929 |   64828   25280   869667    34.4 | 81.605 % |
28.08/28.17	c |     36458 |   89601   184511 |   71311   27781  1104154    39.7 | 81.868 % |
30.48/30.53	c |     40303 |   89001   183057 |   78442   30883  1452224    47.0 | 82.782 % |
33.68/33.74	c |     46069 |   88653   182193 |   86286   36261  1909440    52.7 | 83.326 % |
37.88/37.99	c ==============================================================================
37.88/37.99	c Found solution: -43
37.88/37.99	o -43
37.98/38.00	c ---[   0]---> Sorter-cost:    0     Base:
38.08/38.12	c ==================================[MINISAT+]==================================
38.08/38.12	c | Conflicts | Original         | Learnt                           | Progress |
38.08/38.12	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
38.08/38.12	c ==============================================================================
38.08/38.12	c |     53577 |   88651   182222 |   29550   43705  2561808    58.6 | 83.326 % |
38.08/38.18	c |     53677 |   88651   182222 |   32505   43805  2563789    58.5 | 83.359 % |
38.28/38.35	c |     53827 |   88622   182151 |   35755   43811  2568576    58.6 | 83.404 % |
38.48/38.52	c |     54052 |   88622   182151 |   39331   44036  2589935    58.8 | 83.404 % |
38.78/38.80	c |     54389 |   88537   181938 |   43264   44316  2602581    58.7 | 83.542 % |
39.08/39.19	c |     54895 |   88502   181851 |   47590   44743  2640960    59.0 | 83.598 % |
39.77/39.80	c |     55654 |   88489   181818 |   52349   45410  2688658    59.2 | 83.620 % |
40.88/40.91	c |     56795 |   88255   181245 |   57584   46245  2798146    60.5 | 83.970 % |
41.69/41.77	c |     58504 |   88255   181245 |   63343   47954  2931810    61.1 | 83.970 % |
43.68/43.77	c |     61066 |   88117   180910 |   69677   50021  3189748    63.8 | 84.181 % |
46.47/46.55	c |     64910 |   88088   180842 |   76645   53834  3616238    67.2 | 84.220 % |
50.68/50.73	c |     70676 |   88083   180831 |   84309   59598  4123646    69.2 | 84.226 % |
56.27/56.33	c ==============================================================================
56.27/56.33	c Found solution: -45
56.27/56.33	o -45
56.27/56.35	c ---[   0]---> Sorter-cost:    0     Base:
56.37/56.49	c ==================================[MINISAT+]==================================
56.37/56.49	c | Conflicts | Original         | Learnt                           | Progress |
56.37/56.49	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
56.37/56.49	c ==============================================================================
56.37/56.49	c |     76602 |   87920   180446 |   29306   64994  4731142    72.8 | 84.226 % |
56.57/56.61	c |     76704 |   87920   180446 |   32236   65096  4739491    72.8 | 84.488 % |
56.67/56.76	c |     76855 |   87920   180446 |   35460   65247  4745429    72.7 | 84.488 % |
56.87/57.00	c |     77080 |   87920   180446 |   39006   65472  4759519    72.7 | 84.488 % |
57.28/57.33	c |     77417 |   87920   180446 |   42906   65809  4783089    72.7 | 84.488 % |
57.78/57.83	c |     77924 |   87920   180446 |   47197   66316  4834519    72.9 | 84.488 % |
58.58/58.60	c |     78684 |   87915   180435 |   51917   67073  4915209    73.3 | 84.494 % |
59.87/59.92	c |     79823 |   87782   180128 |   57109   67701  5020176    74.2 | 84.681 % |
61.77/61.89	c |     81531 |   87629   179763 |   62820   69363  5207979    75.1 | 84.907 % |
64.27/64.31	c |     84093 |   87629   179763 |   69102   71925  5462668    75.9 | 84.907 % |
68.67/68.70	c |     87937 |   87629   179763 |   76012   75769  5852613    77.2 | 84.907 % |
74.36/74.44	c |     93703 |   87615   179727 |   83613   81487  6335995    77.8 | 84.931 % |
84.17/84.25	c |    102352 |   87615   179727 |   91974   90136  7289858    80.9 | 84.931 % |
101.06/101.19	c |    115328 |   87613   179723 |  101172  103111  8798918    85.3 | 84.933 % |
128.75/128.83	c |    134790 |   87540   179550 |  111289  122522 11000809    89.8 | 85.040 % |
178.84/178.91	c |    163982 |   87270   178893 |  122418  150898 14231492    94.3 | 85.455 % |
228.13/228.29	c |    207771 |   87197   178706 |  134660   54694  5876777   107.4 | 85.578 % |
334.09/334.23	c |    273455 |   87182   178671 |  148126  120376 10322069    85.7 | 85.599 % |
533.83/534.08	c |    371981 |   87177   178658 |  162938   51891  2115967    40.8 | 85.608 % |
802.45/802.79	c |    519771 |   87049   178354 |  179232  199664 15496049    77.6 | 85.793 % |
1097.56/1097.93	c ==============================================================================
1097.56/1097.93	c Found solution: -46
1097.56/1097.93	o -46
1097.56/1097.95	c ---[   0]---> Sorter-cost:    0     Base:
1097.86/1098.28	c ==================================[MINISAT+]==================================
1097.86/1098.28	c | Conflicts | Original         | Learnt                           | Progress |
1097.86/1098.28	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1097.86/1098.28	c ==============================================================================
1097.86/1098.28	c |    701811 |   86901   177971 |   28967  182482 19502868   106.9 | 85.793 % |
1099.06/1099.44	c |    701911 |   86901   177971 |   31863   22991  1347020    58.6 | 86.009 % |
1099.16/1099.53	c |    702061 |   86901   177971 |   35050   23141  1358101    58.7 | 86.009 % |
1099.26/1099.65	c |    702287 |   86895   177957 |   38555   23364  1366748    58.5 | 86.017 % |
1099.36/1099.77	c |    702624 |   86895   177957 |   42410   23701  1379424    58.2 | 86.017 % |
1099.56/1099.97	c |    703130 |   86895   177957 |   46651   24207  1396449    57.7 | 86.017 % |
1099.86/1100.24	c |    703893 |   86895   177957 |   51316   24970  1445843    57.9 | 86.017 % |
1100.36/1100.79	c |    705032 |   86895   177957 |   56448   26109  1529104    58.6 | 86.017 % |
1101.06/1101.47	c |    706740 |   86843   177831 |   62093   27752  1618128    58.3 | 86.097 % |
1102.46/1102.82	c |    709302 |   86840   177824 |   68302   30266  1883311    62.2 | 86.101 % |
1104.76/1105.18	c |    713146 |   86836   177814 |   75132   34106  2413903    70.8 | 86.108 % |
1108.06/1108.45	c |    718914 |   86828   177796 |   82646   39867  2923494    73.3 | 86.118 % |
1114.45/1114.85	c |    727563 |   86823   177785 |   90910   48485  3902676    80.5 | 86.125 % |
1125.15/1125.60	c |    740537 |   86725   177549 |  100001   61453  5190422    84.5 | 86.271 % |
1149.14/1149.56	c |    759998 |   86725   177549 |  110002   80914  7702762    95.2 | 86.271 % |
1186.83/1187.27	c |    789190 |   86708   177510 |  121002  110092 10692484    97.1 | 86.295 % |
1260.61/1261.07	c |    832979 |   86706   177506 |  133102  153880 14874274    96.7 | 86.297 % |
1353.18/1353.63	c |    898663 |   86706   177506 |  146412   66858  4322578    64.7 | 86.297 % |
1554.40/1555.04	c |    997189 |   86694   177476 |  161054  165381  8276913    50.0 | 86.316 % |
1713.05/1713.72	c ==============================================================================
1713.05/1713.72	c Found solution: -47
1713.05/1713.72	o -47
1713.05/1713.74	c ---[   0]---> Sorter-cost:    0     Base:
1713.15/1713.87	c ==================================[MINISAT+]==================================
1713.15/1713.87	c | Conflicts | Original         | Learnt                           | Progress |
1713.15/1713.87	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1713.15/1713.87	c ==============================================================================
1713.15/1713.87	c |   1080259 |   86725   177563 |   28908   71949  2423087    33.7 | 86.316 % |
1713.75/1714.47	c |   1080360 |   86725   177563 |   31798   26210   656098    25.0 | 86.305 % |
1713.85/1714.56	c |   1080510 |   86725   177563 |   34978   26360   662533    25.1 | 86.305 % |
1713.95/1714.69	c |   1080735 |   86725   177563 |   38476   26585   673821    25.3 | 86.305 % |
1714.15/1714.81	c |   1081074 |   86725   177563 |   42324   26924   682698    25.4 | 86.305 % |
1714.35/1715.00	c |   1081582 |   86725   177563 |   46556   27432   709014    25.8 | 86.305 % |
1714.65/1715.39	c |   1082341 |   86725   177563 |   51212   28191   776508    27.5 | 86.305 % |
1715.25/1715.97	c |   1083480 |   86725   177563 |   56333   29330   849216    29.0 | 86.305 % |
1715.75/1716.48	c |   1085188 |   86725   177563 |   61966   31038   913536    29.4 | 86.305 % |
1716.75/1717.43	c |   1087750 |   86716   177540 |   68163   33595  1057290    31.5 | 86.320 % |
1718.35/1719.06	c |   1091594 |   86667   177427 |   74979   37423  1327704    35.5 | 86.389 % |
1721.15/1721.86	c |   1097360 |   86627   177330 |   82477   43158  1771846    41.1 | 86.449 % |
1726.64/1727.38	c |   1106009 |   86618   177309 |   90725   51799  2717047    52.5 | 86.462 % |
1737.94/1738.63	c |   1118985 |   86507   177033 |   99798   64752  4004424    61.8 | 86.635 % |
1757.24/1757.97	c |   1138446 |   86458   176904 |  109778   84207  5682506    67.5 | 86.721 % |
1796.73/1797.45	c |   1167639 |   86458   176904 |  120755  113400  7890896    69.6 | 86.721 % |
1800.03/1800.70	c 
1800.03/1800.70	c *** TERMINATED ***
1800.03/1800.70	s SATISFIABLE
1800.03/1800.70	v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 x1139 -x1138 -x1137 -x1136 -x1135 -x1134
1800.03/1800.70	v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 x1119 -x1118 -x1117
1800.03/1800.70	v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100
1800.03/1800.70	v -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083
1800.03/1800.70	v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066
1800.03/1800.70	v -x1065 -x1064 -x1063 -x1062 -x1061 x1060 -x1059 -x1058 x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048
1800.03/1800.70	v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 x1032 -x1031
1800.03/1800.70	v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014
1800.03/1800.70	v -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996
1800.03/1800.70	v -x995 -x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 x976 -x975
1800.03/1800.70	v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954
1800.03/1800.70	v -x953 -x952 -x951 -x950 -x949 -x948 x947 -x946 -x945 -x944 -x943 -x942 -x941 x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933
1800.03/1800.70	v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912
1800.03/1800.70	v -x911 -x910 -x909 -x908 x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891
1800.03/1800.70	v -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870
1800.03/1800.70	v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849
1800.03/1800.70	v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828
1800.03/1800.70	v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807
1800.03/1800.70	v -x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786
1800.03/1800.70	v -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765
1800.03/1800.70	v -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 x747 -x746 -x745 -x744
1800.03/1800.70	v -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 x723
1800.03/1800.70	v -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702
1800.03/1800.70	v -x701 -x700 -x699 -x698 -x697 -x696 -x695 x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681
1800.03/1800.70	v -x680 -x679 -x678 -x677 x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660
1800.03/1800.70	v x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639
1800.03/1800.70	v x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618
1800.03/1800.70	v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597
1800.03/1800.70	v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576
1800.03/1800.70	v -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 -x555
1800.03/1800.70	v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 x539 -x538 -x537 -x536 -x535 -x534
1800.03/1800.70	v -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513
1800.03/1800.70	v -x512 -x511 -x510 x509 -x508 -x507 -x506 -x505 -x504 x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492
1800.03/1800.70	v -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471
1800.03/1800.70	v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450
1800.03/1800.70	v x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429
1800.03/1800.70	v -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408
1800.03/1800.70	v -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387
1800.03/1800.70	v -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366
1800.03/1800.70	v -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345
1800.03/1800.70	v -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324
1800.03/1800.70	v -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303
1800.03/1800.70	v -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282
1800.03/1800.70	v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261
1800.03/1800.70	v -x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240
1800.03/1800.70	v -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219
1800.03/1800.70	v -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198
1800.03/1800.70	v -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177
1800.03/1800.70	v -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
1800.03/1800.70	v -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135
1800.03/1800.70	v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
1800.03/1800.70	v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92
1800.03/1800.70	v -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
1800.03/1800.70	v -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
1800.03/1800.70	v -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
1800.03/1800.70	v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data (download as text)

OK	-47

Conversion Script Data (download as text)

/tmp/evaluation/353689-1176672986/instance-353689-1176672986.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node22/watcher-353689-1176672986 -o ROOT/results/node22/solver-353689-1176672986 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353689-1176672986/minisat+ /tmp/evaluation/353689-1176672986/instance-353689-1176672986.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10810
/proc/meminfo: memFree=1748728/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=1312 CPUtime=0
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 162 0 0 0 0 0 0 0 18 0 1 0 115216340 1343488 147 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 328 147 74 215 0 110 0

[startup+0.027263 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10810
/proc/meminfo: memFree=1748728/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=1444 CPUtime=0.02
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 203 0 0 0 2 0 0 0 18 0 1 0 115216340 1478656 188 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 361 188 74 215 0 143 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1444

[startup+0.101274 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10810
/proc/meminfo: memFree=1748728/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=1976 CPUtime=0.09
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 357 0 0 0 9 0 0 0 18 0 1 0 115216340 2023424 342 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 530 343 74 215 0 312 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1976

[startup+0.301304 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10810
/proc/meminfo: memFree=1748728/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=3648 CPUtime=0.29
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 768 0 0 0 29 0 0 0 19 0 1 0 115216340 3735552 753 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 912 753 74 215 0 694 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3648

[startup+0.701365 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10810
/proc/meminfo: memFree=1748728/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=6920 CPUtime=0.69
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 1583 0 0 0 68 1 0 0 23 0 1 0 115216340 7086080 1568 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 1730 1568 74 215 0 1512 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6920

[startup+1.50149 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 10811
/proc/meminfo: memFree=1740208/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=13480 CPUtime=1.49
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 3203 0 0 0 147 2 0 0 25 0 1 0 115216340 13803520 3188 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012155 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 3370 3188 74 215 0 3152 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13480

[startup+3.10173 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 10811
/proc/meminfo: memFree=1731184/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=30040 CPUtime=3.09
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 7182 0 0 0 297 12 0 0 23 0 1 0 115216340 30760960 6986 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 7510 6986 110 215 0 7292 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30040

[startup+6.30122 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 10811
/proc/meminfo: memFree=1720688/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=30040 CPUtime=6.29
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 7182 0 0 0 617 12 0 0 25 0 1 0 115216340 30760960 6986 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572983 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 7510 6986 110 215 0 7292 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30040

[startup+12.7012 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 10811
/proc/meminfo: memFree=1720688/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=30040 CPUtime=12.69
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 7182 0 0 0 1257 12 0 0 25 0 1 0 115216340 30760960 6986 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 7510 6986 110 215 0 7292 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30040

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 10813
/proc/meminfo: memFree=1720560/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=30420 CPUtime=25.48
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 7243 0 0 0 2536 12 0 0 25 0 1 0 115216340 31150080 7047 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 7605 7047 110 215 0 7387 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30420

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 10813
/proc/meminfo: memFree=1708528/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=42820 CPUtime=51.08
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 10321 0 0 0 5092 16 0 0 25 0 1 0 115216340 43847680 10125 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574268 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 10705 10125 110 215 0 10487 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42820

[startup+102.307 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 10813
/proc/meminfo: memFree=1687984/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=63132 CPUtime=102.26
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 15381 0 0 0 10204 22 0 0 25 0 1 0 115216340 64647168 15185 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 15783 15185 110 215 0 15565 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 63132

[startup+162.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 10813
/proc/meminfo: memFree=1668528/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=82796 CPUtime=162.25
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 20257 0 0 0 16197 28 0 0 25 0 1 0 115216340 84783104 20061 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581059 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 20699 20061 110 215 0 20481 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 82796

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10813
/proc/meminfo: memFree=1657968/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=92996 CPUtime=222.22
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 22846 0 0 0 22191 31 0 0 25 0 1 0 115216340 95227904 22650 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576199 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 23249 22650 110 215 0 23031 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 92996

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10813
/proc/meminfo: memFree=1657968/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=92996 CPUtime=282.21
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 22846 0 0 0 28189 32 0 0 25 0 1 0 115216340 95227904 22650 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574358 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 23249 22650 110 215 0 23031 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 92996

[startup+342.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 10813
/proc/meminfo: memFree=1657968/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=92996 CPUtime=342.18
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 22846 0 0 0 34186 32 0 0 25 0 1 0 115216340 95227904 22650 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 23249 22650 110 215 0 23031 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 92996

[startup+402.303 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 10813
/proc/meminfo: memFree=1657904/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=92996 CPUtime=402.17
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 22846 0 0 0 40184 33 0 0 25 0 1 0 115216340 95227904 22650 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 23249 22650 110 215 0 23031 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 92996

[startup+462.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 10813
/proc/meminfo: memFree=1657776/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=93220 CPUtime=462.15
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 22888 0 0 0 46182 33 0 0 25 0 1 0 115216340 95457280 22692 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 23305 22692 110 215 0 23087 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 93220

[startup+522.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 10813
/proc/meminfo: memFree=1657712/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=93220 CPUtime=522.13
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 22905 0 0 0 52179 34 0 0 25 0 1 0 115216340 95457280 22709 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573899 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 23305 22709 110 215 0 23087 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 93220

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 10813
/proc/meminfo: memFree=1657648/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=93220 CPUtime=582.11
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 22905 0 0 0 58177 34 0 0 25 0 1 0 115216340 95457280 22709 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 23305 22709 110 215 0 23087 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 93220

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10813
/proc/meminfo: memFree=1657648/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=93220 CPUtime=642.1
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 22905 0 0 0 64175 35 0 0 25 0 1 0 115216340 95457280 22709 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 23305 22709 110 215 0 23087 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 93220


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10813
/proc/meminfo: memFree=1645872/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=105376 CPUtime=882.02
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 25834 0 0 0 88162 40 0 0 25 0 1 0 115216340 107905024 25638 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 26344 25638 110 215 0 26126 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 105376

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10813
/proc/meminfo: memFree=1645872/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=105376 CPUtime=942.01
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 25834 0 0 0 94160 41 0 0 25 0 1 0 115216340 107905024 25638 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 26344 25638 110 215 0 26126 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 105376

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10813
/proc/meminfo: memFree=1645872/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=105376 CPUtime=1001.99
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 25835 0 0 0 100158 41 0 0 25 0 1 0 115216340 107905024 25639 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 26344 25639 110 215 0 26126 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 105376

[startup+1062.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 10813
/proc/meminfo: memFree=1643248/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=108108 CPUtime=1061.97
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 26522 0 0 0 106155 42 0 0 25 0 1 0 115216340 110702592 26326 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 27027 26326 110 215 0 26809 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 108108

[startup+1122.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 10813
/proc/meminfo: memFree=1637104/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=114008 CPUtime=1121.95
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28014 0 0 0 112151 44 0 0 25 0 1 0 115216340 116744192 27818 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588661 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 28502 27818 110 215 0 28284 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 114008

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10813
/proc/meminfo: memFree=1637104/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=114008 CPUtime=1181.93
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28014 0 0 0 118149 44 0 0 25 0 1 0 115216340 116744192 27818 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 28502 27818 110 215 0 28284 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 114008

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10813
/proc/meminfo: memFree=1637040/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=114008 CPUtime=1241.92
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28014 0 0 0 124147 45 0 0 25 0 1 0 115216340 116744192 27818 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574282 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 28502 27818 110 215 0 28284 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 114008

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10813
/proc/meminfo: memFree=1637040/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=114008 CPUtime=1301.9
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28015 0 0 0 130145 45 0 0 25 0 1 0 115216340 116744192 27819 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 28502 27819 110 215 0 28284 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 114008

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10813
/proc/meminfo: memFree=1637040/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=113932 CPUtime=1361.88
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28016 0 0 0 136142 46 0 0 25 0 1 0 115216340 116666368 27805 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 28483 27805 110 215 0 28265 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 113932

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10813
/proc/meminfo: memFree=1637040/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=113932 CPUtime=1421.86
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28016 0 0 0 142140 46 0 0 25 0 1 0 115216340 116666368 27805 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 28483 27805 110 215 0 28265 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 113932

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 10885
/proc/meminfo: memFree=1635632/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=113932 CPUtime=1481.81
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28016 0 0 0 148134 47 0 0 25 0 1 0 115216340 116666368 27805 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 28483 27805 110 215 0 28265 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 113932

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11011
/proc/meminfo: memFree=1636848/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=113932 CPUtime=1541.7
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28016 0 0 0 154123 47 0 0 25 0 1 0 115216340 116666368 27805 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 28483 27805 110 215 0 28265 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 113932

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11011
/proc/meminfo: memFree=1636720/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=114176 CPUtime=1601.68
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28058 0 0 0 160120 48 0 0 25 0 1 0 115216340 116916224 27847 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 28544 27847 110 215 0 28326 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 114176

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11011
/proc/meminfo: memFree=1636720/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=114124 CPUtime=1661.67
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28062 0 0 0 166118 49 0 0 25 0 1 0 115216340 116862976 27838 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568479 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 28531 27838 110 215 0 28313 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 114124

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11011
/proc/meminfo: memFree=1636720/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=114124 CPUtime=1721.65
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28065 0 0 0 172116 49 0 0 25 0 1 0 115216340 116862976 27841 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 28531 27841 110 215 0 28313 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 114124

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11011
/proc/meminfo: memFree=1636720/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=114124 CPUtime=1781.63
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28065 0 0 0 178113 50 0 0 25 0 1 0 115216340 116862976 27841 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 28531 27841 110 215 0 28313 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 114124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11011
/proc/meminfo: memFree=1636720/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=114124 CPUtime=1800.03
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28065 0 0 0 179953 50 0 0 25 0 1 0 115216340 116862976 27841 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 28531 27841 110 215 0 28313 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 114124

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11011
/proc/meminfo: memFree=1636720/2055920 swapFree=4168648/4192956
[pid=10810] ppid=10808 vsize=114124 CPUtime=1800.03
/proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28065 0 0 0 179953 50 0 0 25 0 1 0 115216340 116862976 27841 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10810/statm: 28531 27841 110 215 0 28313 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 114124

Child status: 10
Real time (s): 1800.73
CPU time (s): 1800.06
CPU user time (s): 1799.54
CPU system time (s): 0.526919
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 114176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.526919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28067
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= 150
involuntary context switches= 37164

runsolver used 2.22866 second user time and 4.46032 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Sun Apr 15 21:36:27 UTC 2007

IDJOB= 353689
IDBENCH= 2262
IDSOLVER= 156
FILE ID= node22/353689-1176672986

PBS_JOBID= 4559941

Free space on /tmp= 66559 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
COMMAND LINE= /tmp/evaluation/353689-1176672986/minisat+ /tmp/evaluation/353689-1176672986/instance-353689-1176672986.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node22/convwatcher-353689-1176672986 -o ROOT/results/node22/conversion-353689-1176672986 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353689-1176672986/instance-353689-1176672986.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-353689-1176672986 -o ROOT/results/node22/solver-353689-1176672986 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/353689-1176672986/minisat+ /tmp/evaluation/353689-1176672986/instance-353689-1176672986.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  32f273c48805c1e726044ae006778010

RANDOM SEED= 137845070

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1749136 kB
Buffers:         50048 kB
Cached:         158132 kB
SwapCached:       2144 kB
Active:         132744 kB
Inactive:       102388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1749136 kB
SwapTotal:     4192956 kB
SwapFree:      4168648 kB
Dirty:            4312 kB
Writeback:           0 kB
Mapped:          34216 kB
Slab:            57320 kB
Committed_AS:  1263740 kB
PageTables:       1688 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66559 MiB

End job on node22 on Sun Apr 15 22:06:29 UTC 2007