Trace number 353702

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14SAT (TO)-47 1800.12 1800.84

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c Parsing PB file...
2.10/2.17	c Converting 80258 PB-constraints to clauses...
2.10/2.18	c   -- Unit propagations: (none)
2.10/2.18	c   -- Detecting intervals from adjacent constraints: (none)
2.10/2.19	c   -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
2.29/2.37	c ==================================[MINISAT+]==================================
2.29/2.37	c | Conflicts | Original         | Learnt                           | Progress |
2.29/2.37	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.29/2.37	c ==============================================================================
2.29/2.37	c |         0 |   80258   160516 |   26752       0        0     nan |  0.000 % |
2.29/2.37	c ==============================================================================
2.29/2.37	c Found solution: -36
2.29/2.37	o -36
2.29/2.38	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 |  148144   319772 |   49381       0        0     nan |  0.000 % |
2.59/2.68	c |       100 |  147820   319103 |   54319      84      567     6.8 |  0.388 % |
2.89/2.96	c |       250 |  147145   317664 |   59751     188     1432     7.6 |  1.214 % |
3.39/3.42	c |       476 |  146024   315267 |   65726     361     3068     8.5 |  2.595 % |
3.99/4.05	c |       813 |  143729   310234 |   72298     619     5841     9.4 |  5.557 % |
4.79/4.80	c |      1319 |  140833   303816 |   79528     968     9121     9.4 |  9.437 % |
5.89/5.99	c |      2079 |  136692   294527 |   87481    1586    15869    10.0 | 15.004 % |
7.69/7.71	c |      3218 |  131314   282313 |   96229    2417    27902    11.5 | 22.323 % |
9.89/9.94	c |      4926 |  122752   262701 |  105852    3528    39936    11.3 | 34.222 % |
12.88/12.91	c |      7488 |  112044   237857 |  116437    5289    62605    11.8 | 49.090 % |
13.28/13.34	c ==============================================================================
13.28/13.34	c Found solution: -40
13.28/13.34	o -40
13.28/13.35	c ---[   0]---> Sorter-cost:    0     Base:
13.38/13.43	c ==================================[MINISAT+]==================================
13.38/13.43	c | Conflicts | Original         | Learnt                           | Progress |
13.38/13.43	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
13.38/13.43	c ==============================================================================
13.38/13.43	c |      7928 |  111198   235994 |   37066    5633    66805    11.9 | 49.090 % |
13.48/13.53	c |      8028 |  110897   235287 |   40772    5710    67536    11.8 | 50.901 % |
13.58/13.67	c |      8178 |  110452   234225 |   44849    5792    68387    11.8 | 51.548 % |
13.88/13.94	c |      8403 |  109585   232234 |   49334    5952    71118    11.9 | 52.759 % |
14.19/14.24	c |      8741 |  108728   230226 |   54268    6208    74433    12.0 | 53.995 % |
14.58/14.63	c |      9247 |  107763   227961 |   59695    6556    79030    12.1 | 55.393 % |
15.18/15.23	c |     10006 |  106198   224277 |   65664    7058    87476    12.4 | 57.665 % |
15.98/16.09	c |     11146 |  103552   218006 |   72231    7914   103965    13.1 | 61.514 % |
17.08/17.12	c |     12854 |  100400   210497 |   79454    9088   124554    13.7 | 66.138 % |
18.48/18.60	c |     15416 |   97019   202392 |   87399   10804   161729    15.0 | 71.090 % |
20.18/20.20	c |     19260 |   94852   197144 |   96139   14054   253306    18.0 | 74.363 % |
22.38/22.46	c |     25026 |   93592   194098 |  105753   19178   576284    30.0 | 76.268 % |
24.38/24.41	c ==============================================================================
24.38/24.41	c Found solution: -41
24.38/24.41	o -41
24.38/24.43	c ---[   0]---> Sorter-cost:    0     Base:
24.48/24.52	c ==================================[MINISAT+]==================================
24.48/24.52	c | Conflicts | Original         | Learnt                           | Progress |
24.48/24.52	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
24.48/24.52	c ==============================================================================
24.48/24.52	c |     29121 |   92780   192183 |   30926   22895   940622    41.1 | 76.268 % |
24.48/24.60	c |     29221 |   92677   191930 |   34018   22961   941837    41.0 | 77.647 % |
24.68/24.71	c |     29371 |   92612   191776 |   37420   23105   945249    40.9 | 77.742 % |
24.78/24.80	c |     29597 |   92612   191776 |   41162   23331   954744    40.9 | 77.742 % |
24.88/24.98	c |     29934 |   92495   191494 |   45278   23662   962311    40.7 | 77.917 % |
25.18/25.25	c ==============================================================================
25.18/25.25	c Found solution: -42
25.18/25.25	o -42
25.18/25.27	c ---[   0]---> Sorter-cost:    0     Base:
25.28/25.36	c ==================================[MINISAT+]==================================
25.28/25.36	c | Conflicts | Original         | Learnt                           | Progress |
25.28/25.36	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
25.28/25.36	c ==============================================================================
25.28/25.36	c |     30329 |   92131   190575 |   30710   23891   984433    41.2 | 77.917 % |
25.38/25.46	c |     30429 |   92064   190426 |   33781   23974   986115    41.1 | 78.509 % |
25.48/25.56	c |     30579 |   91949   190146 |   37159   24115   994438    41.2 | 78.683 % |
25.68/25.71	c |     30804 |   91850   189911 |   40875   24280  1003798    41.3 | 78.828 % |
25.78/25.87	c |     31141 |   91766   189701 |   44962   24546  1013462    41.3 | 78.962 % |
25.98/26.09	c |     31647 |   91650   189414 |   49458   25021  1032977    41.3 | 79.143 % |
26.38/26.43	c |     32406 |   91601   189300 |   54404   25733  1089814    42.4 | 79.212 % |
26.88/26.94	c |     33545 |   91498   189059 |   59845   26813  1189985    44.4 | 79.358 % |
27.78/27.87	c |     35253 |   91064   187999 |   65829   28271  1265964    44.8 | 80.005 % |
29.28/29.34	c |     37817 |   90592   186879 |   72412   30523  1417125    46.4 | 80.691 % |
31.48/31.52	c |     41661 |   90247   186028 |   79653   34043  1688146    49.6 | 81.219 % |
35.27/35.30	c |     47427 |   89873   185101 |   87619   39490  2309222    58.5 | 81.806 % |
41.27/41.34	c ==============================================================================
41.27/41.34	c Found solution: -43
41.27/41.34	o -43
41.27/41.35	c ---[   0]---> Sorter-cost:    0     Base:
41.37/41.47	c ==================================[MINISAT+]==================================
41.37/41.47	c | Conflicts | Original         | Learnt                           | Progress |
41.37/41.47	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
41.37/41.47	c ==============================================================================
41.37/41.47	c |     55522 |   89822   185003 |   29940   47545  3314007    69.7 | 81.806 % |
41.47/41.57	c |     55622 |   89822   185003 |   32934   47645  3321718    69.7 | 81.930 % |
41.57/41.66	c |     55772 |   89822   185003 |   36227   47795  3326427    69.6 | 81.931 % |
41.78/41.83	c |     55998 |   89822   185003 |   39850   48021  3341366    69.6 | 81.930 % |
41.97/42.08	c |     56336 |   89822   185003 |   43835   48359  3370021    69.7 | 81.931 % |
42.37/42.45	c |     56842 |   89822   185003 |   48218   48865  3409651    69.8 | 81.930 % |
43.67/43.75	c |     57601 |   89177   183450 |   53040   48863  3434237    70.3 | 82.894 % |
44.47/44.54	c |     58740 |   89177   183450 |   58344   50002  3579676    71.6 | 82.894 % |
45.77/45.87	c |     60448 |   89117   183296 |   64179   51669  3732132    72.2 | 82.996 % |
47.87/47.98	c |     63011 |   89039   183106 |   70596   54124  3965144    73.3 | 83.114 % |
51.27/51.35	c |     66855 |   89039   183106 |   77656   57968  4599226    79.3 | 83.114 % |
56.77/56.88	c |     72622 |   88752   182402 |   85422   63069  5112366    81.1 | 83.557 % |
65.77/65.86	c |     81271 |   88748   182392 |   93964   71717  6426102    89.6 | 83.564 % |
79.96/80.08	c |     94245 |   88748   182392 |  103361   84691  8009047    94.6 | 83.564 % |
109.45/109.50	c |    113707 |   88741   182375 |  113697  104135 11319413   108.7 | 83.574 % |
154.34/154.46	c ==============================================================================
154.34/154.46	c Found solution: -44
154.34/154.46	o -44
154.34/154.47	c ---[   0]---> Sorter-cost:    0     Base:
154.64/154.74	c ==================================[MINISAT+]==================================
154.64/154.74	c | Conflicts | Original         | Learnt                           | Progress |
154.64/154.74	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
154.64/154.74	c ==============================================================================
154.64/154.74	c |    140871 |   88488   181720 |   29496  130980 15028721   114.7 | 83.574 % |
155.14/155.22	c |    140971 |   88488   181720 |   32445   23657  1604034    67.8 | 83.975 % |
155.24/155.30	c |    141121 |   88488   181720 |   35690   23807  1613264    67.8 | 83.975 % |
155.34/155.42	c |    141346 |   88488   181720 |   39259   24032  1631251    67.9 | 83.975 % |
155.54/155.65	c |    141683 |   88328   181322 |   43185   24359  1642586    67.4 | 84.221 % |
155.84/155.95	c |    142189 |   88328   181322 |   47503   24865  1700627    68.4 | 84.221 % |
156.24/156.38	c |    142948 |   88328   181322 |   52253   25624  1787151    69.7 | 84.221 % |
157.04/157.13	c |    144087 |   88328   181322 |   57479   26763  1947089    72.8 | 84.221 % |
158.04/158.17	c |    145797 |   88226   181078 |   63227   28458  2159705    75.9 | 84.369 % |
159.44/159.53	c |    148359 |   88221   181067 |   69550   31016  2379812    76.7 | 84.375 % |
161.94/162.01	c |    152203 |   88221   181067 |   76505   34860  2924276    83.9 | 84.375 % |
166.23/166.37	c |    157969 |   88221   181067 |   84155   40626  3769186    92.8 | 84.375 % |
173.93/174.03	c |    166618 |   88180   180970 |   92571   49077  4992109   101.7 | 84.436 % |
186.63/186.76	c |    179592 |   88139   180873 |  101828   61925  6663510   107.6 | 84.496 % |
203.92/204.05	c ==============================================================================
203.92/204.05	c Found solution: -45
203.92/204.05	o -45
203.92/204.06	c ---[   0]---> Sorter-cost:    0     Base:
204.12/204.26	c ==================================[MINISAT+]==================================
204.12/204.26	c | Conflicts | Original         | Learnt                           | Progress |
204.12/204.26	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
204.12/204.26	c ==============================================================================
204.12/204.26	c |    193053 |   88160   180935 |   29386   75386  9039640   119.9 | 84.496 % |
204.32/204.50	c |    193153 |   88154   180921 |   32324   20076  2226072   110.9 | 84.484 % |
204.52/204.63	c |    193303 |   88149   180908 |   35557   20222  2233119   110.4 | 84.492 % |
204.62/204.74	c |    193528 |   88149   180908 |   39112   20447  2240695   109.6 | 84.492 % |
204.92/205.08	c |    193865 |   87960   180457 |   43024   20704  2251356   108.7 | 84.765 % |
205.22/205.33	c |    194373 |   87960   180457 |   47326   21212  2285864   107.8 | 84.765 % |
205.52/205.64	c |    195133 |   87928   180387 |   52059   21969  2317828   105.5 | 84.806 % |
206.02/206.15	c |    196272 |   87928   180387 |   57265   23108  2390481   103.4 | 84.806 % |
207.02/207.14	c |    197981 |   87877   180262 |   62991   24808  2557155   103.1 | 84.886 % |
208.52/208.61	c |    200543 |   87877   180262 |   69290   27370  2839758   103.8 | 84.886 % |
211.02/211.13	c |    204387 |   87859   180218 |   76219   31206  3310018   106.1 | 84.914 % |
215.22/215.39	c |    210154 |   87728   179913 |   83841   36956  3914827   105.9 | 85.101 % |
222.71/222.84	c |    218803 |   87618   179642 |   92225   45444  4968749   109.3 | 85.273 % |
235.21/235.38	c |    231778 |   87612   179628 |  101448   58416  6873546   117.7 | 85.281 % |
258.20/258.33	c |    251240 |   87602   179602 |  111593   77876  9366492   120.3 | 85.299 % |
302.49/302.68	c |    280433 |   87500   179360 |  122752  106975 13247285   123.8 | 85.449 % |
383.86/384.00	c |    324222 |   87431   179199 |  135027  150675 18133943   120.4 | 85.548 % |
479.62/479.86	c |    389906 |   87254   178786 |  148530   58610  6764613   115.4 | 85.798 % |
645.97/646.23	c |    488432 |   87146   178513 |  163383  157074 18937562   120.6 | 85.974 % |
875.39/875.76	c |    636222 |   86975   178094 |  179722  122684 14752901   120.3 | 86.238 % |
925.88/926.26	c ==============================================================================
925.88/926.26	c Found solution: -46
925.88/926.26	o -46
925.88/926.27	c ---[   0]---> Sorter-cost:    0     Base:
926.17/926.57	c ==================================[MINISAT+]==================================
926.17/926.57	c | Conflicts | Original         | Learnt                           | Progress |
926.17/926.57	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
926.17/926.57	c ==============================================================================
926.17/926.57	c |    666222 |   86952   178006 |   28984  152419 17035157   111.8 | 86.238 % |
926.88/927.30	c |    666323 |   86952   178006 |   31882   23334   978598    41.9 | 86.275 % |
927.07/927.40	c |    666473 |   86952   178006 |   35070   23484   988229    42.1 | 86.276 % |
927.17/927.52	c |    666698 |   86949   177999 |   38577   23706   999761    42.2 | 86.280 % |
927.27/927.65	c |    667035 |   86949   177999 |   42435   24043  1015324    42.2 | 86.280 % |
927.47/927.86	c |    667542 |   86937   177971 |   46679   24545  1043697    42.5 | 86.297 % |
927.87/928.23	c |    668301 |   86937   177971 |   51346   25304  1104663    43.7 | 86.297 % |
928.27/928.69	c |    669440 |   86937   177971 |   56481   26443  1183390    44.8 | 86.297 % |
929.07/929.48	c |    671149 |   86937   177971 |   62129   28152  1333371    47.4 | 86.297 % |
930.27/930.69	c |    673711 |   86890   177860 |   68342   30695  1570494    51.2 | 86.366 % |
932.37/932.75	c |    677555 |   86890   177860 |   75177   34539  1942305    56.2 | 86.366 % |
935.97/936.30	c |    683322 |   86881   177837 |   82694   40286  2581099    64.1 | 86.381 % |
941.87/942.29	c |    691971 |   86881   177837 |   90964   48935  3392844    69.3 | 86.381 % |
952.56/952.98	c |    704945 |   86847   177751 |  100060   61890  4739700    76.6 | 86.437 % |
973.46/973.86	c |    724406 |   86811   177668 |  110066   81206  6780461    83.5 | 86.482 % |
1016.40/1016.81	c |    753598 |   86811   177668 |  121073  110398  9470624    85.8 | 86.482 % |
1089.82/1090.38	c |    797387 |   86716   177438 |  133180  154059 13869444    90.0 | 86.626 % |
1170.09/1170.67	c |    863074 |   86639   177253 |  146498   68032  6256523    92.0 | 86.740 % |
1323.24/1323.85	c |    961600 |   86604   177158 |  161148  166552 17993799   108.0 | 86.804 % |
1564.66/1565.38	c |   1109389 |   86592   177126 |  177263  134442  6394623    47.6 | 86.826 % |
1645.63/1646.31	c ==============================================================================
1645.63/1646.31	c Found solution: -47
1645.63/1646.31	o -47
1645.63/1646.33	c ---[   0]---> Sorter-cost:    0     Base:
1645.83/1646.53	c ==================================[MINISAT+]==================================
1645.83/1646.53	c | Conflicts | Original         | Learnt                           | Progress |
1645.83/1646.53	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1645.83/1646.53	c ==============================================================================
1645.83/1646.53	c |   1145273 |   86623   177211 |   28874  170326  7883137    46.3 | 86.826 % |
1648.23/1648.97	c |   1145373 |   86623   177211 |   31761   27585   726923    26.4 | 86.814 % |
1648.33/1649.07	c |   1145523 |   86623   177211 |   34937   27735   731613    26.4 | 86.814 % |
1648.53/1649.22	c |   1145748 |   86623   177211 |   38431   27960   739350    26.4 | 86.814 % |
1648.63/1649.36	c |   1146085 |   86623   177211 |   42274   28297   753030    26.6 | 86.814 % |
1648.83/1649.55	c |   1146591 |   86590   177129 |   46501   28800   771501    26.8 | 86.865 % |
1649.13/1649.87	c |   1147350 |   86536   176983 |   51152   29491   809660    27.5 | 86.960 % |
1649.63/1650.36	c |   1148490 |   86493   176884 |   56267   30629   880383    28.7 | 87.017 % |
1650.43/1651.11	c |   1150198 |   86493   176884 |   61893   32337  1011258    31.3 | 87.017 % |
1651.43/1652.16	c |   1152761 |   86462   176807 |   68083   34891  1170729    33.6 | 87.067 % |
1653.43/1654.11	c |   1156605 |   86462   176807 |   74891   38735  1523673    39.3 | 87.067 % |
1656.53/1657.29	c |   1162371 |   86462   176807 |   82380   44501  2057085    46.2 | 87.067 % |
1662.53/1663.22	c |   1171020 |   86462   176807 |   90618   53150  2841659    53.5 | 87.067 % |
1674.62/1675.40	c |   1183994 |   86462   176807 |   99680   66124  4092847    61.9 | 87.067 % |
1695.21/1695.99	c |   1203455 |   86462   176807 |  109648   85585  6046974    70.7 | 87.067 % |
1731.40/1732.14	c |   1232648 |   86429   176728 |  120613  114700  9430680    82.2 | 87.116 % |
1798.79/1799.51	c |   1276437 |   86384   176619 |  132675  158476 13234418    83.5 | 87.185 % |
1800.09/1800.80	c 
1800.09/1800.80	c *** TERMINATED ***
1800.09/1800.80	s SATISFIABLE
1800.09/1800.80	v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134
1800.09/1800.80	v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117
1800.09/1800.80	v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100
1800.09/1800.80	v x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083
1800.09/1800.80	v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 x1071 -x1070 -x1069 -x1068 -x1067 -x1066
1800.09/1800.80	v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049
1800.09/1800.80	v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032
1800.09/1800.80	v -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015
1800.09/1800.80	v -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 x997
1800.09/1800.80	v -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976
1800.09/1800.80	v -x975 -x974 -x973 -x972 -x971 x970 -x969 -x968 -x967 -x966 -x965 x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955
1800.09/1800.80	v -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 x936 -x935 -x934
1800.09/1800.80	v -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 x916 -x915 -x914 -x913
1800.09/1800.80	v -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 -x895 -x894 -x893 -x892
1800.09/1800.80	v -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871
1800.09/1800.80	v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 x852 -x851 -x850
1800.09/1800.80	v -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 x831 -x830 -x829
1800.09/1800.80	v -x828 -x827 -x826 -x825 -x824 x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808
1800.09/1800.80	v -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787
1800.09/1800.80	v -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766
1800.09/1800.80	v -x765 -x764 -x763 -x762 x761 -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745
1800.09/1800.80	v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 x725 -x724
1800.09/1800.80	v -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703
1800.09/1800.80	v -x702 x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682
1800.09/1800.80	v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663 -x662 -x661
1800.09/1800.80	v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640
1800.09/1800.80	v x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619
1800.09/1800.80	v -x618 x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598
1800.09/1800.80	v -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577
1800.09/1800.80	v -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556
1800.09/1800.80	v -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 x536 -x535
1800.09/1800.80	v -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514
1800.09/1800.80	v -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493
1800.09/1800.80	v -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472
1800.09/1800.80	v -x471 -x470 -x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451
1800.09/1800.80	v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430
1800.09/1800.80	v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409
1800.09/1800.80	v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 -x391 x390 -x389 -x388
1800.09/1800.80	v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367
1800.09/1800.80	v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 x348 -x347 -x346
1800.09/1800.80	v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325
1800.09/1800.80	v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304
1800.09/1800.80	v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283
1800.09/1800.80	v -x282 -x281 -x280 -x279 -x278 -x277 x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262
1800.09/1800.80	v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241
1800.09/1800.80	v -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220
1800.09/1800.80	v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199
1800.09/1800.80	v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178
1800.09/1800.80	v -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157
1800.09/1800.80	v -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136
1800.09/1800.80	v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115
1800.09/1800.80	v x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93
1800.09/1800.80	v -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67
1800.09/1800.80	v -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41
1800.09/1800.80	v -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15
1800.09/1800.80	v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data (download as text)

OK	-47

Conversion Script Data (download as text)

/tmp/evaluation/353702-1176673458/instance-353702-1176673458.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/node46/watcher-353702-1176673458 -o ROOT/results/node46/solver-353702-1176673458 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353702-1176673458/minisat+ /tmp/evaluation/353702-1176673458/instance-353702-1176673458.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 1.00 0.99 3/65 27047
/proc/meminfo: memFree=1723392/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=1312 CPUtime=0
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 162 0 0 0 0 0 0 0 18 0 1 0 22028982 1343488 147 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 328 147 74 215 0 110 0

[startup+0.029638 s]
/proc/loadavg: 0.92 1.00 0.99 3/65 27047
/proc/meminfo: memFree=1723392/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=1444 CPUtime=0.02
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 209 0 0 0 2 0 0 0 18 0 1 0 22028982 1478656 194 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 361 194 74 215 0 143 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1444

[startup+0.101651 s]
/proc/loadavg: 0.92 1.00 0.99 3/65 27047
/proc/meminfo: memFree=1723392/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=2120 CPUtime=0.09
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 363 0 0 0 9 0 0 0 18 0 1 0 22028982 2170880 348 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 530 348 74 215 0 312 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2120

[startup+0.301687 s]
/proc/loadavg: 0.92 1.00 0.99 3/65 27047
/proc/meminfo: memFree=1723392/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=3784 CPUtime=0.29
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 784 0 0 0 29 0 0 0 19 0 1 0 22028982 3874816 769 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 946 769 74 215 0 728 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3784

[startup+0.701761 s]
/proc/loadavg: 0.92 1.00 0.99 3/65 27047
/proc/meminfo: memFree=1723392/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=7056 CPUtime=0.69
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 1617 0 0 0 68 1 0 0 23 0 1 0 22028982 7225344 1602 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 1764 1602 74 215 0 1546 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7056

[startup+1.50191 s]
/proc/loadavg: 0.92 1.00 0.99 2/66 27048
/proc/meminfo: memFree=1714680/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=13620 CPUtime=1.49
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 3250 0 0 0 147 2 0 0 25 0 1 0 22028982 13946880 3235 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 3405 3235 74 215 0 3187 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13620

[startup+3.10241 s]
/proc/loadavg: 0.92 1.00 0.99 2/66 27048
/proc/meminfo: memFree=1705656/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=30096 CPUtime=3.09
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 7195 0 0 0 297 12 0 0 23 0 1 0 22028982 30818304 6997 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581173 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 7524 6997 110 215 0 7306 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30096

[startup+6.3018 s]
/proc/loadavg: 0.93 1.00 0.99 2/66 27048
/proc/meminfo: memFree=1695296/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=30096 CPUtime=6.29
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 7196 0 0 0 617 12 0 0 25 0 1 0 22028982 30818304 6998 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 7524 6998 110 215 0 7306 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30096

[startup+12.702 s]
/proc/loadavg: 0.93 1.00 0.99 2/66 27048
/proc/meminfo: memFree=1695296/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=30096 CPUtime=12.68
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 7196 0 0 0 1256 12 0 0 25 0 1 0 22028982 30818304 6998 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 7524 6998 110 215 0 7306 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30096

[startup+25.5014 s]
/proc/loadavg: 0.95 1.00 0.99 2/66 27048
/proc/meminfo: memFree=1695232/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=30476 CPUtime=25.48
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 7257 0 0 0 2536 12 0 0 25 0 1 0 22028982 31207424 7059 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 7619 7059 111 215 0 7401 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30476

[startup+51.1011 s]
/proc/loadavg: 0.96 1.00 0.99 2/66 27048
/proc/meminfo: memFree=1681920/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=44252 CPUtime=51.07
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 10687 0 0 0 5091 16 0 0 25 0 1 0 22028982 45314048 10489 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 11063 10489 111 215 0 10845 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 44252

[startup+102.306 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 27048
/proc/meminfo: memFree=1656448/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=69536 CPUtime=102.26
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 16972 0 0 0 10204 22 0 0 25 0 1 0 22028982 71204864 16774 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573956 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 17384 16774 111 215 0 17166 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 69536

[startup+162.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 27048
/proc/meminfo: memFree=1637056/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=88624 CPUtime=162.24
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 21793 0 0 0 16196 28 0 0 25 0 1 0 22028982 90750976 21595 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 22156 21595 111 215 0 21938 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 88624

[startup+222.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 27048
/proc/meminfo: memFree=1636992/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=88624 CPUtime=222.21
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 21793 0 0 0 22193 28 0 0 25 0 1 0 22028982 90750976 21595 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 22156 21595 111 215 0 21938 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 88624

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27048
/proc/meminfo: memFree=1636928/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=88624 CPUtime=282.19
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 21793 0 0 0 28191 28 0 0 25 0 1 0 22028982 90750976 21595 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 22156 21595 111 215 0 21938 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 88624

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27048
/proc/meminfo: memFree=1632640/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=93036 CPUtime=342.17
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 22882 0 0 0 34188 29 0 0 25 0 1 0 22028982 95268864 22684 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581293 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 23259 22684 111 215 0 23041 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 93036

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27048
/proc/meminfo: memFree=1617856/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=108224 CPUtime=402.15
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 26629 0 0 0 40182 33 0 0 25 0 1 0 22028982 110821376 26431 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 27056 26431 111 215 0 26838 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 108224

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27048
/proc/meminfo: memFree=1606720/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=118880 CPUtime=462.13
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 29325 0 0 0 46177 36 0 0 25 0 1 0 22028982 121733120 29127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 29720 29127 111 215 0 29502 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 118880

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27048
/proc/meminfo: memFree=1606720/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=118880 CPUtime=522.11
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 29325 0 0 0 52175 36 0 0 25 0 1 0 22028982 121733120 29127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 29720 29127 111 215 0 29502 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 118880

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27048
/proc/meminfo: memFree=1606784/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=118880 CPUtime=582.09
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 29325 0 0 0 58172 37 0 0 25 0 1 0 22028982 121733120 29127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 29720 29127 111 215 0 29502 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 118880

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27048
/proc/meminfo: memFree=1606720/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=118880 CPUtime=642.08
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 29325 0 0 0 64171 37 0 0 25 0 1 0 22028982 121733120 29127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 29720 29127 111 215 0 29502 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 118880


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

[startup+822.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 27048
/proc/meminfo: memFree=1590016/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=135504 CPUtime=822.01
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33499 0 0 0 82160 41 0 0 25 0 1 0 22028982 138756096 33301 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 33876 33301 111 215 0 33658 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 135504

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27048
/proc/meminfo: memFree=1589952/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=135504 CPUtime=881.99
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33501 0 0 0 88158 41 0 0 25 0 1 0 22028982 138756096 33303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 33876 33303 111 215 0 33658 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 135504

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27048
/proc/meminfo: memFree=1590016/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=135488 CPUtime=941.97
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33501 0 0 0 94156 41 0 0 25 0 1 0 22028982 138739712 33303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 33872 33303 111 215 0 33654 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 135488

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 27074
/proc/meminfo: memFree=1588752/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=135488 CPUtime=1001.94
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33501 0 0 0 100153 41 0 0 25 0 1 0 22028982 138739712 33303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573899 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 33872 33303 111 215 0 33654 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 135488

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27246
/proc/meminfo: memFree=1589560/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=135488 CPUtime=1061.83
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33501 0 0 0 106141 42 0 0 25 0 1 0 22028982 138739712 33303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 33872 33303 111 215 0 33654 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 135488

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27246
/proc/meminfo: memFree=1589696/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=135488 CPUtime=1121.81
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33501 0 0 0 112139 42 0 0 25 0 1 0 22028982 138739712 33303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 33872 33303 111 215 0 33654 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 135488

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27246
/proc/meminfo: memFree=1589696/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=135488 CPUtime=1181.79
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33501 0 0 0 118137 42 0 0 25 0 1 0 22028982 138739712 33303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 33872 33303 111 215 0 33654 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 135488

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27246
/proc/meminfo: memFree=1589696/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=135488 CPUtime=1241.77
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33501 0 0 0 124135 42 0 0 25 0 1 0 22028982 138739712 33303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 33872 33303 111 215 0 33654 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 135488

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27246
/proc/meminfo: memFree=1589760/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=135488 CPUtime=1301.75
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33501 0 0 0 130133 42 0 0 25 0 1 0 22028982 138739712 33303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 33872 33303 111 215 0 33654 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 135488

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27246
/proc/meminfo: memFree=1589760/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=135488 CPUtime=1361.73
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33501 0 0 0 136131 42 0 0 25 0 1 0 22028982 138739712 33303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 33872 33303 111 215 0 33654 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 135488

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27246
/proc/meminfo: memFree=1589824/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=135476 CPUtime=1421.71
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33501 0 0 0 142129 42 0 0 25 0 1 0 22028982 138727424 33303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 33869 33303 111 215 0 33651 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 135476

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27246
/proc/meminfo: memFree=1589824/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=135476 CPUtime=1481.69
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33502 0 0 0 148126 43 0 0 25 0 1 0 22028982 138727424 33304 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 33869 33304 111 215 0 33651 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 135476

[startup+1542.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 27246
/proc/meminfo: memFree=1589824/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=135476 CPUtime=1541.67
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33502 0 0 0 154124 43 0 0 25 0 1 0 22028982 138727424 33304 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 33869 33304 111 215 0 33651 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 135476

[startup+1602.3 s]
/proc/loadavg: 1.09 1.03 1.00 2/66 27246
/proc/meminfo: memFree=1589824/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=135476 CPUtime=1601.65
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33503 0 0 0 160122 43 0 0 25 0 1 0 22028982 138727424 33305 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580442 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 33869 33305 111 215 0 33651 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 135476

[startup+1662.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/66 27246
/proc/meminfo: memFree=1589888/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=135476 CPUtime=1661.62
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33505 0 0 0 166119 43 0 0 25 0 1 0 22028982 138727424 33307 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574378 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 33869 33307 111 215 0 33651 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 135476

[startup+1722.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 27246
/proc/meminfo: memFree=1589824/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=135476 CPUtime=1721.6
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33505 0 0 0 172117 43 0 0 25 0 1 0 22028982 138727424 33307 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 33869 33307 111 215 0 33651 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 135476

[startup+1782.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/66 27246
/proc/meminfo: memFree=1589888/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=135476 CPUtime=1781.59
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33505 0 0 0 178115 44 0 0 25 0 1 0 22028982 138727424 33307 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581475 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 33869 33307 111 215 0 33651 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 135476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.04 1.02 1.00 2/66 27246
/proc/meminfo: memFree=1589824/2055920 swapFree=4192956/4192956
[pid=27047] ppid=27045 vsize=135476 CPUtime=1800.09
/proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33505 0 0 0 179965 44 0 0 25 0 1 0 22028982 138727424 33307 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27047/statm: 33869 33307 111 215 0 33651 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 135476

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.84
CPU time (s): 1800.12
CPU user time (s): 1799.65
CPU system time (s): 0.464929
CPU usage (%): 99.9597
Max. virtual memory (cumulated for all children) (KiB): 135504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.464929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33507
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= 238
involuntary context switches= 1519

runsolver used 1.34479 second user time and 3.87841 second system time

The end

Launcher Data (download as text)

Begin job on node46 on Sun Apr 15 21:44:20 UTC 2007

IDJOB= 353702
IDBENCH= 2263
IDSOLVER= 156
FILE ID= node46/353702-1176673458

PBS_JOBID= 4559914

Free space on /tmp= 66215 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-4.opb
COMMAND LINE= /tmp/evaluation/353702-1176673458/minisat+ /tmp/evaluation/353702-1176673458/instance-353702-1176673458.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node46/convwatcher-353702-1176673458 -o ROOT/results/node46/conversion-353702-1176673458 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353702-1176673458/instance-353702-1176673458.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  e81d6b8e8ff8ec031773b7b65d16ea78

RANDOM SEED= 849400382

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node46.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.268
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	: 5931.00
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.268
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:       1723736 kB
Buffers:         65948 kB
Cached:         156616 kB
SwapCached:          0 kB
Active:          97704 kB
Inactive:       158464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1723736 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4292 kB
Writeback:           0 kB
Mapped:          29508 kB
Slab:            62048 kB
Committed_AS:  1270740 kB
PageTables:       1484 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= 66215 MiB

End job on node46 on Sun Apr 15 22:14:23 UTC 2007