Trace number 35631

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.63 1801.23

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-49
Best CPU time to get the best result obtained on this benchmark1800.56
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	c Parsing PB file...
2.17	c Converting 80258 PB-constraints to clauses...
2.18	c   -- Unit propagations: (none)
2.18	c   -- Detecting intervals from adjacent constraints: (none)
2.18	c   -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
2.37	c ==================================[MINISAT+]==================================
2.37	c | Conflicts | Original         | Learnt                           | Progress |
2.37	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.37	c ==============================================================================
2.37	c |         0 |   80258   160516 |   26752       0        0     nan |  0.000 % |
2.37	c ==============================================================================
2.37	c Found solution: -36
2.37	o -36
2.38	c ---[   0]---> Sorter-cost:63046     Base:
2.52	c ==================================[MINISAT+]==================================
2.52	c | Conflicts | Original         | Learnt                           | Progress |
2.52	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.52	c ==============================================================================
2.52	c |         0 |  148144   319772 |   49381       0        0     nan |  0.000 % |
2.67	c |       100 |  147820   319103 |   54319      84      567     6.8 |  0.388 % |
2.93	c |       250 |  147145   317664 |   59751     188     1432     7.6 |  1.214 % |
3.36	c |       476 |  146024   315267 |   65726     361     3068     8.5 |  2.595 % |
3.96	c |       813 |  143729   310234 |   72298     619     5841     9.4 |  5.557 % |
4.68	c |      1319 |  140833   303816 |   79528     968     9121     9.4 |  9.437 % |
5.81	c |      2079 |  136692   294527 |   87481    1586    15869    10.0 | 15.004 % |
7.44	c |      3218 |  131314   282313 |   96229    2417    27902    11.5 | 22.323 % |
9.57	c |      4926 |  122752   262701 |  105852    3528    39936    11.3 | 34.222 % |
12.52	c |      7488 |  112044   237857 |  116437    5289    62605    11.8 | 49.090 % |
12.95	c ==============================================================================
12.95	c Found solution: -40
12.95	o -40
12.96	c ---[   0]---> Sorter-cost:    0     Base:
13.04	c ==================================[MINISAT+]==================================
13.04	c | Conflicts | Original         | Learnt                           | Progress |
13.04	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
13.04	c ==============================================================================
13.04	c |      7928 |  111198   235994 |   37066    5633    66805    11.9 | 49.090 % |
13.13	c |      8028 |  110897   235287 |   40772    5710    67536    11.8 | 50.901 % |
13.27	c |      8178 |  110452   234225 |   44849    5792    68387    11.8 | 51.548 % |
13.54	c |      8403 |  109585   232234 |   49334    5952    71118    11.9 | 52.759 % |
13.84	c |      8741 |  108728   230226 |   54268    6208    74433    12.0 | 53.995 % |
14.22	c |      9247 |  107763   227961 |   59695    6556    79030    12.1 | 55.393 % |
14.81	c |     10006 |  106198   224277 |   65664    7058    87476    12.4 | 57.665 % |
15.66	c |     11146 |  103552   218006 |   72231    7914   103965    13.1 | 61.514 % |
16.67	c |     12854 |  100400   210497 |   79454    9088   124554    13.7 | 66.138 % |
18.14	c |     15416 |   97019   202392 |   87399   10804   161729    15.0 | 71.090 % |
19.74	c |     19260 |   94852   197144 |   96139   14054   253306    18.0 | 74.363 % |
21.99	c |     25026 |   93592   194098 |  105753   19178   576284    30.0 | 76.268 % |
23.95	c ==============================================================================
23.95	c Found solution: -41
23.95	o -41
23.96	c ---[   0]---> Sorter-cost:    0     Base:
24.05	c ==================================[MINISAT+]==================================
24.05	c | Conflicts | Original         | Learnt                           | Progress |
24.05	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
24.05	c ==============================================================================
24.05	c |     29121 |   92780   192183 |   30926   22895   940622    41.1 | 76.268 % |
24.13	c |     29221 |   92677   191930 |   34018   22961   941837    41.0 | 77.647 % |
24.24	c |     29371 |   92612   191776 |   37420   23105   945249    40.9 | 77.742 % |
24.33	c |     29597 |   92612   191776 |   41162   23331   954744    40.9 | 77.742 % |
24.51	c |     29934 |   92495   191494 |   45278   23662   962311    40.7 | 77.917 % |
24.79	c ==============================================================================
24.79	c Found solution: -42
24.79	o -42
24.80	c ---[   0]---> Sorter-cost:    0     Base:
24.89	c ==================================[MINISAT+]==================================
24.89	c | Conflicts | Original         | Learnt                           | Progress |
24.89	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
24.89	c ==============================================================================
24.89	c |     30329 |   92131   190575 |   30710   23891   984433    41.2 | 77.917 % |
24.99	c |     30429 |   92064   190426 |   33781   23974   986115    41.1 | 78.509 % |
25.09	c |     30579 |   91949   190146 |   37159   24115   994438    41.2 | 78.683 % |
25.24	c |     30804 |   91850   189911 |   40875   24280  1003798    41.3 | 78.828 % |
25.41	c |     31141 |   91766   189701 |   44962   24546  1013462    41.3 | 78.962 % |
25.62	c |     31647 |   91650   189414 |   49458   25021  1032977    41.3 | 79.143 % |
25.97	c |     32406 |   91601   189300 |   54404   25733  1089814    42.4 | 79.212 % |
26.48	c |     33545 |   91498   189059 |   59845   26813  1189985    44.4 | 79.358 % |
27.42	c |     35253 |   91064   187999 |   65829   28271  1265964    44.8 | 80.005 % |
28.87	c |     37817 |   90592   186879 |   72412   30523  1417125    46.4 | 80.691 % |
31.05	c |     41661 |   90247   186028 |   79653   34043  1688146    49.6 | 81.219 % |
34.78	c |     47427 |   89873   185101 |   87619   39490  2309222    58.5 | 81.806 % |
40.77	c ==============================================================================
40.77	c Found solution: -43
40.77	o -43
40.79	c ---[   0]---> Sorter-cost:    0     Base:
40.91	c ==================================[MINISAT+]==================================
40.91	c | Conflicts | Original         | Learnt                           | Progress |
40.91	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
40.91	c ==============================================================================
40.91	c |     55522 |   89822   185003 |   29940   47545  3314007    69.7 | 81.806 % |
41.00	c |     55622 |   89822   185003 |   32934   47645  3321718    69.7 | 81.930 % |
41.10	c |     55772 |   89822   185003 |   36227   47795  3326427    69.6 | 81.931 % |
41.26	c |     55998 |   89822   185003 |   39850   48021  3341366    69.6 | 81.930 % |
41.51	c |     56336 |   89822   185003 |   43835   48359  3370021    69.7 | 81.931 % |
41.89	c |     56842 |   89822   185003 |   48218   48865  3409651    69.8 | 81.930 % |
43.19	c |     57601 |   89177   183450 |   53040   48863  3434237    70.3 | 82.894 % |
44.00	c |     58740 |   89177   183450 |   58344   50002  3579676    71.6 | 82.894 % |
45.34	c |     60448 |   89117   183296 |   64179   51669  3732132    72.2 | 82.996 % |
47.46	c |     63011 |   89039   183106 |   70596   54124  3965144    73.3 | 83.114 % |
50.82	c |     66855 |   89039   183106 |   77656   57968  4599226    79.3 | 83.114 % |
56.29	c |     72622 |   88752   182402 |   85422   63069  5112366    81.1 | 83.557 % |
65.28	c |     81271 |   88748   182392 |   93964   71717  6426102    89.6 | 83.564 % |
79.48	c |     94245 |   88748   182392 |  103361   84691  8009047    94.6 | 83.564 % |
108.95	c |    113707 |   88741   182375 |  113697  104135 11319413   108.7 | 83.574 % |
153.90	c ==============================================================================
153.90	c Found solution: -44
153.90	o -44
153.91	c ---[   0]---> Sorter-cost:    0     Base:
154.18	c ==================================[MINISAT+]==================================
154.18	c | Conflicts | Original         | Learnt                           | Progress |
154.18	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
154.18	c ==============================================================================
154.18	c |    140871 |   88488   181720 |   29496  130980 15028721   114.7 | 83.574 % |
154.64	c |    140971 |   88488   181720 |   32445   23657  1604034    67.8 | 83.975 % |
154.73	c |    141121 |   88488   181720 |   35690   23807  1613264    67.8 | 83.975 % |
154.85	c |    141346 |   88488   181720 |   39259   24032  1631251    67.9 | 83.975 % |
155.07	c |    141683 |   88328   181322 |   43185   24359  1642586    67.4 | 84.221 % |
155.37	c |    142189 |   88328   181322 |   47503   24865  1700627    68.4 | 84.221 % |
155.79	c |    142948 |   88328   181322 |   52253   25624  1787151    69.7 | 84.221 % |
156.53	c |    144087 |   88328   181322 |   57479   26763  1947089    72.8 | 84.221 % |
157.57	c |    145797 |   88226   181078 |   63227   28458  2159705    75.9 | 84.369 % |
158.92	c |    148359 |   88221   181067 |   69550   31016  2379812    76.7 | 84.375 % |
161.39	c |    152203 |   88221   181067 |   76505   34860  2924276    83.9 | 84.375 % |
165.79	c |    157969 |   88221   181067 |   84155   40626  3769186    92.8 | 84.375 % |
173.43	c |    166618 |   88180   180970 |   92571   49077  4992109   101.7 | 84.436 % |
186.15	c |    179592 |   88139   180873 |  101828   61925  6663510   107.6 | 84.496 % |
203.41	c ==============================================================================
203.41	c Found solution: -45
203.41	o -45
203.42	c ---[   0]---> Sorter-cost:    0     Base:
203.62	c ==================================[MINISAT+]==================================
203.62	c | Conflicts | Original         | Learnt                           | Progress |
203.62	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
203.62	c ==============================================================================
203.62	c |    193053 |   88160   180935 |   29386   75386  9039640   119.9 | 84.496 % |
203.86	c |    193153 |   88154   180921 |   32324   20076  2226072   110.9 | 84.484 % |
203.99	c |    193303 |   88149   180908 |   35557   20222  2233119   110.4 | 84.492 % |
204.10	c |    193528 |   88149   180908 |   39112   20447  2240695   109.6 | 84.492 % |
204.45	c |    193865 |   87960   180457 |   43024   20704  2251356   108.7 | 84.765 % |
204.69	c |    194373 |   87960   180457 |   47326   21212  2285864   107.8 | 84.765 % |
205.01	c |    195133 |   87928   180387 |   52059   21969  2317828   105.5 | 84.806 % |
205.51	c |    196272 |   87928   180387 |   57265   23108  2390481   103.4 | 84.806 % |
206.51	c |    197981 |   87877   180262 |   62991   24808  2557155   103.1 | 84.886 % |
207.98	c |    200543 |   87877   180262 |   69290   27370  2839758   103.8 | 84.886 % |
210.50	c |    204387 |   87859   180218 |   76219   31206  3310018   106.1 | 84.914 % |
214.71	c |    210154 |   87728   179913 |   83841   36956  3914827   105.9 | 85.101 % |
222.13	c |    218803 |   87618   179642 |   92225   45444  4968749   109.3 | 85.273 % |
234.66	c |    231778 |   87612   179628 |  101448   58416  6873546   117.7 | 85.281 % |
257.58	c |    251240 |   87602   179602 |  111593   77876  9366492   120.3 | 85.299 % |
301.89	c |    280433 |   87500   179360 |  122752  106975 13247285   123.8 | 85.449 % |
383.33	c |    324222 |   87431   179199 |  135027  150675 18133943   120.4 | 85.548 % |
479.18	c |    389906 |   87254   178786 |  148530   58610  6764613   115.4 | 85.798 % |
645.52	c |    488432 |   87146   178513 |  163383  157074 18937562   120.6 | 85.974 % |
875.17	c |    636222 |   86975   178094 |  179722  122684 14752901   120.3 | 86.238 % |
925.77	c ==============================================================================
925.77	c Found solution: -46
925.77	o -46
925.79	c ---[   0]---> Sorter-cost:    0     Base:
926.08	c ==================================[MINISAT+]==================================
926.08	c | Conflicts | Original         | Learnt                           | Progress |
926.08	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
926.08	c ==============================================================================
926.08	c |    666222 |   86952   178006 |   28984  152419 17035157   111.8 | 86.238 % |
926.82	c |    666323 |   86952   178006 |   31882   23334   978598    41.9 | 86.275 % |
926.92	c |    666473 |   86952   178006 |   35070   23484   988229    42.1 | 86.276 % |
927.04	c |    666698 |   86949   177999 |   38577   23706   999761    42.2 | 86.280 % |
927.17	c |    667035 |   86949   177999 |   42435   24043  1015324    42.2 | 86.280 % |
927.38	c |    667542 |   86937   177971 |   46679   24545  1043697    42.5 | 86.297 % |
927.75	c |    668301 |   86937   177971 |   51346   25304  1104663    43.7 | 86.297 % |
928.21	c |    669440 |   86937   177971 |   56481   26443  1183390    44.8 | 86.297 % |
929.00	c |    671149 |   86937   177971 |   62129   28152  1333371    47.4 | 86.297 % |
930.20	c |    673711 |   86890   177860 |   68342   30695  1570494    51.2 | 86.366 % |
932.24	c |    677555 |   86890   177860 |   75177   34539  1942305    56.2 | 86.366 % |
935.74	c |    683322 |   86881   177837 |   82694   40286  2581099    64.1 | 86.381 % |
941.67	c |    691971 |   86881   177837 |   90964   48935  3392844    69.3 | 86.381 % |
952.39	c |    704945 |   86847   177751 |  100060   61890  4739700    76.6 | 86.437 % |
973.22	c |    724406 |   86811   177668 |  110066   81206  6780461    83.5 | 86.482 % |
1016.01	c |    753598 |   86811   177668 |  121073  110398  9470624    85.8 | 86.482 % |
1089.59	c |    797387 |   86716   177438 |  133180  154059 13869444    90.0 | 86.626 % |
1169.80	c |    863074 |   86639   177253 |  146498   68032  6256523    92.0 | 86.740 % |
1322.90	c |    961600 |   86604   177158 |  161148  166552 17993799   108.0 | 86.804 % |
1564.40	c |   1109389 |   86592   177126 |  177263  134442  6394623    47.6 | 86.826 % |
1645.10	c ==============================================================================
1645.10	c Found solution: -47
1645.10	o -47
1645.11	c ---[   0]---> Sorter-cost:    0     Base:
1645.31	c ==================================[MINISAT+]==================================
1645.31	c | Conflicts | Original         | Learnt                           | Progress |
1645.31	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1645.31	c ==============================================================================
1645.31	c |   1145273 |   86623   177211 |   28874  170326  7883137    46.3 | 86.826 % |
1647.48	c |   1145373 |   86623   177211 |   31761   27585   726923    26.4 | 86.814 % |
1647.59	c |   1145523 |   86623   177211 |   34937   27735   731613    26.4 | 86.814 % |
1647.73	c |   1145748 |   86623   177211 |   38431   27960   739350    26.4 | 86.814 % |
1647.87	c |   1146085 |   86623   177211 |   42274   28297   753030    26.6 | 86.814 % |
1648.05	c |   1146591 |   86590   177129 |   46501   28800   771501    26.8 | 86.865 % |
1648.34	c |   1147350 |   86536   176983 |   51152   29491   809660    27.5 | 86.960 % |
1648.80	c |   1148490 |   86493   176884 |   56267   30629   880383    28.7 | 87.017 % |
1649.51	c |   1150198 |   86493   176884 |   61893   32337  1011258    31.3 | 87.017 % |
1650.54	c |   1152761 |   86462   176807 |   68083   34891  1170729    33.6 | 87.067 % |
1652.48	c |   1156605 |   86462   176807 |   74891   38735  1523673    39.3 | 87.067 % |
1655.61	c |   1162371 |   86462   176807 |   82380   44501  2057085    46.2 | 87.067 % |
1661.51	c |   1171020 |   86462   176807 |   90618   53150  2841659    53.5 | 87.067 % |
1673.65	c |   1183994 |   86462   176807 |   99680   66124  4092847    61.9 | 87.067 % |
1694.05	c |   1203455 |   86462   176807 |  109648   85585  6046974    70.7 | 87.067 % |
1730.20	c |   1232648 |   86429   176728 |  120613  114700  9430680    82.2 | 87.116 % |
1797.63	c |   1276437 |   86384   176619 |  132675  158476 13234418    83.5 | 87.185 % |
1801.20	c 
1801.20	c *** TERMINATED ***
1801.20	s SATISFIABLE
1801.20	v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134
1801.20	v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117
1801.20	v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100
1801.20	v x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083
1801.20	v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 x1071 -x1070 -x1069 -x1068 -x1067 -x1066
1801.20	v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049
1801.20	v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032
1801.20	v -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015
1801.20	v -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 x997
1801.20	v -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976
1801.20	v -x975 -x974 -x973 -x972 -x971 x970 -x969 -x968 -x967 -x966 -x965 x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955
1801.20	v -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 x936 -x935 -x934
1801.20	v -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 x916 -x915 -x914 -x913
1801.20	v -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 -x895 -x894 -x893 -x892
1801.20	v -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871
1801.20	v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 x852 -x851 -x850
1801.20	v -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 x831 -x830 -x829
1801.20	v -x828 -x827 -x826 -x825 -x824 x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808
1801.20	v -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787
1801.20	v -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766
1801.20	v -x765 -x764 -x763 -x762 x761 -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745
1801.20	v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 x725 -x724
1801.20	v -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703
1801.20	v -x702 x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682
1801.20	v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663 -x662 -x661
1801.20	v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640
1801.20	v x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619
1801.20	v -x618 x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598
1801.20	v -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577
1801.20	v -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556
1801.20	v -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 x536 -x535
1801.20	v -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514
1801.20	v -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493
1801.20	v -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472
1801.20	v -x471 -x470 -x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451
1801.20	v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430
1801.20	v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409
1801.20	v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 -x391 x390 -x389 -x388
1801.20	v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367
1801.20	v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 x348 -x347 -x346
1801.20	v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325
1801.20	v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304
1801.20	v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283
1801.20	v -x282 -x281 -x280 -x279 -x278 -x277 x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262
1801.20	v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241
1801.20	v -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220
1801.20	v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199
1801.20	v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178
1801.20	v -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157
1801.20	v -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136
1801.20	v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115
1801.20	v x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93
1801.20	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
1801.20	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
1801.20	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
1801.20	v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data (download as text)

OK	-47

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.94 0.90 2/64 2544
/proc/meminfo: memFree=1570968/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=1048 CPUtime=0
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 105 0 0 0 0 0 0 0 19 0 1 0 195507539 1073152 90 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 262 92 67 215 0 44 0

[startup+10.0016 s]
/proc/loadavg: 0.87 0.94 0.90 2/64 2544
/proc/meminfo: memFree=1543384/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=30096 CPUtime=9.98
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 7196 0 0 0 987 11 0 0 25 0 1 0 195507539 30818304 6998 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582057 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 7524 6998 110 215 0 7306 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 30096

[startup+20.0078 s]
/proc/loadavg: 0.89 0.94 0.90 2/64 2544
/proc/meminfo: memFree=1543200/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=30476 CPUtime=19.98
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 7257 0 0 0 1987 11 0 0 25 0 1 0 195507539 31207424 7059 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 7619 7059 111 215 0 7401 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 30476

[startup+30.014 s]
/proc/loadavg: 0.90 0.94 0.90 2/64 2544
/proc/meminfo: memFree=1542560/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=31300 CPUtime=29.98
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 7436 0 0 0 2987 11 0 0 25 0 1 0 195507539 32051200 7238 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 7825 7238 111 215 0 7607 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 31300

[startup+40.0202 s]
/proc/loadavg: 0.92 0.94 0.90 2/64 2544
/proc/meminfo: memFree=1535456/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=38320 CPUtime=39.99
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 9209 0 0 0 3986 13 0 0 25 0 1 0 195507539 39239680 9011 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580496 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 9580 9011 111 215 0 9362 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 38320

[startup+50.0264 s]
/proc/loadavg: 0.93 0.94 0.90 2/64 2544
/proc/meminfo: memFree=1529952/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=43844 CPUtime=49.99
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 10589 0 0 0 4984 15 0 0 25 0 1 0 195507539 44896256 10391 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 10961 10391 111 215 0 10743 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 43844

[startup+60.0326 s]
/proc/loadavg: 0.94 0.95 0.90 2/64 2544
/proc/meminfo: memFree=1524512/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=49336 CPUtime=59.99
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 11946 0 0 0 5983 16 0 0 25 0 1 0 195507539 50520064 11748 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 12334 11748 111 215 0 12116 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 49336

[startup+70.0388 s]
/proc/loadavg: 0.95 0.95 0.91 2/64 2544
/proc/meminfo: memFree=1519136/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=54712 CPUtime=70
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 13293 0 0 0 6982 18 0 0 25 0 1 0 195507539 56025088 13095 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 13678 13095 111 215 0 13460 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 54712

[startup+80.045 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 2544
/proc/meminfo: memFree=1514592/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=59184 CPUtime=80
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 14417 0 0 0 7981 19 0 0 25 0 1 0 195507539 60604416 14219 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 14796 14219 111 215 0 14578 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 59184

[startup+90.0513 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 2546
/proc/meminfo: memFree=1510048/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=63928 CPUtime=90.01
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 15558 0 0 0 8981 20 0 0 25 0 1 0 195507539 65462272 15360 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 15982 15360 111 215 0 15764 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 63928

[startup+100.057 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 2546
/proc/meminfo: memFree=1505120/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=68728 CPUtime=100
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 16775 0 0 0 9979 21 0 0 25 0 1 0 195507539 70377472 16577 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 17182 16577 111 215 0 16964 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 68728

[startup+110.064 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 2546
/proc/meminfo: memFree=1500704/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=73160 CPUtime=110.01
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 17883 0 0 0 10979 22 0 0 25 0 1 0 195507539 74915840 17685 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 18290 17685 111 215 0 18072 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 73160

[startup+120.071 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 2546
/proc/meminfo: memFree=1496608/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=77208 CPUtime=120.02
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 18907 0 0 0 11978 24 0 0 25 0 1 0 195507539 79060992 18709 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 19302 18709 111 215 0 19084 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 77208

[startup+130.076 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 2546
/proc/meminfo: memFree=1492064/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=81648 CPUtime=130.02
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 20036 0 0 0 12977 25 0 0 25 0 1 0 195507539 83607552 19838 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 20412 19838 111 215 0 20194 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 81648

[startup+140.082 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 2546
/proc/meminfo: memFree=1489056/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=84664 CPUtime=140.02
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 20790 0 0 0 13976 26 0 0 25 0 1 0 195507539 86695936 20592 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 21166 20592 111 215 0 20948 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 84664

[startup+150.089 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 2546
/proc/meminfo: memFree=1486240/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=87524 CPUtime=150.02
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 21486 0 0 0 14975 27 0 0 25 0 1 0 195507539 89624576 21288 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 21881 21288 111 215 0 21663 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 87524

[startup+160.095 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 2546
/proc/meminfo: memFree=1485024/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=88636 CPUtime=160.03
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 21793 0 0 0 15975 28 0 0 25 0 1 0 195507539 90763264 21595 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 22159 21595 111 215 0 21941 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 88636

[startup+170.101 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 2546
/proc/meminfo: memFree=1485088/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=88636 CPUtime=170.04
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 21793 0 0 0 16976 28 0 0 25 0 1 0 195507539 90763264 21595 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574420 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 22159 21595 111 215 0 21941 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 88636

[startup+180.107 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 2546
/proc/meminfo: memFree=1485088/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=88636 CPUtime=180.04
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 21793 0 0 0 17976 28 0 0 25 0 1 0 195507539 90763264 21595 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 22159 21595 111 215 0 21941 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 88636

[startup+190.113 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 2546
/proc/meminfo: memFree=1485088/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=88636 CPUtime=190.04
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 21793 0 0 0 18976 28 0 0 25 0 1 0 195507539 90763264 21595 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 22159 21595 111 215 0 21941 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 88636

[startup+200.12 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 2546
/proc/meminfo: memFree=1485088/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=88636 CPUtime=200.05
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 21793 0 0 0 19977 28 0 0 25 0 1 0 195507539 90763264 21595 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 22159 21595 111 215 0 21941 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 88636

[startup+210.126 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 2546
/proc/meminfo: memFree=1485088/2055920 swapFree=4180888/4192956

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

[pid=2544] ppid=2542 vsize=135556 CPUtime=1781.51
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 178102 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (Kb) 135556

[startup+1783.11 s]
/proc/loadavg: 1.03 1.02 0.93 2/64 3217
/proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=135556 CPUtime=1782.51
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 178202 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1782.51
Current children cumulated vsize (Kb) 135556

[startup+1784.11 s]
/proc/loadavg: 1.03 1.02 0.93 2/64 3217
/proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=135556 CPUtime=1783.52
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 178303 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579855 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1783.52
Current children cumulated vsize (Kb) 135556

[startup+1785.12 s]
/proc/loadavg: 1.03 1.02 0.93 2/64 3217
/proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=135556 CPUtime=1784.52
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 178403 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1784.52
Current children cumulated vsize (Kb) 135556

[startup+1786.12 s]
/proc/loadavg: 1.03 1.02 0.93 2/64 3217
/proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=135556 CPUtime=1785.53
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 178504 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (Kb) 135556

[startup+1787.13 s]
/proc/loadavg: 1.03 1.02 0.93 2/64 3217
/proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=135556 CPUtime=1786.53
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 178604 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1786.53
Current children cumulated vsize (Kb) 135556

[startup+1788.13 s]
/proc/loadavg: 1.03 1.02 0.93 2/64 3217
/proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=135556 CPUtime=1787.54
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 178705 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134583956 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1787.54
Current children cumulated vsize (Kb) 135556

[startup+1789.14 s]
/proc/loadavg: 1.03 1.02 0.93 2/64 3217
/proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=135556 CPUtime=1788.54
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 178805 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1788.54
Current children cumulated vsize (Kb) 135556

[startup+1790.14 s]
/proc/loadavg: 1.03 1.02 0.93 2/64 3217
/proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=135556 CPUtime=1789.55
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 178906 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (Kb) 135556

[startup+1791.15 s]
/proc/loadavg: 1.03 1.02 0.93 2/64 3217
/proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=135556 CPUtime=1790.55
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 179006 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1790.55
Current children cumulated vsize (Kb) 135556

[startup+1792.15 s]
/proc/loadavg: 1.03 1.02 0.93 2/64 3217
/proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=135556 CPUtime=1791.56
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 179107 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (Kb) 135556

[startup+1793.16 s]
/proc/loadavg: 1.03 1.02 0.93 2/64 3217
/proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=135556 CPUtime=1792.56
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 179207 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1792.56
Current children cumulated vsize (Kb) 135556

[startup+1794.16 s]
/proc/loadavg: 1.03 1.02 0.93 2/64 3217
/proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=135556 CPUtime=1793.57
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 179308 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1793.57
Current children cumulated vsize (Kb) 135556

[startup+1795.17 s]
/proc/loadavg: 1.03 1.02 0.93 2/64 3217
/proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=135556 CPUtime=1794.57
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 179408 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (Kb) 135556

[startup+1796.17 s]
/proc/loadavg: 1.02 1.02 0.93 2/64 3217
/proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=135556 CPUtime=1795.58
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 179509 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574262 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (Kb) 135556

[startup+1797.18 s]
/proc/loadavg: 1.02 1.02 0.93 2/64 3217
/proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=135556 CPUtime=1796.58
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 179609 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1796.58
Current children cumulated vsize (Kb) 135556

[startup+1798.19 s]
/proc/loadavg: 1.02 1.02 0.93 2/64 3217
/proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=135556 CPUtime=1797.58
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 179709 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (Kb) 135556

[startup+1799.19 s]
/proc/loadavg: 1.02 1.02 0.93 2/64 3217
/proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=135556 CPUtime=1798.59
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 179810 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (Kb) 135556

[startup+1800.19 s]
/proc/loadavg: 1.02 1.02 0.93 2/64 3217
/proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=135556 CPUtime=1799.59
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 179910 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (Kb) 135556

[startup+1801.2 s]
/proc/loadavg: 1.02 1.02 0.93 2/64 3217
/proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=135556 CPUtime=1800.6
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 180011 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1800.6
Current children cumulated vsize (Kb) 135556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 1.02 1.02 0.93 2/64 3217
/proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956
[pid=2544] ppid=2542 vsize=135556 CPUtime=1800.6
/proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 180011 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581426 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2544/statm: 33889 33306 111 215 0 33671 0
Current children cumulated CPU time (s) 1800.6
Current children cumulated vsize (Kb) 135556

Sending SIGTERM to -2544
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.23
CPU time (s): 1800.63
CPU user time (s): 1800.12
CPU system time (s): 0.514921
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (Kb): 135572

Launcher Data (download as text)

Begin job on node35 on Sat Jun  3 01:33:56 UTC 2006


FILE ID= 35631-1149298436

PBS_JOBID= 307249

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= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node35/35631-1149298436/instance-35631-1149298436.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-35631-1149298436 -o ROOT/results/node35/solver-35631-1149298436 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node35/35631-1149298436/instance-35631-1149298436.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  e81d6b8e8ff8ec031773b7b65d16ea78

RANDOM SEED= 406971294


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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.210
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:       1571176 kB
Buffers:         27168 kB
Cached:         389132 kB
SwapCached:       3872 kB
Active:          75292 kB
Inactive:       349804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1571176 kB
SwapTotal:     4192956 kB
SwapFree:      4180888 kB
Dirty:             192 kB
Writeback:           0 kB
Mapped:          14936 kB
Slab:            45688 kB
Committed_AS:   348896 kB
PageTables:       1432 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node35 on Sat Jun  3 02:03:58 UTC 2006