Trace number 35632

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14SAT (TO)-45 1800.48 1801.22

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	-45

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/node59/watcher-35632-1149298673 -o ROOT/results/node59/solver-35632-1149298673 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node59/35632-1149298673/instance-35632-1149298673.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.95 0.95 3/64 1859
/proc/meminfo: memFree=1565896/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=1312 CPUtime=0
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 152 0 0 0 0 0 0 0 19 0 1 0 195535530 1343488 137 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 328 139 68 215 0 110 0

[startup+10.0022 s]
/proc/loadavg: 0.87 0.95 0.95 2/64 1859
/proc/meminfo: memFree=1538000/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=30264 CPUtime=9.99
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 7235 0 0 0 989 10 0 0 25 0 1 0 195535530 30990336 7039 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588661 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 7566 7039 110 215 0 7348 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 30264

[startup+20.0081 s]
/proc/loadavg: 0.89 0.95 0.95 2/64 1859
/proc/meminfo: memFree=1537808/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=30644 CPUtime=19.99
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 7294 0 0 0 1989 10 0 0 25 0 1 0 195535530 31379456 7098 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580991 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 7661 7098 110 215 0 7443 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 30644

[startup+30.014 s]
/proc/loadavg: 0.90 0.95 0.95 2/64 1859
/proc/meminfo: memFree=1537808/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=30644 CPUtime=29.99
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 7295 0 0 0 2989 10 0 0 25 0 1 0 195535530 31379456 7099 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575418 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 7661 7099 110 215 0 7443 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 30644

[startup+40.02 s]
/proc/loadavg: 0.92 0.95 0.95 2/64 1859
/proc/meminfo: memFree=1531472/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=37280 CPUtime=39.99
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 8926 0 0 0 3988 11 0 0 25 0 1 0 195535530 38174720 8730 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581428 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 9320 8730 110 215 0 9102 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 37280

[startup+50.0259 s]
/proc/loadavg: 0.93 0.96 0.95 2/64 1859
/proc/meminfo: memFree=1526032/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=42672 CPUtime=49.99
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 10286 0 0 0 4986 13 0 0 25 0 1 0 195535530 43696128 10090 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 10668 10090 110 215 0 10450 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 42672

[startup+60.0318 s]
/proc/loadavg: 0.94 0.96 0.95 2/64 1859
/proc/meminfo: memFree=1520720/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=48032 CPUtime=59.99
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 11610 0 0 0 5985 14 0 0 25 0 1 0 195535530 49184768 11414 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 12008 11414 110 215 0 11790 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 48032

[startup+70.0377 s]
/proc/loadavg: 0.95 0.96 0.95 2/64 1859
/proc/meminfo: memFree=1516176/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=52620 CPUtime=70
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 12754 0 0 0 6984 16 0 0 25 0 1 0 195535530 53882880 12558 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 13155 12558 110 215 0 12937 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 52620

[startup+80.0465 s]
/proc/loadavg: 0.96 0.96 0.95 2/64 1859
/proc/meminfo: memFree=1512080/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=56548 CPUtime=80
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 13762 0 0 0 7983 17 0 0 25 0 1 0 195535530 57905152 13566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 14137 13566 110 215 0 13919 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 56548

[startup+90.0526 s]
/proc/loadavg: 0.96 0.96 0.95 2/64 1859
/proc/meminfo: memFree=1510672/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=57900 CPUtime=90.01
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 14112 0 0 0 8983 18 0 0 25 0 1 0 195535530 59289600 13916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580828 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 14475 13916 110 215 0 14257 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 57900

[startup+100.059 s]
/proc/loadavg: 0.97 0.96 0.95 2/64 1859
/proc/meminfo: memFree=1510672/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=57900 CPUtime=100.01
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 14112 0 0 0 9983 18 0 0 25 0 1 0 195535530 59289600 13916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574185 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 14475 13916 110 215 0 14257 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 57900

[startup+110.064 s]
/proc/loadavg: 0.97 0.96 0.95 2/64 1859
/proc/meminfo: memFree=1510672/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=57900 CPUtime=110.01
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 14112 0 0 0 10983 18 0 0 25 0 1 0 195535530 59289600 13916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134583960 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 14475 13916 110 215 0 14257 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 57900

[startup+120.07 s]
/proc/loadavg: 0.98 0.96 0.95 2/64 1859
/proc/meminfo: memFree=1510672/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=57900 CPUtime=120.01
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 14112 0 0 0 11983 18 0 0 25 0 1 0 195535530 59289600 13916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 14475 13916 110 215 0 14257 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 57900

[startup+130.076 s]
/proc/loadavg: 0.98 0.96 0.95 3/64 1859
/proc/meminfo: memFree=1508688/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=59872 CPUtime=130.02
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 14607 0 0 0 12983 19 0 0 25 0 1 0 195535530 61308928 14411 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 14968 14411 110 215 0 14750 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 59872

[startup+140.082 s]
/proc/loadavg: 0.98 0.96 0.95 2/64 1859
/proc/meminfo: memFree=1504272/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=64316 CPUtime=140.01
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 15702 0 0 0 13981 20 0 0 25 0 1 0 195535530 65859584 15506 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 16079 15506 110 215 0 15861 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 64316

[startup+150.088 s]
/proc/loadavg: 0.98 0.97 0.95 2/64 1859
/proc/meminfo: memFree=1499024/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=69544 CPUtime=150.01
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 17023 0 0 0 14980 21 0 0 25 0 1 0 195535530 71213056 16827 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 17386 16827 110 215 0 17168 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 69544

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 1859
/proc/meminfo: memFree=1494800/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=73920 CPUtime=160.02
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 18066 0 0 0 15979 23 0 0 25 0 1 0 195535530 75694080 17870 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 18480 17870 110 215 0 18262 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 73920

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 1859
/proc/meminfo: memFree=1490704/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=78080 CPUtime=170.02
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 19098 0 0 0 16978 24 0 0 25 0 1 0 195535530 79953920 18902 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 19520 18902 110 215 0 19302 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 78080

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 1859
/proc/meminfo: memFree=1486864/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=81748 CPUtime=180.02
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 20047 0 0 0 17977 25 0 0 25 0 1 0 195535530 83709952 19851 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580854 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 20437 19851 110 215 0 20219 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 81748

[startup+190.114 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 1859
/proc/meminfo: memFree=1483920/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=84764 CPUtime=190.03
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 20782 0 0 0 18977 26 0 0 25 0 1 0 195535530 86798336 20586 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 21191 20586 110 215 0 20973 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 84764

[startup+200.12 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 1859
/proc/meminfo: memFree=1480784/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=87768 CPUtime=200.03
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 21567 0 0 0 19976 27 0 0 25 0 1 0 195535530 89874432 21371 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 21942 21371 110 215 0 21724 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 87768

[startup+210.127 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 1859
/proc/meminfo: memFree=1477072/2055920 swapFree=4180876/4192956

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

[pid=1859] ppid=1857 vsize=172904 CPUtime=1781.35
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 42741 0 0 0 178080 55 0 0 25 0 1 0 195535530 177053696 42545 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577337 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 43226 42545 110 215 0 43008 0
Current children cumulated CPU time (s) 1781.35
Current children cumulated vsize (Kb) 172904

[startup+1783.09 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 2551
/proc/meminfo: memFree=1393680/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=173164 CPUtime=1782.36
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 42810 0 0 0 178180 56 0 0 25 0 1 0 195535530 177319936 42614 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 43291 42614 110 215 0 43073 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (Kb) 173164

[startup+1784.09 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 2551
/proc/meminfo: memFree=1393424/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=173428 CPUtime=1783.36
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 42875 0 0 0 178280 56 0 0 25 0 1 0 195535530 177590272 42679 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580747 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 43357 42679 110 215 0 43139 0
Current children cumulated CPU time (s) 1783.36
Current children cumulated vsize (Kb) 173428

[startup+1785.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 2551
/proc/meminfo: memFree=1393168/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=173688 CPUtime=1784.37
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 42939 0 0 0 178381 56 0 0 25 0 1 0 195535530 177856512 42743 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 43422 42743 110 215 0 43204 0
Current children cumulated CPU time (s) 1784.37
Current children cumulated vsize (Kb) 173688

[startup+1786.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 2551
/proc/meminfo: memFree=1392912/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=173944 CPUtime=1785.37
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43004 0 0 0 178481 56 0 0 25 0 1 0 195535530 178118656 42808 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 43486 42808 110 215 0 43268 0
Current children cumulated CPU time (s) 1785.37
Current children cumulated vsize (Kb) 173944

[startup+1787.11 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 2551
/proc/meminfo: memFree=1392656/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=174076 CPUtime=1786.38
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43064 0 0 0 178582 56 0 0 25 0 1 0 195535530 178253824 42868 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 43519 42868 110 215 0 43301 0
Current children cumulated CPU time (s) 1786.38
Current children cumulated vsize (Kb) 174076

[startup+1788.11 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 2551
/proc/meminfo: memFree=1392400/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=174332 CPUtime=1787.38
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43117 0 0 0 178682 56 0 0 25 0 1 0 195535530 178515968 42921 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 43583 42921 110 215 0 43365 0
Current children cumulated CPU time (s) 1787.38
Current children cumulated vsize (Kb) 174332

[startup+1789.12 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 2551
/proc/meminfo: memFree=1392208/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=174592 CPUtime=1788.39
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43168 0 0 0 178783 56 0 0 25 0 1 0 195535530 178782208 42972 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 43648 42972 110 215 0 43430 0
Current children cumulated CPU time (s) 1788.39
Current children cumulated vsize (Kb) 174592

[startup+1790.12 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 2551
/proc/meminfo: memFree=1391952/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=174860 CPUtime=1789.39
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43228 0 0 0 178883 56 0 0 25 0 1 0 195535530 179056640 43032 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 43715 43032 110 215 0 43497 0
Current children cumulated CPU time (s) 1789.39
Current children cumulated vsize (Kb) 174860

[startup+1791.13 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 2551
/proc/meminfo: memFree=1391760/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=174988 CPUtime=1790.39
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43281 0 0 0 178983 56 0 0 25 0 1 0 195535530 179187712 43085 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 43747 43085 110 215 0 43529 0
Current children cumulated CPU time (s) 1790.39
Current children cumulated vsize (Kb) 174988

[startup+1792.13 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 2551
/proc/meminfo: memFree=1391632/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=175120 CPUtime=1791.4
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43323 0 0 0 179084 56 0 0 25 0 1 0 195535530 179322880 43127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 43780 43127 110 215 0 43562 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (Kb) 175120

[startup+1793.14 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 2551
/proc/meminfo: memFree=1391376/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=175384 CPUtime=1792.4
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43371 0 0 0 179184 56 0 0 25 0 1 0 195535530 179593216 43175 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 43846 43175 110 215 0 43628 0
Current children cumulated CPU time (s) 1792.4
Current children cumulated vsize (Kb) 175384

[startup+1794.14 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 2551
/proc/meminfo: memFree=1391184/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=175640 CPUtime=1793.41
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43426 0 0 0 179285 56 0 0 25 0 1 0 195535530 179855360 43230 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 43910 43230 110 215 0 43692 0
Current children cumulated CPU time (s) 1793.41
Current children cumulated vsize (Kb) 175640

[startup+1795.15 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 2551
/proc/meminfo: memFree=1390992/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=175772 CPUtime=1794.41
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43478 0 0 0 179385 56 0 0 25 0 1 0 195535530 179990528 43282 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 43943 43282 110 215 0 43725 0
Current children cumulated CPU time (s) 1794.41
Current children cumulated vsize (Kb) 175772

[startup+1796.15 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 2551
/proc/meminfo: memFree=1390800/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=176032 CPUtime=1795.41
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43526 0 0 0 179485 56 0 0 25 0 1 0 195535530 180256768 43330 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 44008 43330 110 215 0 43790 0
Current children cumulated CPU time (s) 1795.41
Current children cumulated vsize (Kb) 176032

[startup+1797.16 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 2551
/proc/meminfo: memFree=1390544/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=176164 CPUtime=1796.42
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43581 0 0 0 179586 56 0 0 25 0 1 0 195535530 180391936 43385 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 44041 43385 110 215 0 43823 0
Current children cumulated CPU time (s) 1796.42
Current children cumulated vsize (Kb) 176164

[startup+1798.16 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 2551
/proc/meminfo: memFree=1390352/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=176424 CPUtime=1797.42
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43640 0 0 0 179686 56 0 0 25 0 1 0 195535530 180658176 43444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 44106 43444 110 215 0 43888 0
Current children cumulated CPU time (s) 1797.42
Current children cumulated vsize (Kb) 176424

[startup+1799.17 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 2551
/proc/meminfo: memFree=1390096/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=176680 CPUtime=1798.43
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43695 0 0 0 179786 57 0 0 25 0 1 0 195535530 180920320 43499 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572734 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 44170 43499 110 215 0 43952 0
Current children cumulated CPU time (s) 1798.43
Current children cumulated vsize (Kb) 176680

[startup+1800.17 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 2551
/proc/meminfo: memFree=1389840/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=176940 CPUtime=1799.44
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43760 0 0 0 179887 57 0 0 25 0 1 0 195535530 181186560 43564 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579855 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 44235 43564 110 215 0 44017 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (Kb) 176940

[startup+1801.18 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 2551
/proc/meminfo: memFree=1389648/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=177196 CPUtime=1800.44
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43814 0 0 0 179987 57 0 0 25 0 1 0 195535530 181448704 43618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 44299 43618 110 215 0 44081 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (Kb) 177196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.18 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 2551
/proc/meminfo: memFree=1389648/2055920 swapFree=4180876/4192956
[pid=1859] ppid=1857 vsize=177196 CPUtime=1800.45
/proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43814 0 0 0 179988 57 0 0 25 0 1 0 195535530 181448704 43618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1859/statm: 44299 43618 110 215 0 44081 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (Kb) 177196

Sending SIGTERM to -1859
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.22
CPU time (s): 1800.48
CPU user time (s): 1799.88
CPU system time (s): 0.600908
CPU usage (%): 99.9593
Max. virtual memory (cumulated for all children) (Kb): 177196

Launcher Data (download as text)

Begin job on node59 on Sat Jun  3 01:37:53 UTC 2006


FILE ID= 35632-1149298673

PBS_JOBID= 307262

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

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  669011fc499ae56e44c354cc6cddc4c7

RANDOM SEED= 237263125


/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.272
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.272
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:       1566104 kB
Buffers:         34176 kB
Cached:         383884 kB
SwapCached:       3744 kB
Active:          32332 kB
Inactive:       394380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1566104 kB
SwapTotal:     4192956 kB
SwapFree:      4180876 kB
Dirty:             224 kB
Writeback:           0 kB
Mapped:          14732 kB
Slab:            49172 kB
Committed_AS:   297288 kB
PageTables:       1492 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node59 on Sat Jun  3 02:07:54 UTC 2006