Trace number 35630

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.61 1801.29

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00	c Parsing PB file...
2.16	c Converting 80035 PB-constraints to clauses...
2.16	c   -- Unit propagations: (none)
2.16	c   -- Detecting intervals from adjacent constraints: (none)
2.17	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
2.35	c ==================================[MINISAT+]==================================
2.35	c | Conflicts | Original         | Learnt                           | Progress |
2.35	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.35	c ==============================================================================
2.35	c |         0 |   80035   160070 |   26678       0        0     nan |  0.000 % |
2.35	c ==============================================================================
2.35	c Found solution: -37
2.35	o -37
2.36	c ---[   0]---> Sorter-cost:63046     Base:
2.49	c ==================================[MINISAT+]==================================
2.49	c | Conflicts | Original         | Learnt                           | Progress |
2.49	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.49	c ==============================================================================
2.49	c |         0 |  147951   319392 |   49317       0        0     nan |  0.000 % |
2.74	c |       100 |  147312   318040 |   54248      57     1282    22.5 |  0.772 % |
3.02	c |       251 |  146773   316900 |   59673     187     2917    15.6 |  1.422 % |
3.49	c |       476 |  145213   313544 |   65640     368     5352    14.5 |  3.429 % |
4.00	c |       813 |  143505   309796 |   72205     621     8354    13.5 |  5.644 % |
5.03	c |      1320 |  139677   301273 |   79425    1008    13306    13.2 | 10.638 % |
6.01	c |      2079 |  135693   292365 |   87368    1543    19391    12.6 | 15.964 % |
7.60	c |      3218 |  129784   278974 |   96104    2359    29829    12.6 | 24.035 % |
9.83	c |      4926 |  122432   262085 |  105715    3616    48944    13.5 | 34.279 % |
12.71	c |      7488 |  111938   237654 |  116286    5258    69109    13.1 | 49.006 % |
15.98	c |     11332 |  101310   212553 |  127915    7785   111547    14.3 | 64.438 % |
17.80	c ==============================================================================
17.80	c Found solution: -38
17.80	o -38
17.81	c ---[   0]---> Sorter-cost:    0     Base:
17.89	c ==================================[MINISAT+]==================================
17.89	c | Conflicts | Original         | Learnt                           | Progress |
17.89	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
17.89	c ==============================================================================
17.89	c |     14084 |   96816   201835 |   32272    9412   143299    15.2 | 64.438 % |
17.92	c |     14184 |   96772   201727 |   35499    9499   144028    15.2 | 71.052 % |
18.01	c |     14334 |   96570   201231 |   39049    9550   144833    15.2 | 71.359 % |
18.13	c |     14560 |   96295   200569 |   42954    9703   147277    15.2 | 71.772 % |
18.28	c ==============================================================================
18.28	c Found solution: -40
18.28	o -40
18.30	c ---[   0]---> Sorter-cost:    0     Base:
18.38	c ==================================[MINISAT+]==================================
18.38	c | Conflicts | Original         | Learnt                           | Progress |
18.38	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
18.38	c ==============================================================================
18.38	c |     14788 |   96036   200007 |   32012    9819   147145    15.0 | 71.772 % |
18.42	c |     14888 |   96036   200007 |   35213    9919   148330    15.0 | 72.243 % |
18.45	c |     15038 |   96036   200007 |   38734   10069   149721    14.9 | 72.243 % |
18.53	c |     15263 |   96036   200007 |   42607   10294   154570    15.0 | 72.243 % |
18.66	c |     15600 |   95761   199378 |   46868   10569   160536    15.2 | 72.625 % |
18.92	c |     16106 |   95153   197892 |   51555   10886   169202    15.5 | 73.553 % |
19.21	c |     16865 |   94758   196946 |   56711   11525   181628    15.8 | 74.144 % |
19.69	c |     18004 |   94310   195868 |   62382   12430   205545    16.5 | 74.813 % |
20.26	c |     19713 |   94001   195126 |   68620   13894   265668    19.1 | 75.275 % |
21.46	c |     22276 |   92381   191245 |   75482   15687   319719    20.4 | 77.691 % |
22.86	c |     26120 |   91522   189173 |   83030   19074   495885    26.0 | 78.980 % |
23.68	c ==============================================================================
23.68	c Found solution: -41
23.68	o -41
23.69	c ---[   0]---> Sorter-cost:    0     Base:
23.78	c ==================================[MINISAT+]==================================
23.78	c | Conflicts | Original         | Learnt                           | Progress |
23.78	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
23.78	c ==============================================================================
23.78	c |     27853 |   91077   188149 |   30359   20461   588458    28.8 | 78.980 % |
23.82	c |     27953 |   91077   188149 |   33394   20561   590686    28.7 | 79.629 % |
23.90	c |     28103 |   91026   188021 |   36734   20631   592469    28.7 | 79.706 % |
23.98	c |     28328 |   91026   188021 |   40407   20856   599678    28.8 | 79.706 % |
24.10	c |     28665 |   91026   188021 |   44448   21193   622260    29.4 | 79.706 % |
24.32	c ==============================================================================
24.32	c Found solution: -42
24.32	o -42
24.33	c ---[   0]---> Sorter-cost:    0     Base:
24.42	c ==================================[MINISAT+]==================================
24.42	c | Conflicts | Original         | Learnt                           | Progress |
24.42	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
24.42	c ==============================================================================
24.42	c |     28969 |   90731   187263 |   30243   21322   628608    29.5 | 79.706 % |
24.48	c |     29069 |   90722   187240 |   33267   21414   632006    29.5 | 80.173 % |
24.56	c |     29219 |   90593   186934 |   36594   21396   633325    29.6 | 80.358 % |
24.68	c |     29445 |   90536   186795 |   40253   21617   652375    30.2 | 80.447 % |
24.85	c |     29782 |   90499   186706 |   44278   21904   668251    30.5 | 80.503 % |
25.13	c |     30289 |   90299   186216 |   48706   22108   682253    30.9 | 80.809 % |
25.43	c |     31048 |   90231   186060 |   53577   22782   711877    31.2 | 80.904 % |
26.02	c |     32187 |   89778   184940 |   58935   23599   766824    32.5 | 81.598 % |
26.63	c |     33896 |   89773   184929 |   64828   25280   869667    34.4 | 81.605 % |
27.79	c |     36458 |   89601   184511 |   71311   27781  1104154    39.7 | 81.868 % |
30.14	c |     40303 |   89001   183057 |   78442   30883  1452224    47.0 | 82.782 % |
33.30	c |     46069 |   88653   182193 |   86286   36261  1909440    52.7 | 83.326 % |
37.47	c ==============================================================================
37.47	c Found solution: -43
37.47	o -43
37.49	c ---[   0]---> Sorter-cost:    0     Base:
37.60	c ==================================[MINISAT+]==================================
37.60	c | Conflicts | Original         | Learnt                           | Progress |
37.60	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
37.60	c ==============================================================================
37.60	c |     53577 |   88651   182222 |   29550   43705  2561808    58.6 | 83.326 % |
37.66	c |     53677 |   88651   182222 |   32505   43805  2563789    58.5 | 83.359 % |
37.83	c |     53827 |   88622   182151 |   35755   43811  2568576    58.6 | 83.404 % |
37.99	c |     54052 |   88622   182151 |   39331   44036  2589935    58.8 | 83.404 % |
38.28	c |     54389 |   88537   181938 |   43264   44316  2602581    58.7 | 83.542 % |
38.66	c |     54895 |   88502   181851 |   47590   44743  2640960    59.0 | 83.598 % |
39.26	c |     55654 |   88489   181818 |   52349   45410  2688658    59.2 | 83.620 % |
40.36	c |     56795 |   88255   181245 |   57584   46245  2798146    60.5 | 83.970 % |
41.21	c |     58504 |   88255   181245 |   63343   47954  2931810    61.1 | 83.970 % |
43.22	c |     61066 |   88117   180910 |   69677   50021  3189748    63.8 | 84.181 % |
46.01	c |     64910 |   88088   180842 |   76645   53834  3616238    67.2 | 84.220 % |
50.19	c |     70676 |   88083   180831 |   84309   59598  4123646    69.2 | 84.226 % |
55.72	c ==============================================================================
55.72	c Found solution: -45
55.72	o -45
55.73	c ---[   0]---> Sorter-cost:    0     Base:
55.88	c ==================================[MINISAT+]==================================
55.88	c | Conflicts | Original         | Learnt                           | Progress |
55.88	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
55.88	c ==============================================================================
55.88	c |     76602 |   87920   180446 |   29306   64994  4731142    72.8 | 84.226 % |
56.00	c |     76704 |   87920   180446 |   32236   65096  4739491    72.8 | 84.488 % |
56.14	c |     76855 |   87920   180446 |   35460   65247  4745429    72.7 | 84.488 % |
56.38	c |     77080 |   87920   180446 |   39006   65472  4759519    72.7 | 84.488 % |
56.70	c |     77417 |   87920   180446 |   42906   65809  4783089    72.7 | 84.488 % |
57.19	c |     77924 |   87920   180446 |   47197   66316  4834519    72.9 | 84.488 % |
57.95	c |     78684 |   87915   180435 |   51917   67073  4915209    73.3 | 84.494 % |
59.27	c |     79823 |   87782   180128 |   57109   67701  5020176    74.2 | 84.681 % |
61.23	c |     81531 |   87629   179763 |   62820   69363  5207979    75.1 | 84.907 % |
63.66	c |     84093 |   87629   179763 |   69102   71925  5462668    75.9 | 84.907 % |
68.08	c |     87937 |   87629   179763 |   76012   75769  5852613    77.2 | 84.907 % |
73.80	c |     93703 |   87615   179727 |   83613   81487  6335995    77.8 | 84.931 % |
83.56	c |    102352 |   87615   179727 |   91974   90136  7289858    80.9 | 84.931 % |
100.45	c |    115328 |   87613   179723 |  101172  103111  8798918    85.3 | 84.933 % |
128.07	c |    134790 |   87540   179550 |  111289  122522 11000809    89.8 | 85.040 % |
177.89	c |    163982 |   87270   178893 |  122418  150898 14231492    94.3 | 85.455 % |
227.02	c |    207771 |   87197   178706 |  134660   54694  5876777   107.4 | 85.578 % |
332.41	c |    273455 |   87182   178671 |  148126  120376 10322069    85.7 | 85.599 % |
531.42	c |    371981 |   87177   178658 |  162938   51891  2115967    40.8 | 85.608 % |
798.88	c |    519771 |   87049   178354 |  179232  199664 15496049    77.6 | 85.793 % |
1092.25	c ==============================================================================
1092.25	c Found solution: -46
1092.25	o -46
1092.27	c ---[   0]---> Sorter-cost:    0     Base:
1092.60	c ==================================[MINISAT+]==================================
1092.60	c | Conflicts | Original         | Learnt                           | Progress |
1092.60	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1092.60	c ==============================================================================
1092.60	c |    701811 |   86901   177971 |   28967  182482 19502868   106.9 | 85.793 % |
1093.76	c |    701911 |   86901   177971 |   31863   22991  1347020    58.6 | 86.009 % |
1093.85	c |    702061 |   86901   177971 |   35050   23141  1358101    58.7 | 86.009 % |
1093.97	c |    702287 |   86895   177957 |   38555   23364  1366748    58.5 | 86.017 % |
1094.09	c |    702624 |   86895   177957 |   42410   23701  1379424    58.2 | 86.017 % |
1094.28	c |    703130 |   86895   177957 |   46651   24207  1396449    57.7 | 86.017 % |
1094.54	c |    703893 |   86895   177957 |   51316   24970  1445843    57.9 | 86.017 % |
1095.08	c |    705032 |   86895   177957 |   56448   26109  1529104    58.6 | 86.017 % |
1095.75	c |    706740 |   86843   177831 |   62093   27752  1618128    58.3 | 86.097 % |
1097.07	c |    709302 |   86840   177824 |   68302   30266  1883311    62.2 | 86.101 % |
1099.41	c |    713146 |   86836   177814 |   75132   34106  2413903    70.8 | 86.108 % |
1102.68	c |    718914 |   86828   177796 |   82646   39867  2923494    73.3 | 86.118 % |
1109.07	c |    727563 |   86823   177785 |   90910   48485  3902676    80.5 | 86.125 % |
1119.67	c |    740537 |   86725   177549 |  100001   61453  5190422    84.5 | 86.271 % |
1143.54	c |    759998 |   86725   177549 |  110002   80914  7702762    95.2 | 86.271 % |
1180.99	c |    789190 |   86708   177510 |  121002  110092 10692484    97.1 | 86.295 % |
1254.42	c |    832979 |   86706   177506 |  133102  153880 14874274    96.7 | 86.297 % |
1346.50	c |    898663 |   86706   177506 |  146412   66858  4322578    64.7 | 86.297 % |
1547.01	c |    997189 |   86694   177476 |  161054  165381  8276913    50.0 | 86.316 % |
1704.29	c ==============================================================================
1704.29	c Found solution: -47
1704.29	o -47
1704.31	c ---[   0]---> Sorter-cost:    0     Base:
1704.44	c ==================================[MINISAT+]==================================
1704.44	c | Conflicts | Original         | Learnt                           | Progress |
1704.44	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1704.44	c ==============================================================================
1704.44	c |   1080259 |   86725   177563 |   28908   71949  2423087    33.7 | 86.316 % |
1705.03	c |   1080360 |   86725   177563 |   31798   26210   656098    25.0 | 86.305 % |
1705.12	c |   1080510 |   86725   177563 |   34978   26360   662533    25.1 | 86.305 % |
1705.25	c |   1080735 |   86725   177563 |   38476   26585   673821    25.3 | 86.305 % |
1705.37	c |   1081074 |   86725   177563 |   42324   26924   682698    25.4 | 86.305 % |
1705.56	c |   1081582 |   86725   177563 |   46556   27432   709014    25.8 | 86.305 % |
1705.94	c |   1082341 |   86725   177563 |   51212   28191   776508    27.5 | 86.305 % |
1706.51	c |   1083480 |   86725   177563 |   56333   29330   849216    29.0 | 86.305 % |
1707.01	c |   1085188 |   86725   177563 |   61966   31038   913536    29.4 | 86.305 % |
1707.94	c |   1087750 |   86716   177540 |   68163   33595  1057290    31.5 | 86.320 % |
1709.55	c |   1091594 |   86667   177427 |   74979   37423  1327704    35.5 | 86.389 % |
1712.29	c |   1097360 |   86627   177330 |   82477   43158  1771846    41.1 | 86.449 % |
1717.77	c |   1106009 |   86618   177309 |   90725   51799  2717047    52.5 | 86.462 % |
1728.92	c |   1118985 |   86507   177033 |   99798   64752  4004424    61.8 | 86.635 % |
1747.82	c |   1138446 |   86458   176904 |  109778   84207  5682506    67.5 | 86.721 % |
1787.13	c |   1167639 |   86458   176904 |  120755  113400  7890896    69.6 | 86.721 % |
1801.26	c 
1801.26	c *** TERMINATED ***
1801.26	s SATISFIABLE
1801.26	v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 x1139 -x1138 -x1137 -x1136 -x1135 -x1134
1801.26	v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 x1119 -x1118 -x1117
1801.26	v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100
1801.26	v -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083
1801.26	v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066
1801.26	v -x1065 -x1064 -x1063 -x1062 -x1061 x1060 -x1059 -x1058 x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048
1801.26	v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 x1032 -x1031
1801.26	v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014
1801.26	v -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996
1801.26	v -x995 -x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 x976 -x975
1801.26	v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954
1801.26	v -x953 -x952 -x951 -x950 -x949 -x948 x947 -x946 -x945 -x944 -x943 -x942 -x941 x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933
1801.26	v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912
1801.26	v -x911 -x910 -x909 -x908 x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891
1801.26	v -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870
1801.26	v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849
1801.26	v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828
1801.26	v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807
1801.26	v -x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786
1801.26	v -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765
1801.26	v -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 x747 -x746 -x745 -x744
1801.26	v -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 x723
1801.26	v -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702
1801.26	v -x701 -x700 -x699 -x698 -x697 -x696 -x695 x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681
1801.26	v -x680 -x679 -x678 -x677 x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660
1801.26	v x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639
1801.26	v x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618
1801.26	v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597
1801.26	v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576
1801.26	v -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 -x555
1801.26	v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 x539 -x538 -x537 -x536 -x535 -x534
1801.26	v -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513
1801.26	v -x512 -x511 -x510 x509 -x508 -x507 -x506 -x505 -x504 x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492
1801.26	v -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471
1801.26	v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450
1801.26	v x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429
1801.26	v -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408
1801.26	v -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387
1801.26	v -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366
1801.26	v -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345
1801.26	v -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324
1801.26	v -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303
1801.26	v -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282
1801.26	v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261
1801.26	v -x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240
1801.26	v -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219
1801.26	v -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198
1801.26	v -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177
1801.26	v -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
1801.26	v -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135
1801.26	v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
1801.26	v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92
1801.26	v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66
1801.26	v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40
1801.26	v -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14
1801.26	v -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/node40/watcher-35630-1149298396 -o ROOT/results/node40/solver-35630-1149298396 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node40/35630-1149298396/instance-35630-1149298396.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.85 0.97 0.93 2/64 17782
/proc/meminfo: memFree=1828176/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=1180 CPUtime=0
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 123 0 0 0 0 0 0 0 19 0 1 0 195506092 1208320 108 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 295 108 67 215 0 77 0

[startup+10.0029 s]
/proc/loadavg: 0.87 0.97 0.93 2/64 17782
/proc/meminfo: memFree=1800592/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=30040 CPUtime=9.98
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 7182 0 0 0 986 12 0 0 25 0 1 0 195506092 30760960 6986 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 7510 6986 110 215 0 7292 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 30040

[startup+20.0092 s]
/proc/loadavg: 0.89 0.97 0.93 2/64 17782
/proc/meminfo: memFree=1800472/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=30420 CPUtime=19.98
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 7243 0 0 0 1986 12 0 0 25 0 1 0 195506092 31150080 7047 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 7605 7047 110 215 0 7387 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 30420

[startup+30.0155 s]
/proc/loadavg: 0.91 0.97 0.93 2/64 17782
/proc/meminfo: memFree=1800216/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=30848 CPUtime=29.98
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 7324 0 0 0 2986 12 0 0 25 0 1 0 195506092 31588352 7128 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582057 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 7712 7128 110 215 0 7494 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 30848

[startup+40.0209 s]
/proc/loadavg: 0.92 0.97 0.93 2/64 17782
/proc/meminfo: memFree=1794520/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=36648 CPUtime=39.99
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 8757 0 0 0 3985 14 0 0 25 0 1 0 195506092 37527552 8561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 9162 8561 110 215 0 8944 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 36648

[startup+50.0272 s]
/proc/loadavg: 0.93 0.97 0.93 2/64 17782
/proc/meminfo: memFree=1788568/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=42428 CPUtime=49.99
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 10246 0 0 0 4983 16 0 0 25 0 1 0 195506092 43446272 10050 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134586564 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 10607 10050 110 215 0 10389 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 42428

[startup+60.0335 s]
/proc/loadavg: 0.94 0.97 0.93 2/64 17782
/proc/meminfo: memFree=1784280/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=46872 CPUtime=60
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 11313 0 0 0 5982 18 0 0 25 0 1 0 195506092 47996928 11117 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 11718 11117 110 215 0 11500 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 46872

[startup+70.0398 s]
/proc/loadavg: 0.95 0.97 0.93 2/64 17782
/proc/meminfo: memFree=1780248/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=50900 CPUtime=70
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 12334 0 0 0 6982 18 0 0 25 0 1 0 195506092 52121600 12138 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 12725 12138 110 215 0 12507 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 50900

[startup+80.0461 s]
/proc/loadavg: 0.96 0.97 0.93 2/64 17782
/proc/meminfo: memFree=1776472/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=54596 CPUtime=80
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 13272 0 0 0 7981 19 0 0 25 0 1 0 195506092 55906304 13076 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 13649 13076 110 215 0 13431 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 54596

[startup+90.0524 s]
/proc/loadavg: 0.96 0.97 0.93 2/64 17782
/proc/meminfo: memFree=1771992/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=59200 CPUtime=90
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 14387 0 0 0 8980 20 0 0 25 0 1 0 195506092 60620800 14191 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 14800 14191 110 215 0 14582 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 59200

[startup+100.058 s]
/proc/loadavg: 0.97 0.97 0.93 2/64 17782
/proc/meminfo: memFree=1768408/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=62704 CPUtime=100
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 15276 0 0 0 9979 21 0 0 25 0 1 0 195506092 64208896 15080 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 15676 15080 110 215 0 15458 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 62704

[startup+110.064 s]
/proc/loadavg: 0.97 0.97 0.93 2/64 17782
/proc/meminfo: memFree=1765016/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=66108 CPUtime=110.01
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 16131 0 0 0 10979 22 0 0 25 0 1 0 195506092 67694592 15935 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 16527 15935 110 215 0 16309 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 66108

[startup+120.07 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 17782
/proc/meminfo: memFree=1761304/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=69756 CPUtime=120.02
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 17053 0 0 0 11978 24 0 0 25 0 1 0 195506092 71430144 16857 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 17439 16857 110 215 0 17221 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 69756

[startup+130.077 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 17784
/proc/meminfo: memFree=1758296/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=72756 CPUtime=130.02
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 17793 0 0 0 12977 25 0 0 25 0 1 0 195506092 74502144 17597 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 18189 17597 110 215 0 17971 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 72756

[startup+140.083 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 17784
/proc/meminfo: memFree=1755864/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=75120 CPUtime=140.02
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 18400 0 0 0 13976 26 0 0 25 0 1 0 195506092 76922880 18204 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580396 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 18780 18204 110 215 0 18562 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 75120

[startup+150.089 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 17784
/proc/meminfo: memFree=1752280/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=78780 CPUtime=150.02
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 19303 0 0 0 14975 27 0 0 25 0 1 0 195506092 80670720 19107 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134583962 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 19695 19107 110 215 0 19477 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 78780

[startup+160.095 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 17784
/proc/meminfo: memFree=1748824/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=82456 CPUtime=160.03
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 20164 0 0 0 15975 28 0 0 25 0 1 0 195506092 84434944 19968 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 20614 19968 110 215 0 20396 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 82456

[startup+170.101 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 17784
/proc/meminfo: memFree=1746456/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=84684 CPUtime=170.03
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 20741 0 0 0 16975 28 0 0 25 0 1 0 195506092 86716416 20545 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 21171 20545 110 215 0 20953 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 84684

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 17784
/proc/meminfo: memFree=1744088/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=87040 CPUtime=180.03
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 21334 0 0 0 17974 29 0 0 25 0 1 0 195506092 89128960 21138 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 21760 21138 110 215 0 21542 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 87040

[startup+190.113 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 17784
/proc/meminfo: memFree=1741656/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=89524 CPUtime=190.04
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 21953 0 0 0 18974 30 0 0 25 0 1 0 195506092 91672576 21757 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 22381 21757 110 215 0 22163 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 89524

[startup+200.12 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 17784
/proc/meminfo: memFree=1738520/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=92532 CPUtime=200.04
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 22731 0 0 0 19973 31 0 0 25 0 1 0 195506092 94752768 22535 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581042 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 23133 22535 110 215 0 22915 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 92532

[startup+210.126 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 17784
/proc/meminfo: memFree=1738008/2055920 swapFree=4181324/4192956

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

[pid=17782] ppid=17780 vsize=114236 CPUtime=1781.48
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 178099 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (Kb) 114236

[startup+1783.17 s]
/proc/loadavg: 1.03 0.99 0.94 2/64 18455
/proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=114236 CPUtime=1782.49
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 178200 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1782.49
Current children cumulated vsize (Kb) 114236

[startup+1784.17 s]
/proc/loadavg: 1.03 0.99 0.94 2/64 18455
/proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=114236 CPUtime=1783.49
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 178300 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1783.49
Current children cumulated vsize (Kb) 114236

[startup+1785.18 s]
/proc/loadavg: 1.03 0.99 0.94 2/64 18455
/proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=114236 CPUtime=1784.5
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 178401 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1784.5
Current children cumulated vsize (Kb) 114236

[startup+1786.18 s]
/proc/loadavg: 1.03 0.99 0.94 2/64 18455
/proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=114236 CPUtime=1785.5
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 178501 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1785.5
Current children cumulated vsize (Kb) 114236

[startup+1787.19 s]
/proc/loadavg: 1.03 0.99 0.94 2/64 18455
/proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=114236 CPUtime=1786.51
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 178602 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1786.51
Current children cumulated vsize (Kb) 114236

[startup+1788.19 s]
/proc/loadavg: 1.03 0.99 0.94 2/64 18455
/proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=114236 CPUtime=1787.51
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 178702 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1787.51
Current children cumulated vsize (Kb) 114236

[startup+1789.2 s]
/proc/loadavg: 1.03 0.99 0.94 2/64 18455
/proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=114236 CPUtime=1788.52
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 178803 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1788.52
Current children cumulated vsize (Kb) 114236

[startup+1790.2 s]
/proc/loadavg: 1.03 0.99 0.94 2/64 18455
/proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=114236 CPUtime=1789.52
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 178903 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574387 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1789.52
Current children cumulated vsize (Kb) 114236

[startup+1791.21 s]
/proc/loadavg: 1.03 0.99 0.94 2/64 18455
/proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=114236 CPUtime=1790.53
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 179004 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1790.53
Current children cumulated vsize (Kb) 114236

[startup+1792.21 s]
/proc/loadavg: 1.03 0.99 0.94 2/64 18455
/proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=114236 CPUtime=1791.53
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 179104 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (Kb) 114236

[startup+1793.22 s]
/proc/loadavg: 1.03 0.99 0.94 2/64 18455
/proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=114236 CPUtime=1792.54
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 179205 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1792.54
Current children cumulated vsize (Kb) 114236

[startup+1794.22 s]
/proc/loadavg: 1.03 0.99 0.94 2/64 18455
/proc/meminfo: memFree=1689048/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=114236 CPUtime=1793.54
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 179305 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1793.54
Current children cumulated vsize (Kb) 114236

[startup+1795.23 s]
/proc/loadavg: 1.02 0.99 0.94 2/64 18455
/proc/meminfo: memFree=1689112/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=114236 CPUtime=1794.54
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 179405 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (Kb) 114236

[startup+1796.23 s]
/proc/loadavg: 1.02 0.99 0.94 2/64 18455
/proc/meminfo: memFree=1689112/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=114236 CPUtime=1795.55
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 179506 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1795.55
Current children cumulated vsize (Kb) 114236

[startup+1797.24 s]
/proc/loadavg: 1.02 0.99 0.94 2/64 18455
/proc/meminfo: memFree=1689112/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=114236 CPUtime=1796.55
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 179606 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581017 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1796.55
Current children cumulated vsize (Kb) 114236

[startup+1798.24 s]
/proc/loadavg: 1.02 0.99 0.94 2/64 18455
/proc/meminfo: memFree=1689112/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=114236 CPUtime=1797.56
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 179707 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (Kb) 114236

[startup+1799.25 s]
/proc/loadavg: 1.02 0.99 0.94 2/64 18455
/proc/meminfo: memFree=1689112/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=114236 CPUtime=1798.56
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 179807 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1798.56
Current children cumulated vsize (Kb) 114236

[startup+1800.25 s]
/proc/loadavg: 1.02 0.99 0.94 2/64 18455
/proc/meminfo: memFree=1689112/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=114236 CPUtime=1799.57
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 179908 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (Kb) 114236

[startup+1801.26 s]
/proc/loadavg: 1.02 0.99 0.94 2/64 18455
/proc/meminfo: memFree=1689112/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=114236 CPUtime=1800.57
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 180008 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (Kb) 114236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.26 s]
/proc/loadavg: 1.02 0.99 0.94 2/64 18455
/proc/meminfo: memFree=1689112/2055920 swapFree=4181324/4192956
[pid=17782] ppid=17780 vsize=114236 CPUtime=1800.58
/proc/17782/stat : 17782 (minisat+) R 17780 17782 17736 0 -1 4194304 28067 0 0 0 180009 49 0 0 25 0 1 0 195506092 116977664 27871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17782/statm: 28559 27871 110 215 0 28341 0
Current children cumulated CPU time (s) 1800.58
Current children cumulated vsize (Kb) 114236

Sending SIGTERM to -17782
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.29
CPU time (s): 1800.61
CPU user time (s): 1800.09
CPU system time (s): 0.514921
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (Kb): 114236

Launcher Data (download as text)

Begin job on node40 on Sat Jun  3 01:33:16 UTC 2006


FILE ID= 35630-1149298396

PBS_JOBID= 307241

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node40/35630-1149298396/instance-35630-1149298396.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node40/watcher-35630-1149298396 -o ROOT/results/node40/solver-35630-1149298396 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node40/35630-1149298396/instance-35630-1149298396.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  32f273c48805c1e726044ae006778010

RANDOM SEED= 420353574


/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.245
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.245
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:       1828448 kB
Buffers:         21868 kB
Cached:         135188 kB
SwapCached:       3492 kB
Active:          45432 kB
Inactive:       120500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1828448 kB
SwapTotal:     4192956 kB
SwapFree:      4181324 kB
Dirty:             232 kB
Writeback:           0 kB
Mapped:          14972 kB
Slab:            47576 kB
Committed_AS:   346500 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node40 on Sat Jun  3 02:03:19 UTC 2006