Trace number 353715

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)-45 1800.14 1800.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb
MD5SUM669011fc499ae56e44c354cc6cddc4c7
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.02
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 constraints80851
Number of constraints which are clauses80851
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.09/2.17	c Converting 80851 PB-constraints to clauses...
2.09/2.18	c   -- Unit propagations: (none)
2.09/2.18	c   -- Detecting intervals from adjacent constraints: (none)
2.09/2.18	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
2.30/2.36	c ==================================[MINISAT+]==================================
2.30/2.36	c | Conflicts | Original         | Learnt                           | Progress |
2.30/2.36	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.30/2.36	c ==============================================================================
2.30/2.36	c |         0 |   80851   161702 |   26950       0        0     nan |  0.000 % |
2.30/2.36	c ==============================================================================
2.30/2.36	c Found solution: -36
2.30/2.36	o -36
2.30/2.37	c ---[   0]---> Sorter-cost:63046     Base:
2.49/2.52	c ==================================[MINISAT+]==================================
2.49/2.52	c | Conflicts | Original         | Learnt                           | Progress |
2.49/2.52	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.49/2.52	c ==============================================================================
2.49/2.52	c |         0 |  148737   320958 |   49579       0        0     nan |  0.000 % |
2.69/2.70	c |       101 |  148366   320193 |   54536      85      765     9.0 |  0.441 % |
2.79/2.86	c |       252 |  148029   319484 |   59990     220     3072    14.0 |  0.844 % |
3.09/3.19	c |       477 |  147140   317584 |   65989     414     5422    13.1 |  1.937 % |
3.59/3.68	c |       814 |  145503   314007 |   72588     695    10180    14.6 |  4.025 % |
4.49/4.58	c |      1320 |  141871   306005 |   79847    1052    14339    13.6 |  8.753 % |
5.89/5.92	c |      2079 |  136023   292923 |   87832    1565    21384    13.7 | 16.582 % |
7.28/7.38	c |      3218 |  130632   280671 |   96615    2487    32283    13.0 | 23.974 % |
9.48/9.57	c |      4926 |  123081   263362 |  106276    3797    51144    13.5 | 34.454 % |
12.08/12.11	c |      7488 |  115042   244888 |  116904    5568    76837    13.8 | 45.531 % |
14.78/14.83	c |     11332 |  106902   225592 |  128595    8647   126243    14.6 | 57.367 % |
15.38/15.42	c ==============================================================================
15.38/15.42	c Found solution: -37
15.38/15.42	o -37
15.38/15.43	c ---[   0]---> Sorter-cost:    0     Base:
15.48/15.51	c ==================================[MINISAT+]==================================
15.48/15.51	c | Conflicts | Original         | Learnt                           | Progress |
15.48/15.51	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
15.48/15.51	c ==============================================================================
15.48/15.51	c |     12189 |  105355   221989 |   35118    9206   138743    15.1 | 57.367 % |
15.48/15.57	c |     12292 |  105334   221942 |   38629    9300   142332    15.3 | 59.672 % |
15.58/15.68	c |     12442 |  105154   221511 |   42492    9437   144616    15.3 | 59.940 % |
15.78/15.88	c |     12668 |  104547   220088 |   46742    9550   146897    15.4 | 60.812 % |
15.98/16.06	c |     13005 |  104266   219414 |   51416    9700   149137    15.4 | 61.231 % |
16.58/16.60	c |     13511 |  102353   214845 |   56557    9851   154585    15.7 | 64.142 % |
16.98/17.06	c |     14271 |  101471   212704 |   62213   10471   168910    16.1 | 65.388 % |
17.48/17.59	c |     15410 |  100525   210483 |   68435   11341   190635    16.8 | 66.819 % |
18.38/18.48	c |     17118 |   98376   205358 |   75278   12589   222288    17.7 | 69.882 % |
19.48/19.55	c |     19680 |   97425   203063 |   82806   14811   278397    18.8 | 71.285 % |
19.78/19.83	c ==============================================================================
19.78/19.83	c Found solution: -38
19.78/19.83	o -38
19.78/19.85	c ---[   0]---> Sorter-cost:    0     Base:
19.88/19.93	c ==================================[MINISAT+]==================================
19.88/19.93	c | Conflicts | Original         | Learnt                           | Progress |
19.88/19.93	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
19.88/19.93	c ==============================================================================
19.88/19.93	c |     19987 |   96638   201152 |   32212   14981   283316    18.9 | 71.285 % |
19.88/19.97	c |     20087 |   96638   201152 |   35433   15081   285189    18.9 | 72.422 % |
19.98/20.05	c |     20237 |   96439   200654 |   38976   15146   288150    19.0 | 72.733 % |
20.08/20.16	c |     20462 |   96306   200334 |   42874   15335   293321    19.1 | 72.932 % |
20.28/20.36	c |     20799 |   95886   199340 |   47161   15583   300834    19.3 | 73.553 % |
20.48/20.55	c |     21306 |   95774   199086 |   51877   16064   315316    19.6 | 73.706 % |
20.78/20.86	c |     22066 |   95551   198555 |   57065   16757   339492    20.3 | 74.033 % |
21.08/21.13	c ==============================================================================
21.08/21.13	c Found solution: -40
21.08/21.13	o -40
21.08/21.14	c ---[   0]---> Sorter-cost:    0     Base:
21.18/21.23	c ==================================[MINISAT+]==================================
21.18/21.23	c | Conflicts | Original         | Learnt                           | Progress |
21.18/21.23	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
21.18/21.23	c ==============================================================================
21.18/21.23	c |     22573 |   95160   197669 |   31720   17015   350326    20.6 | 74.033 % |
21.18/21.27	c |     22673 |   95160   197669 |   34892   17115   356501    20.8 | 74.686 % |
21.28/21.34	c |     22823 |   95106   197535 |   38381   17261   360565    20.9 | 74.772 % |
21.38/21.46	c |     23049 |   95013   197310 |   42219   17466   365076    20.9 | 74.910 % |
21.48/21.60	c |     23386 |   94966   197201 |   46441   17776   378604    21.3 | 74.975 % |
21.68/21.74	c |     23892 |   94961   197190 |   51085   18276   390433    21.4 | 74.981 % |
22.08/22.19	c |     24652 |   94399   195810 |   56193   18675   406360    21.8 | 75.842 % |
22.58/22.61	c |     25792 |   94283   195526 |   61813   19618   439777    22.4 | 76.021 % |
23.28/23.38	c |     27501 |   93887   194570 |   67994   21188   551252    26.0 | 76.623 % |
24.28/24.32	c |     30063 |   93580   193835 |   74794   23586   661515    28.0 | 77.085 % |
26.27/26.31	c |     33907 |   92526   191288 |   82273   26622   855765    32.1 | 78.683 % |
26.57/26.63	c ==============================================================================
26.57/26.63	c Found solution: -41
26.57/26.63	o -41
26.57/26.64	c ---[   0]---> Sorter-cost:    0     Base:
26.67/26.73	c ==================================[MINISAT+]==================================
26.67/26.73	c | Conflicts | Original         | Learnt                           | Progress |
26.67/26.73	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
26.67/26.73	c ==============================================================================
26.67/26.73	c |     34660 |   92501   191256 |   30833   27346   890259    32.6 | 78.683 % |
26.77/26.83	c |     34760 |   92374   190951 |   33916   27407   892203    32.6 | 78.925 % |
26.77/26.89	c |     34910 |   92374   190951 |   37307   27557   897352    32.6 | 78.925 % |
26.97/27.03	c |     35135 |   92325   190828 |   41038   27771   909011    32.7 | 78.996 % |
27.07/27.19	c |     35472 |   92325   190828 |   45142   28108   929804    33.1 | 78.996 % |
27.27/27.40	c |     35978 |   92325   190828 |   49656   28614   952436    33.3 | 78.996 % |
27.77/27.88	c |     36737 |   91933   189887 |   54622   29190   998234    34.2 | 79.580 % |
28.37/28.46	c |     37877 |   91668   189231 |   60084   30184  1050966    34.8 | 79.977 % |
29.37/29.44	c |     39585 |   91179   188051 |   66093   31104  1123554    36.1 | 80.703 % |
30.67/30.71	c |     42147 |   90991   187592 |   72702   33536  1352386    40.3 | 80.990 % |
32.98/33.09	c |     45991 |   90915   187410 |   79972   37245  1889303    50.7 | 81.102 % |
36.17/36.20	c |     51757 |   90762   187040 |   87970   42879  2343683    54.7 | 81.333 % |
36.78/36.85	c ==============================================================================
36.78/36.85	c Found solution: -42
36.78/36.85	o -42
36.78/36.87	c ---[   0]---> Sorter-cost:    0     Base:
36.88/36.98	c ==================================[MINISAT+]==================================
36.88/36.98	c | Conflicts | Original         | Learnt                           | Progress |
36.88/36.98	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
36.88/36.98	c ==============================================================================
36.88/36.98	c |     52914 |   90753   186986 |   30251   43937  2470581    56.2 | 81.333 % |
36.98/37.04	c |     53014 |   90753   186986 |   33276   44037  2472887    56.2 | 81.351 % |
37.08/37.16	c |     53164 |   90753   186986 |   36603   44187  2487369    56.3 | 81.351 % |
37.28/37.31	c |     53390 |   90753   186986 |   40264   44413  2502524    56.3 | 81.351 % |
37.48/37.50	c |     53727 |   90753   186986 |   44290   44750  2517712    56.3 | 81.351 % |
37.77/37.89	c |     54234 |   90712   186891 |   48719   45092  2552226    56.6 | 81.407 % |
38.27/38.35	c |     54995 |   90712   186891 |   53591   45853  2626768    57.3 | 81.407 % |
39.07/39.12	c |     56134 |   90698   186857 |   58950   46911  2726470    58.1 | 81.429 % |
40.07/40.19	c |     57843 |   90611   186643 |   64845   48530  2837380    58.5 | 81.556 % |
42.07/42.12	c |     60405 |   90521   186429 |   71330   50928  3048163    59.9 | 81.685 % |
44.87/44.96	c |     64249 |   90508   186398 |   78463   54678  3459802    63.3 | 81.705 % |
49.77/49.88	c |     70016 |   90366   186066 |   86309   60273  4054487    67.3 | 81.907 % |
57.76/57.89	c |     78665 |   90114   185438 |   94940   68614  5012115    73.0 | 82.308 % |
71.47/71.54	c |     91640 |   89808   184690 |  104434   80924  6476449    80.0 | 82.780 % |
82.76/82.87	c ==============================================================================
82.76/82.87	c Found solution: -43
82.76/82.87	o -43
82.76/82.89	c ---[   0]---> Sorter-cost:    0     Base:
82.96/83.07	c ==================================[MINISAT+]==================================
82.96/83.07	c | Conflicts | Original         | Learnt                           | Progress |
82.96/83.07	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
82.96/83.07	c ==============================================================================
82.96/83.07	c |    101349 |   89784   184660 |   29928   90515  7625234    84.2 | 82.780 % |
83.26/83.36	c |    101449 |   89740   184546 |   32920   23637  1615649    68.4 | 82.927 % |
83.36/83.46	c |    101600 |   89736   184536 |   36212   23784  1622993    68.2 | 82.933 % |
83.46/83.59	c |    101825 |   89736   184536 |   39834   24009  1640600    68.3 | 82.933 % |
83.76/83.86	c |    102162 |   89658   184344 |   43817   24307  1661876    68.4 | 83.056 % |
84.16/84.30	c |    102668 |   89497   183949 |   48199   24754  1694957    68.5 | 83.305 % |
84.66/84.71	c |    103427 |   89497   183949 |   53019   25513  1767199    69.3 | 83.305 % |
85.26/85.34	c |    104566 |   89497   183949 |   58321   26652  1884370    70.7 | 83.305 % |
86.46/86.52	c |    106275 |   89373   183652 |   64153   28323  2061056    72.8 | 83.490 % |
87.96/88.05	c |    108837 |   89373   183652 |   70568   30885  2343424    75.9 | 83.490 % |
90.66/90.79	c |    112681 |   89339   183568 |   77625   34664  2898101    83.6 | 83.544 % |
95.46/95.52	c |    118447 |   88995   182758 |   85388   40297  3742322    92.9 | 84.037 % |
103.46/103.51	c |    127096 |   88992   182751 |   93926   48945  4973106   101.6 | 84.041 % |
105.15/105.26	c ==============================================================================
105.15/105.26	c Found solution: -44
105.15/105.26	o -44
105.15/105.28	c ---[   0]---> Sorter-cost:    0     Base:
105.35/105.43	c ==================================[MINISAT+]==================================
105.35/105.43	c | Conflicts | Original         | Learnt                           | Progress |
105.35/105.43	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
105.35/105.43	c ==============================================================================
105.35/105.43	c |    128864 |   88967   182666 |   29655   50677  5251581   103.6 | 84.041 % |
105.56/105.61	c |    128964 |   88962   182655 |   32620   50775  5256860   103.5 | 84.087 % |
105.66/105.74	c |    129114 |   88962   182655 |   35882   50925  5267190   103.4 | 84.087 % |
105.85/105.93	c |    129339 |   88962   182655 |   39470   51150  5283543   103.3 | 84.087 % |
106.15/106.23	c |    129677 |   88962   182655 |   43417   51488  5324792   103.4 | 84.087 % |
106.55/106.69	c |    130183 |   88962   182655 |   47759   51994  5375997   103.4 | 84.087 % |
107.25/107.38	c |    130942 |   88962   182655 |   52535   52753  5461119   103.5 | 84.087 % |
108.35/108.43	c |    132081 |   88962   182655 |   57789   53892  5567309   103.3 | 84.087 % |
109.85/110.00	c |    133790 |   88962   182655 |   63568   55601  5753628   103.5 | 84.087 % |
112.45/112.54	c |    136353 |   88870   182433 |   69924   58139  6016906   103.5 | 84.220 % |
116.45/116.58	c |    140197 |   88770   182167 |   76917   61962  6470826   104.4 | 84.399 % |
122.65/122.78	c |    145963 |   88768   182163 |   84609   67727  7108180   105.0 | 84.401 % |
133.14/133.23	c |    154612 |   88725   182047 |   93070   76332  8360934   109.5 | 84.474 % |
150.44/150.57	c |    167586 |   88673   181922 |  102377   89282 10392161   116.4 | 84.554 % |
179.63/179.70	c |    187048 |   88609   181774 |  112614  108730 13218100   121.6 | 84.644 % |
234.12/234.23	c |    216240 |   88592   181733 |  123876  137917 17842959   129.4 | 84.670 % |
308.29/308.46	c |    260030 |   88397   181266 |  136263   36498  4124381   113.0 | 84.963 % |
399.87/400.00	c |    325714 |   88280   180980 |  149890  102049 16632541   163.0 | 85.143 % |
492.55/492.79	c ==============================================================================
492.55/492.79	c Found solution: -45
492.55/492.79	o -45
492.65/492.81	c ---[   0]---> Sorter-cost:    0     Base:
492.94/493.17	c ==================================[MINISAT+]==================================
492.94/493.17	c | Conflicts | Original         | Learnt                           | Progress |
492.94/493.17	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
492.94/493.17	c ==============================================================================
492.94/493.17	c |    377450 |   88232   180886 |   29410  153773 24052979   156.4 | 85.143 % |
493.75/493.90	c |    377550 |   88223   180863 |   32351   24087  2161776    89.7 | 85.225 % |
493.85/494.06	c |    377700 |   88223   180863 |   35586   24237  2176357    89.8 | 85.225 % |
494.04/494.22	c |    377925 |   88212   180836 |   39144   24459  2191005    89.6 | 85.243 % |
494.24/494.44	c |    378263 |   88190   180784 |   43059   24792  2208115    89.1 | 85.275 % |
494.54/494.77	c |    378769 |   88173   180745 |   47365   25296  2252341    89.0 | 85.298 % |
494.95/495.18	c |    379528 |   88173   180745 |   52101   26055  2316247    88.9 | 85.298 % |
495.64/495.86	c |    380667 |   88132   180639 |   57311   27172  2494937    91.8 | 85.365 % |
496.64/496.85	c |    382376 |   88132   180639 |   63042   28881  2661990    92.2 | 85.365 % |
498.34/498.58	c |    384938 |   88058   180460 |   69347   31425  2969947    94.5 | 85.477 % |
501.14/501.38	c |    388782 |   88055   180453 |   76281   35265  3493653    99.1 | 85.481 % |
505.54/505.76	c |    394548 |   88043   180425 |   83910   41020  4104524   100.1 | 85.498 % |
515.04/515.29	c |    403200 |   88043   180425 |   92301   49672  5806419   116.9 | 85.498 % |
528.93/529.16	c |    416174 |   87989   180297 |  101531   62572  7601609   121.5 | 85.578 % |
556.43/556.62	c |    435635 |   87843   179963 |  111684   81520 10678913   131.0 | 85.780 % |
603.71/603.99	c |    464827 |   87835   179945 |  122852  110711 14446943   130.5 | 85.791 % |
696.17/696.49	c |    508616 |   87768   179784 |  135138  154453 22661223   146.7 | 85.890 % |
791.88/792.24	c |    574301 |   87659   179502 |  148651   67067  9647438   143.8 | 86.075 % |
968.22/968.67	c |    672827 |   87579   179300 |  163517  165584 26562646   160.4 | 86.204 % |
1224.46/1224.92	c |    820616 |   87516   179142 |  179868  131211 15633594   119.1 | 86.305 % |
1645.94/1646.59	c |   1042299 |   87247   178478 |  197855  153454 26955261   175.7 | 86.720 % |
1800.10/1800.71	c 
1800.10/1800.71	c *** TERMINATED ***
1800.10/1800.71	s SATISFIABLE
1800.10/1800.71	v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134
1800.10/1800.71	v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117
1800.10/1800.71	v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100
1800.10/1800.71	v -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083
1800.10/1800.71	v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066
1800.10/1800.71	v -x1065 -x1064 x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048
1800.10/1800.71	v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031
1800.10/1800.71	v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 x1019 -x1018 -x1017 -x1016 -x1015 -x1014
1800.10/1800.71	v -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996
1800.10/1800.71	v -x995 -x994 -x993 -x992 -x991 -x990 -x989 x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975
1800.10/1800.71	v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 x956 -x955 -x954
1800.10/1800.71	v -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933
1800.10/1800.71	v -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912
1800.10/1800.71	v -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891
1800.10/1800.71	v -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870
1800.10/1800.71	v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849
1800.10/1800.71	v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 x833 -x832 -x831 -x830 -x829 -x828
1800.10/1800.71	v x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807
1800.10/1800.71	v -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 x791 -x790 -x789 -x788 -x787 -x786
1800.10/1800.71	v -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 x766 -x765
1800.10/1800.71	v -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 x746 -x745 -x744
1800.10/1800.71	v -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 x728 -x727 -x726 -x725 -x724 -x723
1800.10/1800.71	v -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 x704 -x703 -x702
1800.10/1800.71	v -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681
1800.10/1800.71	v -x680 -x679 -x678 -x677 -x676 -x675 x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660
1800.10/1800.71	v -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 -x642 -x641 -x640 -x639
1800.10/1800.71	v -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618
1800.10/1800.71	v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 x603 -x602 -x601 -x600 -x599 -x598 x597
1800.10/1800.71	v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576
1800.10/1800.71	v -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555
1800.10/1800.71	v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 x534
1800.10/1800.71	v -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517 -x516 -x515 -x514 -x513
1800.10/1800.71	v -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495 -x494 -x493 -x492
1800.10/1800.71	v -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471
1800.10/1800.71	v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450
1800.10/1800.71	v -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429
1800.10/1800.71	v -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408
1800.10/1800.71	v -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 x387
1800.10/1800.71	v -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366
1800.10/1800.71	v -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345
1800.10/1800.71	v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324
1800.10/1800.71	v -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303
1800.10/1800.71	v -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282
1800.10/1800.71	v -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261
1800.10/1800.71	v -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240
1800.10/1800.71	v -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219
1800.10/1800.71	v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198
1800.10/1800.71	v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177
1800.10/1800.71	v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
1800.10/1800.71	v x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135
1800.10/1800.71	v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114
1800.10/1800.71	v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92
1800.10/1800.71	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.10/1800.71	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.10/1800.71	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.10/1800.71	v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data (download as text)

OK	-45

Conversion Script Data (download as text)

/tmp/evaluation/353715-1176673777/instance-353715-1176673777.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/node45/watcher-353715-1176673777 -o ROOT/results/node45/solver-353715-1176673777 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353715-1176673777/minisat+ /tmp/evaluation/353715-1176673777/instance-353715-1176673777.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: 1.03 1.03 1.00 3/64 2482
/proc/meminfo: memFree=1607632/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=1312 CPUtime=0
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 162 0 0 0 0 0 0 0 18 0 1 0 22223350 1343488 147 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 328 147 74 215 0 110 0

[startup+0.101249 s]
/proc/loadavg: 1.03 1.03 1.00 3/64 2482
/proc/meminfo: memFree=1607632/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=2120 CPUtime=0.1
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 362 0 0 0 10 0 0 0 18 0 1 0 22223350 2170880 347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 530 347 74 215 0 312 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2120

[startup+0.201259 s]
/proc/loadavg: 1.03 1.03 1.00 3/64 2482
/proc/meminfo: memFree=1607632/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=2948 CPUtime=0.19
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 573 0 0 0 19 0 0 0 18 0 1 0 22223350 3018752 558 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 737 558 74 215 0 519 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2948

[startup+0.30127 s]
/proc/loadavg: 1.03 1.03 1.00 3/64 2482
/proc/meminfo: memFree=1607632/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=3784 CPUtime=0.29
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 784 0 0 0 29 0 0 0 19 0 1 0 22223350 3874816 769 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 946 769 74 215 0 728 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3784

[startup+0.70131 s]
/proc/loadavg: 1.03 1.03 1.00 3/64 2482
/proc/meminfo: memFree=1607632/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=7056 CPUtime=0.69
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 1615 0 0 0 69 0 0 0 22 0 1 0 22223350 7225344 1600 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 1764 1601 74 215 0 1546 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7056

[startup+1.50139 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 2483
/proc/meminfo: memFree=1598088/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=13756 CPUtime=1.5
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 3271 0 0 0 149 1 0 0 25 0 1 0 22223350 14086144 3256 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 3439 3256 74 215 0 3221 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 13756

[startup+3.10155 s]
/proc/loadavg: 1.03 1.03 1.00 3/65 2483
/proc/meminfo: memFree=1588424/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=30264 CPUtime=3.09
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 7234 0 0 0 299 10 0 0 23 0 1 0 22223350 30990336 7038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580299 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 7566 7038 110 215 0 7348 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30264

[startup+6.30188 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 2483
/proc/meminfo: memFree=1579336/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=30264 CPUtime=6.29
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 7235 0 0 0 619 10 0 0 25 0 1 0 22223350 30990336 7039 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 7566 7039 110 215 0 7348 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30264

[startup+12.7025 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 2483
/proc/meminfo: memFree=1579400/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=30264 CPUtime=12.68
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 7235 0 0 0 1258 10 0 0 25 0 1 0 22223350 30990336 7039 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569804 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 7566 7039 110 215 0 7348 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30264

[startup+25.5018 s]
/proc/loadavg: 1.17 1.06 1.01 2/65 2483
/proc/meminfo: memFree=1579336/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=30644 CPUtime=25.47
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 7295 0 0 0 2537 10 0 0 25 0 1 0 22223350 31379456 7099 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580396 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 7661 7099 110 215 0 7443 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 30644

[startup+51.1014 s]
/proc/loadavg: 1.11 1.06 1.01 2/65 2483
/proc/meminfo: memFree=1567176/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=43320 CPUtime=51.07
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 10422 0 0 0 5093 14 0 0 25 0 1 0 22223350 44359680 10226 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580816 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 10830 10226 110 215 0 10612 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 43320

[startup+102.302 s]
/proc/loadavg: 1.10 1.06 1.01 2/65 2483
/proc/meminfo: memFree=1552136/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=57900 CPUtime=102.26
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 14112 0 0 0 10207 19 0 0 25 0 1 0 22223350 59289600 13916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 14475 13916 110 215 0 14257 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 57900

[startup+162.302 s]
/proc/loadavg: 1.04 1.05 1.01 2/65 2483
/proc/meminfo: memFree=1535816/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=74572 CPUtime=162.24
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 18230 0 0 0 16200 24 0 0 25 0 1 0 22223350 76361728 18034 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 18643 18034 110 215 0 18425 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 74572

[startup+222.306 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 2483
/proc/meminfo: memFree=1513992/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=96012 CPUtime=222.23
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 23624 0 0 0 22193 30 0 0 25 0 1 0 22223350 98316288 23428 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 24003 23428 110 215 0 23785 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 96012

[startup+282.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 2483
/proc/meminfo: memFree=1495176/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=115064 CPUtime=282.2
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 28355 0 0 0 28184 36 0 0 25 0 1 0 22223350 117825536 28159 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 28766 28159 110 215 0 28548 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 115064

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 2483
/proc/meminfo: memFree=1490056/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=120020 CPUtime=342.18
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 29583 0 0 0 34181 37 0 0 25 0 1 0 22223350 122900480 29387 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 30005 29387 110 215 0 29787 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 120020

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 2483
/proc/meminfo: memFree=1489992/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=120020 CPUtime=402.17
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 29583 0 0 0 40179 38 0 0 25 0 1 0 22223350 122900480 29387 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 30005 29387 110 215 0 29787 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 120020

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2483
/proc/meminfo: memFree=1490056/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=120020 CPUtime=462.15
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 29583 0 0 0 46177 38 0 0 25 0 1 0 22223350 122900480 29387 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 30005 29387 110 215 0 29787 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 120020

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2483
/proc/meminfo: memFree=1482184/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=127804 CPUtime=522.13
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 31553 0 0 0 52173 40 0 0 25 0 1 0 22223350 130871296 31357 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 31951 31357 110 215 0 31733 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 127804

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2483
/proc/meminfo: memFree=1482184/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=127804 CPUtime=582.12
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 31553 0 0 0 58172 40 0 0 25 0 1 0 22223350 130871296 31357 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 31951 31357 110 215 0 31733 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 127804

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2483
/proc/meminfo: memFree=1482184/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=127804 CPUtime=642.1
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 31553 0 0 0 64170 40 0 0 25 0 1 0 22223350 130871296 31357 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581189 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 31951 31357 110 215 0 31733 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 127804


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2681
/proc/meminfo: memFree=1474696/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=135212 CPUtime=821.97
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 33387 0 0 0 82151 46 0 0 25 0 1 0 22223350 138457088 33191 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 33803 33191 110 215 0 33585 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 135212

[startup+882.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2681
/proc/meminfo: memFree=1474696/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=135212 CPUtime=881.96
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 33387 0 0 0 88150 46 0 0 25 0 1 0 22223350 138457088 33191 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 33803 33191 110 215 0 33585 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 135212

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2681
/proc/meminfo: memFree=1474632/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=135212 CPUtime=941.94
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 33387 0 0 0 94148 46 0 0 25 0 1 0 22223350 138457088 33191 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 33803 33191 110 215 0 33585 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 135212

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2681
/proc/meminfo: memFree=1462600/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=147324 CPUtime=1001.92
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 36414 0 0 0 100143 49 0 0 25 0 1 0 22223350 150859776 36218 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 36831 36218 110 215 0 36613 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 147324

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2683
/proc/meminfo: memFree=1453128/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=156644 CPUtime=1061.9
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 38783 0 0 0 106138 52 0 0 25 0 1 0 22223350 160403456 38587 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 39161 38587 110 215 0 38943 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 156644

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2683
/proc/meminfo: memFree=1451144/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=158444 CPUtime=1121.89
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39240 0 0 0 112136 53 0 0 25 0 1 0 22223350 162246656 39044 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 39611 39044 110 215 0 39393 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 158444

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2683
/proc/meminfo: memFree=1451336/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=158444 CPUtime=1181.87
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39240 0 0 0 118134 53 0 0 25 0 1 0 22223350 162246656 39044 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 39611 39044 110 215 0 39393 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 158444

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2683
/proc/meminfo: memFree=1451272/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=158444 CPUtime=1241.85
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39240 0 0 0 124132 53 0 0 25 0 1 0 22223350 162246656 39044 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581412 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 39611 39044 110 215 0 39393 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 158444

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2683
/proc/meminfo: memFree=1451272/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=158444 CPUtime=1301.83
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39242 0 0 0 130130 53 0 0 25 0 1 0 22223350 162246656 39046 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 39611 39046 110 215 0 39393 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 158444

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2683
/proc/meminfo: memFree=1451272/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=158444 CPUtime=1361.81
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39243 0 0 0 136128 53 0 0 25 0 1 0 22223350 162246656 39047 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581287 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 39611 39047 110 215 0 39393 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 158444

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2683
/proc/meminfo: memFree=1451208/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=158848 CPUtime=1421.8
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39260 0 0 0 142127 53 0 0 25 0 1 0 22223350 162660352 39064 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568484 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 39712 39064 110 215 0 39494 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 158848

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2683
/proc/meminfo: memFree=1451144/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=158848 CPUtime=1481.78
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39260 0 0 0 148125 53 0 0 25 0 1 0 22223350 162660352 39064 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 39712 39064 110 215 0 39494 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 158848

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2683
/proc/meminfo: memFree=1451144/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=158848 CPUtime=1541.77
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39260 0 0 0 154123 54 0 0 25 0 1 0 22223350 162660352 39064 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 39712 39064 110 215 0 39494 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 158848

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2683
/proc/meminfo: memFree=1451144/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=158848 CPUtime=1601.75
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39260 0 0 0 160121 54 0 0 25 0 1 0 22223350 162660352 39064 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 39712 39064 110 215 0 39494 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 158848

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2683
/proc/meminfo: memFree=1451144/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=158848 CPUtime=1661.73
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39260 0 0 0 166119 54 0 0 25 0 1 0 22223350 162660352 39064 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 39712 39064 110 215 0 39494 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 158848

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2683
/proc/meminfo: memFree=1449224/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=160920 CPUtime=1721.71
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39771 0 0 0 172117 54 0 0 25 0 1 0 22223350 164782080 39575 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 40230 39575 110 215 0 40012 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 160920

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2683
/proc/meminfo: memFree=1438344/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=171860 CPUtime=1781.7
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 42481 0 0 0 178112 58 0 0 25 0 1 0 22223350 175984640 42285 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 42965 42285 110 215 0 42747 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 171860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2683
/proc/meminfo: memFree=1434120/2055920 swapFree=4192036/4192956
[pid=2482] ppid=2480 vsize=175912 CPUtime=1800.1
/proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 43500 0 0 0 179951 59 0 0 25 0 1 0 22223350 180133888 43304 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2482/statm: 43978 43304 110 215 0 43760 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 175912

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

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

Child status: 10
Real time (s): 1800.74
CPU time (s): 1800.14
CPU user time (s): 1799.51
CPU system time (s): 0.626904
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 175912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.626904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43502
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= 309
involuntary context switches= 2672

runsolver used 1.3368 second user time and 3.82742 second system time

The end

Launcher Data (download as text)

Begin job on node45 on Sun Apr 15 21:49:37 UTC 2007

IDJOB= 353715
IDBENCH= 2264
IDSOLVER= 156
FILE ID= node45/353715-1176673777

PBS_JOBID= 4559921

Free space on /tmp= 66560 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-2.opb
COMMAND LINE= /tmp/evaluation/353715-1176673777/minisat+ /tmp/evaluation/353715-1176673777/instance-353715-1176673777.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node45/convwatcher-353715-1176673777 -o ROOT/results/node45/conversion-353715-1176673777 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353715-1176673777/instance-353715-1176673777.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  669011fc499ae56e44c354cc6cddc4c7

RANDOM SEED= 920320910

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node45.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.218
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.218
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:       1607976 kB
Buffers:         40432 kB
Cached:         295252 kB
SwapCached:        508 kB
Active:         105612 kB
Inactive:       250572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1607976 kB
SwapTotal:     4192956 kB
SwapFree:      4192036 kB
Dirty:            4276 kB
Writeback:           0 kB
Mapped:          29632 kB
Slab:            77828 kB
Committed_AS:   956564 kB
PageTables:       1408 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= 66560 MiB

End job on node45 on Sun Apr 15 22:19:40 UTC 2007