Trace number 35628

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)-46 1800.54 1801.2

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb
MD5SUMdc857dc123c51e1f53f981679774fda8
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.55
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 constraints80072
Number of constraints which are clauses80072
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1150
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00	c Parsing PB file...
2.16	c Converting 80072 PB-constraints to clauses...
2.17	c   -- Unit propagations: (none)
2.17	c   -- Detecting intervals from adjacent constraints: (none)
2.17	c   -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
2.35	c ==================================[MINISAT+]==================================
2.35	c | Conflicts | Original         | Learnt                           | Progress |
2.35	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.35	c ==============================================================================
2.35	c |         0 |   80072   160144 |   26690       0        0     nan |  0.000 % |
2.35	c ==============================================================================
2.35	c Found solution: -37
2.35	o -37
2.36	c ---[   0]---> Sorter-cost:63046     Base:
2.50	c ==================================[MINISAT+]==================================
2.50	c | Conflicts | Original         | Learnt                           | Progress |
2.50	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.50	c ==============================================================================
2.50	c |         0 |  147988   319466 |   49329       0        0     nan |  0.000 % |
2.78	c |       100 |  147362   318162 |   54261      77      551     7.2 |  0.736 % |
3.02	c |       250 |  146841   317054 |   59688     209     2448    11.7 |  1.369 % |
3.35	c |       475 |  145811   314812 |   65656     398     4382    11.0 |  2.680 % |
3.90	c |       812 |  144010   310871 |   72222     677     8303    12.3 |  4.995 % |
4.70	c |      1318 |  141157   304558 |   79444    1060    12573    11.9 |  8.737 % |
5.79	c |      2077 |  136776   294746 |   87389    1627    19630    12.1 | 14.610 % |
7.40	c |      3216 |  131215   282210 |   96128    2497    29631    11.9 | 22.142 % |
9.61	c |      4924 |  123727   265107 |  105741    3779    49504    13.1 | 32.476 % |
11.52	c ==============================================================================
11.52	c Found solution: -39
11.52	o -39
11.54	c ---[   0]---> Sorter-cost:    0     Base:
11.61	c ==================================[MINISAT+]==================================
11.61	c | Conflicts | Original         | Learnt                           | Progress |
11.61	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
11.61	c ==============================================================================
11.61	c |      6427 |  116683   248991 |   38894    4766    61496    12.9 | 32.476 % |
11.76	c |      6527 |  116204   247870 |   42783    4831    62291    12.9 | 43.100 % |
11.92	c |      6677 |  115663   246594 |   47061    4934    63665    12.9 | 43.849 % |
12.15	c |      6902 |  114831   244655 |   51767    5110    65775    12.9 | 44.973 % |
12.51	c |      7239 |  113564   241690 |   56944    5351    69474    13.0 | 46.827 % |
13.09	c |      7746 |  111539   236942 |   62639    5688    74185    13.0 | 49.645 % |
13.90	c |      8505 |  108258   229196 |   68903    6014    79861    13.3 | 54.380 % |
14.66	c |      9645 |  106402   224792 |   75793    6813    92319    13.6 | 57.095 % |
15.93	c |     11355 |  103049   216804 |   83372    7947   113001    14.2 | 62.021 % |
17.67	c |     13917 |   98383   205681 |   91710    9480   147925    15.6 | 68.784 % |
19.72	c |     17761 |   94811   197102 |  100881   12081   211420    17.5 | 74.113 % |
22.24	c |     23527 |   91940   190193 |  110969   16325   396509    24.3 | 78.405 % |
23.39	c ==============================================================================
23.39	c Found solution: -40
23.39	o -40
23.41	c ---[   0]---> Sorter-cost:    0     Base:
23.49	c ==================================[MINISAT+]==================================
23.49	c | Conflicts | Original         | Learnt                           | Progress |
23.49	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
23.49	c ==============================================================================
23.49	c |     26517 |   91505   189103 |   30501   18993   511336    26.9 | 78.405 % |
23.54	c |     26617 |   91453   188977 |   33551   19046   513223    26.9 | 79.155 % |
23.59	c |     26767 |   91403   188856 |   36906   19147   514654    26.9 | 79.230 % |
23.66	c |     26993 |   91347   188722 |   40596   19332   517806    26.8 | 79.308 % |
23.76	c |     27330 |   91347   188722 |   44656   19669   531077    27.0 | 79.308 % |
23.92	c |     27836 |   91347   188722 |   49122   20175   549790    27.3 | 79.308 % |
24.18	c |     28595 |   91336   188697 |   54034   20920   586573    28.0 | 79.323 % |
24.68	c |     29734 |   91040   187971 |   59437   21902   671987    30.7 | 79.772 % |
25.34	c |     31442 |   91021   187926 |   65381   23576   759400    32.2 | 79.800 % |
26.31	c |     34004 |   90924   187692 |   71919   26012   920916    35.4 | 79.947 % |
27.89	c ==============================================================================
27.89	c Found solution: -42
27.89	o -42
27.91	c ---[   0]---> Sorter-cost:    0     Base:
28.00	c ==================================[MINISAT+]==================================
28.00	c | Conflicts | Original         | Learnt                           | Progress |
28.00	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
28.00	c ==============================================================================
28.00	c |     37368 |   90426   186513 |   30142   28875  1073664    37.2 | 79.947 % |
28.11	c |     37468 |   90272   186133 |   33156   28788  1071210    37.2 | 80.912 % |
28.20	c |     37618 |   90272   186133 |   36471   28938  1078094    37.3 | 80.912 % |
28.38	c |     37845 |   90055   185604 |   40119   28990  1084507    37.4 | 81.229 % |
28.69	c |     38182 |   89765   184919 |   44130   29091  1093267    37.6 | 81.654 % |
28.98	c |     38690 |   89677   184699 |   48543   29419  1114490    37.9 | 81.794 % |
29.32	c |     39449 |   89637   184597 |   53398   30143  1175417    39.0 | 81.859 % |
29.84	c |     40590 |   89554   184394 |   58738   31209  1251534    40.1 | 81.988 % |
30.72	c |     42298 |   89419   184073 |   64612   32883  1358367    41.3 | 82.189 % |
32.10	c |     44861 |   89408   184048 |   71073   35430  1659938    46.9 | 82.204 % |
34.23	c |     48706 |   89194   183528 |   78180   38940  1937517    49.8 | 82.527 % |
37.82	c |     54473 |   89111   183331 |   85998   44007  2548488    57.9 | 82.650 % |
43.75	c |     63122 |   88944   182914 |   94598   52476  3364323    64.1 | 82.920 % |
55.29	c |     76097 |   88814   182580 |  104058   65300  4943713    75.7 | 83.140 % |
57.09	c ==============================================================================
57.09	c Found solution: -43
57.09	o -43
57.11	c ---[   0]---> Sorter-cost:    0     Base:
57.26	c ==================================[MINISAT+]==================================
57.26	c | Conflicts | Original         | Learnt                           | Progress |
57.26	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
57.26	c ==============================================================================
57.26	c |     77862 |   88826   182643 |   29608   67005  5167051    77.1 | 83.140 % |
57.51	c |     77964 |   88784   182545 |   32568   67090  5171321    77.1 | 83.214 % |
57.65	c |     78114 |   88784   182545 |   35825   67240  5180522    77.0 | 83.214 % |
57.93	c |     78339 |   88743   182450 |   39408   67391  5196716    77.1 | 83.270 % |
58.32	c |     78678 |   88708   182365 |   43349   67686  5220332    77.1 | 83.324 % |
58.90	c |     79184 |   88704   182355 |   47683   68174  5263297    77.2 | 83.330 % |
59.96	c |     79943 |   88664   182255 |   52452   68714  5301058    77.1 | 83.395 % |
61.20	c |     81082 |   88585   182068 |   57697   69580  5394262    77.5 | 83.511 % |
62.96	c |     82790 |   88519   181910 |   63467   71223  5554743    78.0 | 83.610 % |
65.51	c |     85352 |   88517   181906 |   69814   73749  5848295    79.3 | 83.612 % |
70.11	c |     89198 |   88366   181535 |   76795   77183  6388766    82.8 | 83.847 % |
77.61	c |     94964 |   88258   181285 |   84475   82844  7485378    90.4 | 83.993 % |
81.36	c ==============================================================================
81.36	c Found solution: -44
81.36	o -44
81.38	c ---[   0]---> Sorter-cost:    0     Base:
81.56	c ==================================[MINISAT+]==================================
81.56	c | Conflicts | Original         | Learnt                           | Progress |
81.56	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
81.56	c ==============================================================================
81.56	c |     98263 |   88158   181016 |   29386   85817  7763842    90.5 | 83.993 % |
81.81	c |     98364 |   88158   181016 |   32324   22455  2013545    89.7 | 84.158 % |
81.89	c |     98514 |   88158   181016 |   35557   22605  2027056    89.7 | 84.158 % |
81.97	c |     98740 |   88158   181016 |   39112   22831  2038443    89.3 | 84.158 % |
82.17	c |     99077 |   88158   181016 |   43024   23168  2078602    89.7 | 84.158 % |
82.44	c |     99583 |   88158   181016 |   47326   23674  2126008    89.8 | 84.158 % |
82.85	c |    100342 |   88158   181016 |   52059   24433  2186274    89.5 | 84.158 % |
83.50	c |    101484 |   88150   180996 |   57265   25550  2295749    89.9 | 84.170 % |
84.60	c |    103195 |   88096   180868 |   62991   27218  2436552    89.5 | 84.250 % |
86.18	c |    105757 |   88096   180868 |   69290   29780  2702781    90.8 | 84.250 % |
88.49	c |    109601 |   88046   180746 |   76219   33602  3048134    90.7 | 84.328 % |
92.98	c |    115367 |   88046   180746 |   83841   39368  3668323    93.2 | 84.328 % |
99.71	c |    124016 |   88046   180746 |   92225   48017  4913028   102.3 | 84.328 % |
112.94	c |    136990 |   87949   180511 |  101448   60968  6988775   114.6 | 84.476 % |
135.77	c |    156451 |   87902   180392 |  111593   80363  9395711   116.9 | 84.553 % |
149.65	c ==============================================================================
149.65	c Found solution: -45
149.65	o -45
149.67	c ---[   0]---> Sorter-cost:    0     Base:
149.88	c ==================================[MINISAT+]==================================
149.88	c | Conflicts | Original         | Learnt                           | Progress |
149.88	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
149.88	c ==============================================================================
149.88	c |    166657 |   87834   180240 |   29278   90507 10717436   118.4 | 84.553 % |
150.15	c |    166757 |   87834   180240 |   32205   23788  1691897    71.1 | 84.668 % |
150.26	c |    166907 |   87789   180133 |   35426   23933  1702187    71.1 | 84.735 % |
150.38	c |    167132 |   87789   180133 |   38969   24158  1720163    71.2 | 84.735 % |
150.61	c |    167470 |   87789   180133 |   42865   24496  1758488    71.8 | 84.735 % |
151.07	c |    167976 |   87628   179729 |   47152   24984  1795588    71.9 | 84.980 % |
151.61	c |    168736 |   87561   179560 |   51867   25707  1847965    71.9 | 85.083 % |
152.34	c |    169875 |   87561   179560 |   57054   26846  1997820    74.4 | 85.083 % |
153.31	c |    171583 |   87555   179546 |   62759   28551  2143274    75.1 | 85.092 % |
154.69	c |    174145 |   87543   179518 |   69035   31109  2357991    75.8 | 85.109 % |
157.52	c |    177989 |   87543   179518 |   75939   34953  2874390    82.2 | 85.109 % |
162.01	c |    183757 |   87535   179500 |   83533   40698  3596006    88.4 | 85.120 % |
170.71	c |    192406 |   87535   179500 |   91886   49347  4807829    97.4 | 85.120 % |
183.58	c |    205380 |   87464   179337 |  101075   62280  6436341   103.3 | 85.217 % |
207.96	c |    224841 |   87464   179337 |  111183   81741  9073077   111.0 | 85.217 % |
257.13	c |    254033 |   87464   179337 |  122301  110933 13542456   122.1 | 85.217 % |
349.23	c |    297822 |   87384   179141 |  134531  154625 20442372   132.2 | 85.339 % |
440.82	c |    363506 |   87216   178745 |  147984   67514  7609443   112.7 | 85.584 % |
505.70	c ==============================================================================
505.70	c Found solution: -46
505.70	o -46
505.71	c ---[   0]---> Sorter-cost:    0     Base:
505.96	c ==================================[MINISAT+]==================================
505.96	c | Conflicts | Original         | Learnt                           | Progress |
505.96	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
505.96	c ==============================================================================
505.96	c |    411751 |   87018   178221 |   29006  115674 13737610   118.8 | 85.584 % |
506.52	c |    411851 |   87018   178221 |   31906   21029  1773539    84.3 | 85.899 % |
506.58	c |    412001 |   87018   178221 |   35097   21179  1780724    84.1 | 85.899 % |
506.70	c |    412226 |   87018   178221 |   38606   21404  1796727    83.9 | 85.899 % |
506.86	c |    412563 |   87018   178221 |   42467   21741  1823239    83.9 | 85.899 % |
507.11	c |    413069 |   87018   178221 |   46714   22247  1857821    83.5 | 85.899 % |
507.58	c |    413829 |   86958   178068 |   51385   22992  1915092    83.3 | 85.996 % |
508.12	c |    414968 |   86958   178068 |   56524   24131  1997649    82.8 | 85.996 % |
509.04	c |    416677 |   86958   178068 |   62176   25840  2205825    85.4 | 85.996 % |
510.36	c |    419239 |   86958   178068 |   68394   28402  2468274    86.9 | 85.996 % |
512.68	c |    423084 |   86894   177916 |   75234   32224  2878031    89.3 | 86.088 % |
515.40	c |    428850 |   86849   177808 |   82757   37983  3312211    87.2 | 86.155 % |
521.52	c |    437499 |   86843   177792 |   91033   46629  4208316    90.3 | 86.166 % |
533.52	c |    450473 |   86832   177765 |  100136   59597  5749774    96.5 | 86.183 % |
554.58	c |    469936 |   86832   177765 |  110150   79060  8000314   101.2 | 86.183 % |
595.52	c |    499128 |   86828   177757 |  121165  108248 11033862   101.9 | 86.187 % |
671.52	c |    542917 |   86779   177640 |  133281  151704 16519856   108.9 | 86.260 % |
759.53	c |    608602 |   86727   177520 |  146609   67402  7115433   105.6 | 86.333 % |
913.76	c |    707130 |   86677   177394 |  161270  165918 18275033   110.1 | 86.415 % |
1142.61	c |    854921 |   86607   177225 |  177398  137161 14829842   108.1 | 86.520 % |
1558.16	c |   1076605 |   86592   177190 |  195137  163699 11940908    72.9 | 86.542 % |
1801.17	c 
1801.17	c *** TERMINATED ***
1801.17	s SATISFIABLE
1801.17	v -x1150 -x1149 x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134
1801.17	v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117
1801.17	v -x1116 -x1115 -x1114 -x1113 -x1112 x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100
1801.17	v -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083
1801.17	v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066
1801.17	v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 x1059 -x1058 x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048
1801.17	v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031
1801.17	v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014
1801.17	v x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 x998 -x997 -x996
1801.17	v -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 x980 -x979 -x978 -x977 -x976 -x975
1801.17	v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 x955 -x954
1801.17	v -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933
1801.17	v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912
1801.17	v x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891
1801.17	v -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 x870
1801.17	v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849
1801.17	v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828
1801.17	v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807
1801.17	v -x806 -x805 x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786
1801.17	v -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768 -x767 -x766 -x765
1801.17	v -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744
1801.17	v -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 x726 -x725 -x724 -x723
1801.17	v -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 x705 -x704 -x703 -x702
1801.17	v -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681
1801.17	v -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660
1801.17	v -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639
1801.17	v -x638 -x637 -x636 -x635 -x634 x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618
1801.17	v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597
1801.17	v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 x579 -x578 -x577 -x576
1801.17	v -x575 x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555
1801.17	v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534
1801.17	v -x533 -x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513
1801.17	v x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492
1801.17	v -x491 -x490 -x489 -x488 x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471
1801.17	v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450
1801.17	v -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429
1801.17	v -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408
1801.17	v -x407 -x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 x388 -x387
1801.17	v -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366
1801.17	v -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345
1801.17	v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 x326 -x325 -x324
1801.17	v -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303
1801.17	v -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 -x282
1801.17	v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261
1801.17	v -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240
1801.17	v x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219
1801.17	v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198
1801.17	v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177
1801.17	v -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156
1801.17	v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135
1801.17	v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114
1801.17	v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92
1801.17	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.17	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.17	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.17	v -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data (download as text)

OK	-46

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.96 2/64 17712
/proc/meminfo: memFree=1569368/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=1180 CPUtime=0
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 138 0 0 0 0 0 0 0 18 0 1 0 195493869 1208320 123 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 295 123 67 215 0 77 0

[startup+10.0023 s]
/proc/loadavg: 0.93 0.98 0.96 2/64 17712
/proc/meminfo: memFree=1541656/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=30036 CPUtime=9.98
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 7182 0 0 0 987 11 0 0 25 0 1 0 195493869 30756864 6986 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569777 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 7509 6986 110 215 0 7291 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 30036

[startup+20.0081 s]
/proc/loadavg: 0.94 0.98 0.96 2/64 17712
/proc/meminfo: memFree=1541656/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=30416 CPUtime=19.98
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 7243 0 0 0 1987 11 0 0 25 0 1 0 195493869 31145984 7047 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569777 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 7604 7047 110 215 0 7386 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 30416

[startup+30.0139 s]
/proc/loadavg: 0.95 0.98 0.96 2/64 17712
/proc/meminfo: memFree=1541592/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=30580 CPUtime=29.98
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 7274 0 0 0 2987 11 0 0 25 0 1 0 195493869 31313920 7078 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 7645 7078 110 215 0 7427 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 30580

[startup+40.0198 s]
/proc/loadavg: 0.96 0.98 0.96 2/64 17712
/proc/meminfo: memFree=1535320/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=36848 CPUtime=39.99
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 8839 0 0 0 3986 13 0 0 25 0 1 0 195493869 37732352 8643 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579855 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 9212 8643 110 215 0 8994 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 36848

[startup+50.0256 s]
/proc/loadavg: 0.96 0.98 0.96 2/64 17712
/proc/meminfo: memFree=1529368/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=42868 CPUtime=49.99
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 10329 0 0 0 4984 15 0 0 25 0 1 0 195493869 43896832 10133 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 10717 10133 110 215 0 10499 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 42868

[startup+60.0315 s]
/proc/loadavg: 0.97 0.98 0.96 2/64 17712
/proc/meminfo: memFree=1524504/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=47832 CPUtime=59.99
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 11551 0 0 0 5983 16 0 0 25 0 1 0 195493869 48979968 11355 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569793 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 11958 11355 110 215 0 11740 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 47832

[startup+70.0373 s]
/proc/loadavg: 0.97 0.98 0.96 2/64 17712
/proc/meminfo: memFree=1519896/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=52436 CPUtime=69.99
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 12709 0 0 0 6982 17 0 0 25 0 1 0 195493869 53694464 12513 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573865 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 13109 12513 110 215 0 12891 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 52436

[startup+80.0432 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 17712
/proc/meminfo: memFree=1514456/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=57812 CPUtime=79.99
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 14057 0 0 0 7982 17 0 0 25 0 1 0 195493869 59199488 13861 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 14453 13861 110 215 0 14235 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 57812

[startup+90.05 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 17712
/proc/meminfo: memFree=1513816/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=58340 CPUtime=90
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 14220 0 0 0 8982 18 0 0 25 0 1 0 195493869 59740160 14024 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576571 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 14585 14024 110 215 0 14367 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 58340

[startup+100.056 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 17712
/proc/meminfo: memFree=1513816/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=58340 CPUtime=100
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 14220 0 0 0 9982 18 0 0 25 0 1 0 195493869 59740160 14024 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 14585 14024 110 215 0 14367 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 58340

[startup+110.063 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 17712
/proc/meminfo: memFree=1513752/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=58340 CPUtime=110.01
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 14220 0 0 0 10983 18 0 0 25 0 1 0 195493869 59740160 14024 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 14585 14024 110 215 0 14367 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 58340

[startup+120.069 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 17712
/proc/meminfo: memFree=1513432/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=58856 CPUtime=120.01
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 14325 0 0 0 11983 18 0 0 25 0 1 0 195493869 60268544 14129 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 14714 14129 110 215 0 14496 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 58856

[startup+130.074 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 17712
/proc/meminfo: memFree=1509080/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=63156 CPUtime=130.01
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 15405 0 0 0 12982 19 0 0 25 0 1 0 195493869 64671744 15209 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 15789 15209 110 215 0 15571 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 63156

[startup+140.081 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 17712
/proc/meminfo: memFree=1505368/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=66824 CPUtime=140.02
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 16325 0 0 0 13982 20 0 0 25 0 1 0 195493869 68427776 16129 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 16706 16129 110 215 0 16488 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 66824

[startup+150.087 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 17712
/proc/meminfo: memFree=1501336/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=70816 CPUtime=150.02
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 17340 0 0 0 14981 21 0 0 25 0 1 0 195493869 72515584 17144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576464 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 17704 17144 110 215 0 17486 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 70816

[startup+160.093 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 17712
/proc/meminfo: memFree=1501272/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=70816 CPUtime=160.02
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 17340 0 0 0 15981 21 0 0 25 0 1 0 195493869 72515584 17144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573706 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 17704 17144 110 215 0 17486 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 70816

[startup+170.1 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 17712
/proc/meminfo: memFree=1501272/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=70816 CPUtime=170.02
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 17340 0 0 0 16981 21 0 0 25 0 1 0 195493869 72515584 17144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 17704 17144 110 215 0 17486 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 70816

[startup+180.106 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 17712
/proc/meminfo: memFree=1501272/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=70816 CPUtime=180.02
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 17340 0 0 0 17981 21 0 0 25 0 1 0 195493869 72515584 17144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 17704 17144 110 215 0 17486 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 70816

[startup+190.111 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 17714
/proc/meminfo: memFree=1501072/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=70816 CPUtime=190.02
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 17340 0 0 0 18981 21 0 0 25 0 1 0 195493869 72515584 17144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 17704 17144 110 215 0 17486 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 70816

[startup+200.118 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 17714
/proc/meminfo: memFree=1501144/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=70816 CPUtime=200.02
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 17340 0 0 0 19981 21 0 0 25 0 1 0 195493869 72515584 17144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 17704 17144 110 215 0 17486 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 70816

[startup+210.124 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 17714
/proc/meminfo: memFree=1501144/2055920 swapFree=4181400/4192956

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

[pid=17712] ppid=17710 vsize=130964 CPUtime=1781.44
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 178103 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1781.44
Current children cumulated vsize (Kb) 130964

[startup+1783.07 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 17714
/proc/meminfo: memFree=1441184/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=130964 CPUtime=1782.45
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 178204 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (Kb) 130964

[startup+1784.08 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 17714
/proc/meminfo: memFree=1441184/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=130964 CPUtime=1783.45
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 178304 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581150 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1783.45
Current children cumulated vsize (Kb) 130964

[startup+1785.08 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 17714
/proc/meminfo: memFree=1441184/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=130964 CPUtime=1784.46
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 178405 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579871 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1784.46
Current children cumulated vsize (Kb) 130964

[startup+1786.09 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 17714
/proc/meminfo: memFree=1441184/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=130964 CPUtime=1785.46
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 178505 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1785.46
Current children cumulated vsize (Kb) 130964

[startup+1787.09 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 17714
/proc/meminfo: memFree=1441184/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=130964 CPUtime=1786.47
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 178606 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1786.47
Current children cumulated vsize (Kb) 130964

[startup+1788.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 17714
/proc/meminfo: memFree=1441184/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=130964 CPUtime=1787.47
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 178706 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1787.47
Current children cumulated vsize (Kb) 130964

[startup+1789.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 17714
/proc/meminfo: memFree=1441184/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=130964 CPUtime=1788.48
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 178807 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1788.48
Current children cumulated vsize (Kb) 130964

[startup+1790.11 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 17714
/proc/meminfo: memFree=1441184/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=130964 CPUtime=1789.48
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 178907 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1789.48
Current children cumulated vsize (Kb) 130964

[startup+1791.11 s]
/proc/loadavg: 1.00 1.00 0.96 2/70 17737
/proc/meminfo: memFree=1439984/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=130964 CPUtime=1790.48
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 179007 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1790.48
Current children cumulated vsize (Kb) 130964

[startup+1792.12 s]
/proc/loadavg: 1.00 1.00 0.96 2/70 17737
/proc/meminfo: memFree=1439984/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=130964 CPUtime=1791.48
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 179107 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (Kb) 130964

[startup+1793.12 s]
/proc/loadavg: 1.00 1.00 0.96 2/70 17737
/proc/meminfo: memFree=1439984/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=130964 CPUtime=1792.48
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 179207 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581505 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1792.48
Current children cumulated vsize (Kb) 130964

[startup+1794.13 s]
/proc/loadavg: 1.00 1.00 0.96 2/70 17769
/proc/meminfo: memFree=1439976/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=130964 CPUtime=1793.48
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 179307 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1793.48
Current children cumulated vsize (Kb) 130964

[startup+1795.14 s]
/proc/loadavg: 1.00 1.00 0.96 2/70 17769
/proc/meminfo: memFree=1439976/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=130964 CPUtime=1794.48
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 179407 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576837 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (Kb) 130964

[startup+1796.14 s]
/proc/loadavg: 1.00 1.00 0.96 2/70 17769
/proc/meminfo: memFree=1439976/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=130964 CPUtime=1795.49
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 179508 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1795.49
Current children cumulated vsize (Kb) 130964

[startup+1797.15 s]
/proc/loadavg: 1.00 1.00 0.96 2/70 17777
/proc/meminfo: memFree=1439976/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=130964 CPUtime=1796.49
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 179608 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580418 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1796.49
Current children cumulated vsize (Kb) 130964

[startup+1798.15 s]
/proc/loadavg: 1.00 1.00 0.96 2/70 17777
/proc/meminfo: memFree=1439976/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=130964 CPUtime=1797.49
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 179708 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575446 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (Kb) 130964

[startup+1799.16 s]
/proc/loadavg: 1.00 1.00 0.96 2/70 17777
/proc/meminfo: memFree=1439976/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=130964 CPUtime=1798.5
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 179809 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573962 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1798.5
Current children cumulated vsize (Kb) 130964

[startup+1800.16 s]
/proc/loadavg: 1.00 1.00 0.96 2/70 17785
/proc/meminfo: memFree=1439976/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=130964 CPUtime=1799.5
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 179908 42 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (Kb) 130964

[startup+1801.17 s]
/proc/loadavg: 1.00 1.00 0.96 2/70 17785
/proc/meminfo: memFree=1439976/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=130964 CPUtime=1800.5
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 180008 42 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581062 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (Kb) 130964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.17 s]
/proc/loadavg: 1.00 1.00 0.96 2/70 17785
/proc/meminfo: memFree=1439976/2055920 swapFree=4181400/4192956
[pid=17712] ppid=17710 vsize=130964 CPUtime=1800.51
/proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 180009 42 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17712/statm: 32741 32088 110 215 0 32523 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (Kb) 130964

Sending SIGTERM to -17712
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.2
CPU time (s): 1800.54
CPU user time (s): 1800.09
CPU system time (s): 0.444932
CPU usage (%): 99.9633
Max. virtual memory (cumulated for all children) (Kb): 130988

Launcher Data (download as text)

Begin job on node44 on Sat Jun  3 01:31:10 UTC 2006


FILE ID= 35628-1149298270

PBS_JOBID= 307210

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

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  dc857dc123c51e1f53f981679774fda8

RANDOM SEED= 501262295


/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.261
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.261
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:       1569576 kB
Buffers:         26548 kB
Cached:         387948 kB
SwapCached:       3364 kB
Active:          31252 kB
Inactive:       392152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1569576 kB
SwapTotal:     4192956 kB
SwapFree:      4181400 kB
Dirty:             220 kB
Writeback:           0 kB
Mapped:          14948 kB
Slab:            48876 kB
Committed_AS:   275016 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node44 on Sat Jun  3 02:01:12 UTC 2006