Trace number 4112551

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
minisatp 2012-10-02 git-d91742bSAT (TO)-49 1800.09 1800.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
MD5SUM604c6b786f56b09c749bc0d6b7c8f76d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-50
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94227
Number of constraints which are clauses94227
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 1272
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 1272
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 1272
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

Solver Data 

0.00/0.00	c Parsing PB file...
0.79/0.88	c Converting 94227 PB-constraints to clauses...
0.79/0.88	c   -- Unit propagations: (none)
0.79/0.88	c   -- Detecting intervals from adjacent constraints: (none)
0.79/0.89	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.99/1.05	============================[ Search Statistics ]==============================
0.99/1.05	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.99/1.05	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.99/1.05	===============================================================================
0.99/1.05	===============================================================================
0.99/1.05	c Found solution: -36
0.99/1.05	c ---[   0]---> Sorter-cost:70300     Base:
3.09/3.16	|  Eliminated clauses:           0.79 Mb                                      |
3.09/3.16	============================[ Search Statistics ]==============================
3.09/3.16	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.09/3.16	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.09/3.16	===============================================================================
3.09/3.16	|       100 |   26955   148612   418610 |    54491       85     27 |  0.370 % |
3.09/3.16	|       250 |   26859   148612   418610 |    59940      229     22 |  0.558 % |
3.09/3.16	|       475 |   26514   148612   418610 |    65934      389     21 |  1.233 % |
3.09/3.16	|       812 |   26123   148612   418610 |    72527      670     31 |  1.998 % |
3.09/3.16	|      1318 |   25764   148612   418610 |    79780     1125     28 |  2.701 % |
3.09/3.16	|      2077 |   24762   148612   418610 |    87758     1753     29 |  4.662 % |
3.09/3.16	|      3216 |   23900   148612   418610 |    96534     2812     34 |  6.349 % |
3.09/3.16	|      4924 |   22265   148612   418610 |   106187     4174     36 |  9.550 % |
3.09/3.16	|      7486 |   20367   148612   418610 |   116806     6380     38 | 13.264 % |
3.09/3.16	===============================================================================
3.09/3.16	c Found solution: -40
3.09/3.17	c ---[   0]---> Sorter-cost:    0     Base:
5.29/5.39	|  Eliminated clauses:           0.82 Mb                                      |
5.29/5.39	============================[ Search Statistics ]==============================
5.29/5.39	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.29/5.39	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
5.29/5.39	===============================================================================
5.29/5.39	|      8752 |   19288   132192   345502 |    48470     7523     39 | 14.498 % |
5.29/5.39	|      8902 |   19245   132192   345502 |    53317     7671     39 | 14.581 % |
5.29/5.39	|      9127 |   19093   132192   345502 |    58649     7839     40 | 14.875 % |
5.29/5.39	|      9464 |   19015   132192   345502 |    64514     8172     40 | 15.026 % |
5.29/5.39	|      9970 |   18731   132192   345502 |    70965     8612     40 | 15.576 % |
5.29/5.39	|     10729 |   18334   132192   345502 |    78062     9349     41 | 16.344 % |
5.29/5.39	|     11868 |   17831   132192   345502 |    85868    10373     44 | 17.317 % |
5.29/5.39	|     13576 |   17406   132192   345502 |    94455    11963     47 | 18.140 % |
5.29/5.39	|     16138 |   16693   132192   345502 |   103900    14420     50 | 19.519 % |
5.29/5.39	|     19982 |   15711   132192   345502 |   114290    17965     55 | 21.419 % |
5.29/5.39	===============================================================================
5.29/5.39	c Found solution: -43
5.39/5.40	c ---[   0]---> Sorter-cost:    0     Base:
18.38/18.46	|  Eliminated clauses:           0.83 Mb                                      |
18.38/18.46	============================[ Search Statistics ]==============================
18.38/18.46	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.38/18.46	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
18.38/18.46	===============================================================================
18.38/18.46	|     22541 |   15053   123288   308237 |    45205    20287     60 | 21.981 % |
18.38/18.46	|     22691 |   15035   123288   308237 |    49726    20436     60 | 22.016 % |
18.38/18.46	|     22916 |   14936   123288   308237 |    54698    20655     60 | 22.206 % |
18.38/18.46	|     23253 |   14871   123288   308237 |    60168    20990     60 | 22.331 % |
18.38/18.46	|     23759 |   14871   123288   308237 |    66185    21496     60 | 22.331 % |
18.38/18.46	|     24518 |   14536   123288   308237 |    72804    22150     60 | 22.976 % |
18.38/18.46	|     25657 |   14311   123288   308237 |    80084    23278     61 | 23.408 % |
18.38/18.46	|     27365 |   13973   123288   308237 |    88092    24492     63 | 24.058 % |
18.38/18.46	|     29927 |   13859   123288   308237 |    96902    27046     67 | 24.277 % |
18.38/18.46	|     33771 |   13414   123288   308237 |   106592    30684     70 | 25.133 % |
18.38/18.46	|     39537 |   12907   123288   308237 |   117251    36248     78 | 26.108 % |
18.38/18.46	|     48186 |   12148   123288   308237 |   128976    44386     90 | 27.568 % |
18.38/18.46	|     61160 |   11657   123288   308237 |   141874    56649    108 | 28.512 % |
18.38/18.46	|     80621 |   10752   123288   308237 |   156061    75457    119 | 30.252 % |
18.38/18.46	===============================================================================
18.38/18.46	c Found solution: -45
18.38/18.47	c ---[   0]---> Sorter-cost:    0     Base:
26.49/26.52	|  Eliminated clauses:           0.85 Mb                                      |
26.49/26.52	============================[ Search Statistics ]==============================
26.49/26.52	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
26.49/26.52	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
26.49/26.52	===============================================================================
26.49/26.52	|     86203 |   10010   112724   264881 |    41332    25338    116 | 30.655 % |
26.49/26.52	|     86353 |   10010   112724   264881 |    45465    25488    116 | 30.655 % |
26.49/26.52	|     86578 |   10010   112724   264881 |    50011    25713    116 | 30.655 % |
26.49/26.52	|     86915 |   10010   112724   264881 |    55013    26050    116 | 30.655 % |
26.49/26.52	|     87421 |    9815   112724   264881 |    60514    26545    115 | 31.030 % |
26.49/26.52	|     88180 |    9679   112724   264881 |    66565    27295    114 | 31.291 % |
26.49/26.52	|     89319 |    9510   112724   264881 |    73222    28420    113 | 31.615 % |
26.49/26.52	|     91027 |    9362   112724   264881 |    80544    30120    113 | 31.900 % |
26.49/26.52	|     93589 |    9306   112724   264881 |    88599    32676    115 | 32.007 % |
26.49/26.52	|     97433 |    8882   112724   264881 |    97459    36490    115 | 32.822 % |
26.49/26.52	|    103199 |    8623   112724   264881 |   107204    41451    119 | 33.319 % |
26.49/26.52	|    111848 |    8293   112724   264881 |   117925    50080    126 | 33.953 % |
26.49/26.52	|    124822 |    7781   112724   264881 |   129717    62281    135 | 34.937 % |
26.49/26.52	===============================================================================
26.49/26.52	c Found solution: -46
26.49/26.53	c ---[   0]---> Sorter-cost:    0     Base:
272.93/273.00	|  Eliminated clauses:           0.87 Mb                                      |
272.93/273.00	============================[ Search Statistics ]==============================
272.93/273.00	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
272.93/273.00	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
272.93/273.00	===============================================================================
272.93/273.00	|    128607 |    7309   107143   241781 |    39285    24114    123 | 35.083 % |
272.93/273.00	|    128757 |    7265   107143   241781 |    43214    24262    123 | 35.168 % |
272.93/273.00	|    128982 |    7265   107143   241781 |    47535    24487    123 | 35.168 % |
272.93/273.00	|    129319 |    7265   107143   241781 |    52289    24824    123 | 35.168 % |
272.93/273.00	|    129825 |    7262   107143   241781 |    57518    25329    123 | 35.173 % |
272.93/273.00	|    130584 |    7248   107143   241781 |    63270    26087    123 | 35.200 % |
272.93/273.00	|    131723 |    7248   107143   241781 |    69597    27226    125 | 35.200 % |
272.93/273.00	|    133431 |    7207   107143   241781 |    76556    28931    125 | 35.279 % |
272.93/273.00	|    135993 |    7189   107143   241781 |    84212    31492    129 | 35.314 % |
272.93/273.00	|    139837 |    7048   107143   241781 |    92633    35329    129 | 35.584 % |
272.93/273.00	|    145603 |    6994   107143   241781 |   101897    41090    130 | 35.688 % |
272.93/273.00	|    154252 |    6655   107143   241781 |   112086    49177    135 | 36.339 % |
272.93/273.00	|    167226 |    6519   107143   241781 |   123295    62135    142 | 36.600 % |
272.93/273.00	|    186687 |    6367   107143   241781 |   135625    81156    151 | 36.892 % |
272.93/273.00	|    215879 |    6164   107143   241781 |   149187   110327    162 | 37.282 % |
272.93/273.00	|    259668 |    6019   107143   241781 |   164106   152861    173 | 37.561 % |
272.93/273.00	|    325352 |    5672   107143   241781 |   180517    64796    157 | 38.227 % |
272.93/273.00	|    423878 |    5385   107143   241781 |   198568   162684    191 | 38.778 % |
272.93/273.00	|    571667 |    4847   107143   241781 |   218425   122768    192 | 39.812 % |
272.93/273.00	===============================================================================
272.93/273.00	c Found solution: -48
272.93/273.01	c ---[   0]---> Sorter-cost:    0     Base:
928.11/928.37	|  Eliminated clauses:           0.88 Mb                                      |
928.11/928.37	============================[ Search Statistics ]==============================
928.11/928.37	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
928.11/928.37	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
928.11/928.37	===============================================================================
928.11/928.37	|    724738 |    4112   100378   214830 |    36805    23564    182 | 41.199 % |
928.11/928.37	|    724888 |    4112   100378   214830 |    40485    23714    182 | 41.199 % |
928.11/928.37	|    725113 |    4112   100378   214830 |    44534    23939    181 | 41.199 % |
928.11/928.37	|    725450 |    4112   100378   214830 |    48987    24276    181 | 41.199 % |
928.11/928.37	|    725956 |    4112   100378   214830 |    53886    24782    180 | 41.199 % |
928.11/928.37	|    726715 |    4068   100378   214830 |    59275    25536    179 | 41.282 % |
928.11/928.37	|    727854 |    4068   100378   214830 |    65202    26675    179 | 41.283 % |
928.11/928.37	|    729562 |    4037   100378   214830 |    71723    28381    177 | 41.341 % |
928.11/928.37	|    732124 |    3986   100378   214830 |    78895    30939    176 | 41.437 % |
928.11/928.37	|    735968 |    3912   100378   214830 |    86784    34777    173 | 41.577 % |
928.11/928.37	|    741734 |    3912   100378   214830 |    95463    40543    174 | 41.577 % |
928.11/928.37	|    750383 |    3887   100378   214830 |   105009    49189    173 | 41.624 % |
928.11/928.37	|    763357 |    3830   100378   214830 |   115510    62159    176 | 41.732 % |
928.11/928.37	|    782818 |    3798   100378   214830 |   127061    81618    182 | 41.793 % |
928.11/928.37	|    812010 |    3685   100378   214830 |   139767   110802    184 | 42.006 % |
928.11/928.37	|    855799 |    3643   100378   214830 |   153744   154587    187 | 42.085 % |
928.11/928.37	|    921483 |    3587   100378   214830 |   169119    70371    185 | 42.191 % |
928.11/928.37	|   1020009 |    3438   100378   214830 |   186031   168884    195 | 42.473 % |
928.11/928.37	|   1167798 |    3299   100378   214830 |   204634   131779    199 | 42.735 % |
928.11/928.37	|   1389481 |    3190   100378   214830 |   225097   153107    190 | 42.941 % |
928.11/928.37	|   1722006 |    3127   100378   214830 |   247607    37901    198 | 43.060 % |
928.11/928.37	|   2220794 |    2992   100378   214830 |   272368    46312    171 | 43.315 % |
928.11/928.37	===============================================================================
928.11/928.37	c Found solution: -49
928.11/928.38	c ---[   0]---> Sorter-cost:    0     Base:
1800.07/1800.40	|  Eliminated clauses:           0.89 Mb                                      |
1800.07/1800.40	============================[ Search Statistics ]==============================
1800.07/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.07/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.07/1800.40	===============================================================================
1800.07/1800.40	|   2415977 |    2780    97496   203625 |    35748    29490    174 | 43.440 % |
1800.07/1800.40	|   2416127 |    2780    97496   203625 |    39323    29640    173 | 43.440 % |
1800.07/1800.40	|   2416352 |    2780    97496   203625 |    43255    29865    173 | 43.440 % |
1800.07/1800.40	|   2416689 |    2780    97496   203625 |    47581    30202    173 | 43.440 % |
1800.07/1800.40	|   2417195 |    2780    97496   203625 |    52339    30708    172 | 43.440 % |
1800.07/1800.40	|   2417954 |    2780    97496   203625 |    57573    31467    171 | 43.440 % |
1800.07/1800.40	|   2419093 |    2780    97496   203625 |    63330    32606    170 | 43.440 % |
1800.07/1800.40	|   2420801 |    2780    97496   203625 |    69663    34314    168 | 43.440 % |
1800.07/1800.40	|   2423363 |    2767    97496   203625 |    76630    36875    167 | 43.464 % |
1800.07/1800.40	|   2427207 |    2766    97496   203625 |    84293    40718    166 | 43.466 % |
1800.07/1800.40	|   2432973 |    2765    97496   203625 |    92722    46483    166 | 43.468 % |
1800.07/1800.40	|   2441622 |    2765    97496   203625 |   101994    55132    166 | 43.468 % |
1800.07/1800.40	|   2454596 |    2753    97496   203625 |   112194    68105    165 | 43.491 % |
1800.07/1800.40	|   2474057 |    2738    97496   203625 |   123413    87538    164 | 43.519 % |
1800.07/1800.40	|   2503249 |    2696    97496   203625 |   135754   116727    163 | 43.598 % |
1800.07/1800.40	|   2547038 |    2671    97496   203625 |   149330    28690    174 | 43.645 % |
1800.07/1800.40	|   2612722 |    2565    97496   203625 |   164263    94365    164 | 43.845 % |
1800.07/1800.40	|   2711248 |    2563    97496   203625 |   180689    33110    164 | 43.849 % |
1800.07/1800.40	|   2859037 |    2499    97496   203625 |   198758   180848    155 | 43.970 % |
1800.07/1800.40	|   3080720 |    2424    97496   203625 |   218634   202705    165 | 44.111 % |
1800.07/1800.40	|   3413245 |    2355    97496   203625 |   240498   103519    165 | 44.241 % |
1800.07/1800.40	|   3912033 |    2307    97496   203625 |   264548   137039    154 | 44.332 % |
1800.07/1800.40	|   4660215 |    2277    97496   203625 |   291002   109511    166 | 44.388 % |
1800.07/1800.40	c 
1800.07/1800.40	c *** TERMINATED ***
1800.07/1800.40	s SATISFIABLE
1800.07/1800.40	v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 x722 -x721 -x720 x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 x675 -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 x389 -x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1

Verifier Data 

OK	-49

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4112551-1466540910/watcher-4112551-1466540910 -o /tmp/evaluation-result-4112551-1466540910/solver-4112551-1466540910 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466515277-21330 --watchdog 1960 minisatp HOME/instance-4112551-1466540910.opb 

pid=25690
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.10 2.11 2.09 3/176 25693
/proc/meminfo: memFree=30947104/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=6732 CPUtime=0 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 401 0 0 0 0 0 0 0 20 0 1 0 56136681 6893568 278 33554432000 4194304 5646918 140736497019920 140734069167832 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 1683 278 94 355 0 1324 0

[startup+0.100162 s]
/proc/loadavg: 2.10 2.11 2.09 3/176 25693
/proc/meminfo: memFree=30947104/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=12428 CPUtime=0.09 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 1822 0 0 0 9 0 0 0 20 0 1 0 56136681 12726272 1699 33554432000 4194304 5646918 140736497019920 140734069167832 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 3107 1699 94 355 0 2748 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12428

[startup+0.200328 s]
/proc/loadavg: 2.10 2.11 2.09 3/176 25693
/proc/meminfo: memFree=30947104/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=18612 CPUtime=0.19 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 3345 0 0 0 19 0 0 0 20 0 1 0 56136681 19058688 3222 33554432000 4194304 5646918 140736497019920 140734069167832 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 4653 3223 94 355 0 4294 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18612

[startup+0.300296 s]
/proc/loadavg: 2.10 2.11 2.09 3/176 25693
/proc/meminfo: memFree=30947104/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=24608 CPUtime=0.29 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 4863 0 0 0 29 0 0 0 20 0 1 0 56136681 25198592 4740 33554432000 4194304 5646918 140736497019920 140734069167832 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 6152 4741 94 355 0 5793 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24608

[startup+0.70026 s]
/proc/loadavg: 2.10 2.11 2.09 3/176 25693
/proc/meminfo: memFree=30947104/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=49120 CPUtime=0.69 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 10959 0 0 0 68 1 0 0 20 0 1 0 56136681 50298880 10836 33554432000 4194304 5646918 140736497019920 140734069167832 4953072 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 12280 10836 94 355 0 11921 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49120

[startup+1.50031 s]
/proc/loadavg: 2.09 2.10 2.09 3/177 25694
/proc/meminfo: memFree=30877616/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=80368 CPUtime=1.49 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 19920 0 0 0 144 5 0 0 20 0 1 0 56136681 82296832 19138 33554432000 4194304 5646918 140736497019920 140736497019352 4399261 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 20092 19138 144 355 0 19733 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80368

[startup+3.10031 s]
/proc/loadavg: 2.09 2.10 2.09 3/177 25694
/proc/meminfo: memFree=30866204/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=80368 CPUtime=3.09 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 20133 0 0 0 304 5 0 0 20 0 1 0 56136681 82296832 19348 33554432000 4194304 5646918 140736497019920 140736497018680 4402627 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 20092 19348 155 355 0 19733 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80368

[startup+6.30032 s]
/proc/loadavg: 2.08 2.10 2.09 3/177 25694
/proc/meminfo: memFree=30857904/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=87960 CPUtime=6.29 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 21124 0 0 0 624 5 0 0 20 0 1 0 56136681 90071040 20831 33554432000 4194304 5646918 140736497019920 140736497018200 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 21990 20831 155 355 0 21631 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87960

[startup+12.7003 s]
/proc/loadavg: 2.08 2.10 2.09 3/177 25694
/proc/meminfo: memFree=30835176/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=106816 CPUtime=12.68 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 22075 0 0 0 1263 5 0 0 20 0 1 0 56136681 109379584 25859 33554432000 4194304 5646918 140736497019920 140736497018616 4402889 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 26704 25859 155 355 0 26345 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 106816

[startup+25.5004 s]
/proc/loadavg: 2.06 2.10 2.09 3/177 25694
/proc/meminfo: memFree=30793588/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=125784 CPUtime=25.48 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 23944 0 0 0 2542 6 0 0 20 0 1 0 56136681 128802816 26967 33554432000 4194304 5646918 140736497019920 140736497018616 4398927 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 31446 26967 156 355 0 31087 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 125784

[startup+51.1004 s]
/proc/loadavg: 2.04 2.08 2.08 3/177 25694
/proc/meminfo: memFree=30676428/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=156604 CPUtime=51.08 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 25755 0 0 0 5100 8 0 0 20 0 1 0 56136681 160362496 36649 33554432000 4194304 5646918 140736497019920 140736497018616 4403167 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 39151 36649 156 355 0 38792 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 156604

[startup+102.3 s]
/proc/loadavg: 2.01 2.07 2.08 3/178 25698
/proc/meminfo: memFree=31007452/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=158404 CPUtime=102.28 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 28565 0 0 0 10216 12 0 0 20 0 1 0 56136681 162205696 31711 33554432000 4194304 5646918 140736497019920 140736497018616 4403136 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 39601 31711 156 355 0 39242 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 158404

[startup+162.3 s]
/proc/loadavg: 2.08 2.07 2.08 3/177 25699
/proc/meminfo: memFree=30892856/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=289880 CPUtime=162.26 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 30001 0 0 0 16211 15 0 0 20 0 1 0 56136681 296837120 57135 33554432000 4194304 5646918 140736497019920 140736497018616 4403136 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 72470 57135 156 355 0 72111 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 289880

[startup+222.307 s]
/proc/loadavg: 2.16 2.09 2.08 3/177 25701
/proc/meminfo: memFree=30900964/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=208492 CPUtime=222.24 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 32225 0 0 0 22206 18 0 0 20 0 1 0 56136681 213495808 51093 33554432000 4194304 5646918 140736497019920 140736497018616 4402886 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 52123 51093 156 355 0 51764 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 208492

[startup+282.3 s]
/proc/loadavg: 2.19 2.10 2.09 3/177 25702
/proc/meminfo: memFree=30945996/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=130084 CPUtime=282.23 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 36050 0 0 0 28201 22 0 0 20 0 1 0 56136681 133206016 30475 33554432000 4194304 5646918 140736497019920 140736497018616 4399417 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 32521 30475 157 355 0 32162 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 130084

[startup+342.3 s]
/proc/loadavg: 2.23 2.11 2.09 3/177 25703
/proc/meminfo: memFree=30887636/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=130804 CPUtime=342.22 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 38915 0 0 0 34197 25 0 0 20 0 1 0 56136681 133943296 31723 33554432000 4194304 5646918 140736497019920 140736497018616 4416598 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 32701 31723 157 355 0 32342 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 130804

[startup+402.3 s]
/proc/loadavg: 2.20 2.12 2.09 3/177 25704
/proc/meminfo: memFree=30721328/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=294588 CPUtime=402.21 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 41131 0 0 0 40193 28 0 0 20 0 1 0 56136681 301658112 58453 33554432000 4194304 5646918 140736497019920 140736497018056 4403372 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 73647 58453 157 355 0 73288 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 294588

[startup+462.3 s]
/proc/loadavg: 2.18 2.13 2.09 3/177 25705
/proc/meminfo: memFree=30550160/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=295648 CPUtime=462.2 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 44098 0 0 0 46189 31 0 0 20 0 1 0 56136681 302743552 57741 33554432000 4194304 5646918 140736497019920 140736497018056 4402736 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 73912 57741 157 355 0 73553 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 295648

[startup+522.3 s]
/proc/loadavg: 2.16 2.13 2.09 3/177 25762
/proc/meminfo: memFree=31242984/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=215764 CPUtime=522.19 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 47101 0 0 0 52185 34 0 0 20 0 1 0 56136681 220942336 48310 33554432000 4194304 5646918 140736497019920 140736497018056 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 53941 48310 157 355 0 53582 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 215764

[startup+582.3 s]
/proc/loadavg: 2.06 2.10 2.09 3/177 25763
/proc/meminfo: memFree=31297972/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=136904 CPUtime=582.18 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 49232 0 0 0 58181 37 0 0 20 0 1 0 56136681 140189696 31939 33554432000 4194304 5646918 140736497019920 140736497018616 4403495 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 34226 31939 157 355 0 33867 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 136904


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


[startup+882.307 s]
/proc/loadavg: 2.07 2.05 2.07 3/178 25773
/proc/meminfo: memFree=31240496/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=223292 CPUtime=882.13 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 60821 0 0 0 88161 52 0 0 20 0 1 0 56136681 228651008 45702 33554432000 4194304 5646918 140736497019920 140736497018616 4403147 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 55823 45702 157 355 0 55464 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 223292

[startup+942.3 s]
/proc/loadavg: 2.02 2.04 2.06 3/177 25774
/proc/meminfo: memFree=31283132/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=174140 CPUtime=942.12 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 63349 0 0 0 94157 55 0 0 20 0 1 0 56136681 178319360 35800 33554432000 4194304 5646918 140736497019920 140736497018616 4403178 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 43535 35800 157 355 0 43176 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 174140

[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.06 3/177 25775
/proc/meminfo: memFree=31239864/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=224228 CPUtime=1002.11 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 66868 0 0 0 100152 59 0 0 20 0 1 0 56136681 229609472 45880 33554432000 4194304 5646918 140736497019920 140736497018616 4402874 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 56057 45880 157 355 0 55698 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 224228

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/177 25832
/proc/meminfo: memFree=31167576/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=224400 CPUtime=1062.09 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 69921 0 0 0 106148 61 0 0 20 0 1 0 56136681 229785600 48304 33554432000 4194304 5646918 140736497019920 140736497018056 4402784 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 56100 48304 157 355 0 55741 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 224400

[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/177 25834
/proc/meminfo: memFree=30932892/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=224928 CPUtime=1122.09 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 73187 0 0 0 112142 67 0 0 20 0 1 0 56136681 230326272 49636 33554432000 4194304 5646918 140736497019920 140736497018616 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 56232 49636 157 355 0 55873 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 224928

[startup+1182.3 s]
/proc/loadavg: 2.18 2.07 2.06 3/177 25835
/proc/meminfo: memFree=30954164/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=175648 CPUtime=1182.07 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 76010 0 0 0 118136 71 0 0 20 0 1 0 56136681 179863552 43130 33554432000 4194304 5646918 140736497019920 140736497018616 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 43912 43130 157 355 0 43553 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 175648

[startup+1242.3 s]
/proc/loadavg: 2.16 2.08 2.06 3/177 25836
/proc/meminfo: memFree=31002620/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=126472 CPUtime=1242.06 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 78893 0 0 0 124133 73 0 0 20 0 1 0 56136681 129507328 30066 33554432000 4194304 5646918 140736497019920 140736497018616 4398927 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 31618 30066 157 355 0 31259 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 126472

[startup+1302.3 s]
/proc/loadavg: 2.14 2.09 2.07 3/178 25840
/proc/meminfo: memFree=30882540/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=308660 CPUtime=1302.05 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 80946 0 0 0 130128 77 0 0 20 0 1 0 56136681 316067840 59190 33554432000 4194304 5646918 140736497019920 140736497018056 4403187 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 77165 59190 157 355 0 76806 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 308660

[startup+1362.3 s]
/proc/loadavg: 2.11 2.09 2.07 3/177 25841
/proc/meminfo: memFree=30917556/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=227700 CPUtime=1362.04 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 83713 0 0 0 136125 79 0 0 20 0 1 0 56136681 233164800 48369 33554432000 4194304 5646918 140736497019920 140736497018056 4403442 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 56925 48369 157 355 0 56566 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 227700

[startup+1422.3 s]
/proc/loadavg: 2.22 2.12 2.08 3/177 25843
/proc/meminfo: memFree=30952108/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=178692 CPUtime=1422.04 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 86763 0 0 0 142120 84 0 0 20 0 1 0 56136681 182980608 38852 33554432000 4194304 5646918 140736497019920 140736497018616 4403043 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 44673 38852 157 355 0 44314 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 178692

[startup+1482.3 s]
/proc/loadavg: 2.24 2.14 2.09 3/177 25844
/proc/meminfo: memFree=30857280/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=310504 CPUtime=1482.02 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 88082 0 0 0 148116 86 0 0 20 0 1 0 56136681 317956096 61625 33554432000 4194304 5646918 140736497019920 140736497018056 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 77626 61625 157 355 0 77267 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 310504

[startup+1542.31 s]
/proc/loadavg: 2.14 2.13 2.09 3/177 25845
/proc/meminfo: memFree=30902708/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=230736 CPUtime=1542.02 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 91008 0 0 0 154113 89 0 0 20 0 1 0 56136681 236273664 49936 33554432000 4194304 5646918 140736497019920 140736497018616 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 57684 49936 157 355 0 57325 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 230736

[startup+1602.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/177 25846
/proc/meminfo: memFree=30974188/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=150660 CPUtime=1602 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 93813 0 0 0 160108 92 0 0 20 0 1 0 56136681 154275840 32702 33554432000 4194304 5646918 140736497019920 140736497018616 4397980 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 37665 32702 157 355 0 37306 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 150660

[startup+1662.3 s]
/proc/loadavg: 2.16 2.12 2.09 3/177 25847
/proc/meminfo: memFree=30864904/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=313124 CPUtime=1662 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 95145 0 0 0 166105 95 0 0 20 0 1 0 56136681 320638976 58555 33554432000 4194304 5646918 140736497019920 140736497018616 4402781 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 78281 58555 157 355 0 77922 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 313124

[startup+1722.3 s]
/proc/loadavg: 2.11 2.11 2.09 4/177 25849
/proc/meminfo: memFree=30903016/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=233008 CPUtime=1721.99 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 98070 0 0 0 172100 99 0 0 20 0 1 0 56136681 238600192 48899 33554432000 4194304 5646918 140736497019920 140736497018616 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 58252 48899 157 355 0 57893 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 233008

[startup+1782.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/177 25850
/proc/meminfo: memFree=30817684/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=316760 CPUtime=1781.97 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 99143 0 0 0 178098 99 0 0 20 0 1 0 56136681 324362240 69385 33554432000 4194304 5646918 140736497019920 140736497018056 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 79190 69385 157 355 0 78831 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 316760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.26 2.15 2.10 3/177 25850
/proc/meminfo: memFree=30968660/32872528 swapFree=534252/566956
[pid=25693] ppid=25690 vsize=135848 CPUtime=1800.07 cores=1,3,5,7
/proc/25693/stat : 25693 (minisatp) R 25690 25693 21313 0 -1 4202496 99857 0 0 0 179907 100 0 0 20 0 1 0 56136681 139108352 32175 33554432000 4194304 5646918 140736497019920 140736497018616 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/25693/statm: 33962 32175 157 355 0 33603 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 135848

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25693 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.4
CPU time (s): 1800.09
CPU user time (s): 1799.08
CPU system time (s): 1.01185
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 324452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 1.01185
maximum resident set size= 307900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99857
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73
involuntary context switches= 1975

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64729 second user time and 6.90295 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-21 22:28:30
IDJOB=4112551
IDBENCH=2259
IDSOLVER=2555
FILE ID=node138/4112551-1466540910
RUNJOBID= node138-1466515277-21330
PBS_JOBID= 19942888
Free space on /tmp= 71724 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112551-1466540910/watcher-4112551-1466540910 -o /tmp/evaluation-result-4112551-1466540910/solver-4112551-1466540910 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466515277-21330 --watchdog 1960  minisatp HOME/instance-4112551-1466540910.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 604c6b786f56b09c749bc0d6b7c8f76d
RANDOM SEED=96804676

node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30948192 kB
Buffers:           17896 kB
Cached:            65172 kB
SwapCached:         2544 kB
Active:           594640 kB
Inactive:          55556 kB
Active(anon):     567200 kB
Inactive(anon):     2152 kB
Active(file):      27440 kB
Inactive(file):    53404 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099020 kB
Dirty:              5848 kB
Writeback:             0 kB
AnonPages:       1145188 kB
Mapped:             9420 kB
Shmem:                 0 kB
Slab:             572824 kB
SReclaimable:      16664 kB
SUnreclaim:       556160 kB
KernelStack:        1456 kB
PageTables:         6328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1380080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    575488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4112551-1466540910.opb

Free space on /tmp at the end= 71712 MiB
End job on node138 at 2016-06-21 22:58:31