Trace number 4112548

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)-46 1800.03 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
MD5SUM29f577041bedcbf69a98210424b233be
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-47
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 -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints81068
Number of constraints which are clauses81068
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1150
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
0.69/0.76	c Converting 81068 PB-constraints to clauses...
0.69/0.76	c   -- Unit propagations: (none)
0.69/0.76	c   -- Detecting intervals from adjacent constraints: (none)
0.69/0.77	c   -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.88/0.90	============================[ Search Statistics ]==============================
0.88/0.90	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.88/0.90	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.88/0.90	===============================================================================
0.88/0.90	===============================================================================
0.88/0.90	c Found solution: -34
0.88/0.91	c ---[   0]---> Sorter-cost:63046     Base:
1.78/1.86	|  Eliminated clauses:           0.71 Mb                                      |
1.78/1.86	============================[ Search Statistics ]==============================
1.78/1.86	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.78/1.86	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.78/1.86	===============================================================================
1.78/1.86	|       100 |   24288   130193   370282 |    47737       85     37 |  0.455 % |
1.78/1.86	|       250 |   24168   130193   370282 |    52511      228     40 |  0.715 % |
1.78/1.86	|       475 |   24039   130193   370282 |    57762      445     36 |  0.995 % |
1.78/1.86	|       812 |   23761   130193   370282 |    63538      752     35 |  1.598 % |
1.78/1.86	|      1318 |   23086   130193   370282 |    69892     1193     37 |  3.061 % |
1.78/1.86	|      2077 |   22434   130193   370282 |    76881     1911     39 |  4.475 % |
1.78/1.86	===============================================================================
1.78/1.86	c Found solution: -37
1.78/1.86	c ---[   0]---> Sorter-cost:    0     Base:
5.88/5.95	|  Eliminated clauses:           0.73 Mb                                      |
5.88/5.95	============================[ Search Statistics ]==============================
5.88/5.95	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.88/5.95	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
5.88/5.95	===============================================================================
5.88/5.95	|      3008 |   21833   124581   344973 |    45679     2808     42 |  5.507 % |
5.88/5.95	|      3158 |   21693   124581   344973 |    50247     2930     44 |  5.808 % |
5.88/5.95	|      3383 |   21352   124581   344973 |    55272     3139     43 |  6.541 % |
5.88/5.95	|      3720 |   21137   124581   344973 |    60799     3448     45 |  7.003 % |
5.88/5.95	|      4226 |   20893   124581   344973 |    66879     3916     47 |  7.527 % |
5.88/5.95	|      4985 |   20627   124581   344973 |    73567     4649     50 |  8.099 % |
5.88/5.95	|      6124 |   20007   124581   344973 |    80924     5686     49 |  9.432 % |
5.88/5.95	|      7832 |   19488   124581   344973 |    89016     7347     51 | 10.547 % |
5.88/5.95	|     10394 |   18716   124581   344973 |    97918     9845     51 | 12.206 % |
5.88/5.95	|     14238 |   17903   124581   344973 |   107710    13577     56 | 13.954 % |
5.88/5.95	|     20004 |   16793   124581   344973 |   118481    19213     65 | 16.340 % |
5.88/5.95	===============================================================================
5.88/5.95	c Found solution: -39
5.88/5.96	c ---[   0]---> Sorter-cost:    0     Base:
11.29/11.33	|  Eliminated clauses:           0.75 Mb                                      |
11.29/11.33	============================[ Search Statistics ]==============================
11.29/11.33	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.29/11.33	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
11.29/11.33	===============================================================================
11.29/11.33	|     27903 |   15757   111912   290677 |    41034    26873     79 | 17.820 % |
11.29/11.33	|     28053 |   15670   111912   290677 |    45137    27020     79 | 18.004 % |
11.29/11.33	|     28278 |   15629   111912   290677 |    49651    27244     80 | 18.092 % |
11.29/11.33	|     28615 |   15629   111912   290677 |    54616    27581     80 | 18.092 % |
11.29/11.33	|     29121 |   15566   111912   290677 |    60078    28085     80 | 18.226 % |
11.29/11.33	|     29880 |   15481   111912   290677 |    66086    28840     80 | 18.406 % |
11.29/11.33	|     31019 |   15439   111912   290677 |    72694    29881     83 | 18.495 % |
11.29/11.33	|     32727 |   15340   111912   290677 |    79964    31584     84 | 18.706 % |
11.29/11.33	|     35289 |   15241   111912   290677 |    87960    34141     89 | 18.916 % |
11.29/11.33	|     39133 |   14890   111912   290677 |    96756    37725     94 | 19.662 % |
11.29/11.33	|     44899 |   14662   111912   290677 |   106432    43478    102 | 20.147 % |
11.29/11.33	|     53548 |   14328   111912   290677 |   117075    52005    107 | 20.857 % |
11.29/11.33	===============================================================================
11.29/11.33	c Found solution: -41
11.29/11.34	c ---[   0]---> Sorter-cost:    0     Base:
82.58/82.61	|  Eliminated clauses:           0.76 Mb                                      |
82.58/82.61	============================[ Search Statistics ]==============================
82.58/82.61	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
82.58/82.61	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
82.58/82.61	===============================================================================
82.58/82.61	|     54432 |   14160   108582   276505 |    39813    22437     88 | 20.850 % |
82.58/82.61	|     54582 |   14160   108582   276505 |    43794    22587     88 | 20.850 % |
82.58/82.61	|     54807 |   14160   108582   276505 |    48174    22812     88 | 20.850 % |
82.58/82.61	|     55144 |   14160   108582   276505 |    52991    23149     88 | 20.850 % |
82.58/82.61	|     55650 |   14105   108582   276505 |    58290    23652     87 | 20.967 % |
82.58/82.61	|     56409 |   14081   108582   276505 |    64119    24410     90 | 21.018 % |
82.58/82.61	|     57548 |   14063   108582   276505 |    70531    25548     93 | 21.056 % |
82.58/82.61	|     59256 |   14023   108582   276505 |    77585    27254     95 | 21.141 % |
82.58/82.61	|     61818 |   13812   108582   276505 |    85343    29806     98 | 21.589 % |
82.58/82.61	|     65662 |   13656   108582   276505 |    93877    33380    104 | 21.920 % |
82.58/82.61	|     71428 |   13332   108582   276505 |   103265    39130    114 | 22.608 % |
82.58/82.61	|     80077 |   12960   108582   276505 |   113592    47693    122 | 23.398 % |
82.58/82.61	|     93051 |   12586   108582   276505 |   124951    60451    136 | 24.192 % |
82.58/82.61	|    112512 |   12209   108582   276505 |   137446    79889    148 | 24.993 % |
82.58/82.61	|    141704 |   11750   108582   276505 |   151191   108843    163 | 25.967 % |
82.58/82.61	|    185493 |   11299   108582   276505 |   166310   152608    182 | 26.925 % |
82.58/82.61	===============================================================================
82.58/82.61	c Found solution: -42
82.58/82.62	c ---[   0]---> Sorter-cost:    0     Base:
297.70/297.88	|  Eliminated clauses:           0.77 Mb                                      |
297.70/297.88	============================[ Search Statistics ]==============================
297.70/297.88	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
297.70/297.88	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
297.70/297.88	===============================================================================
297.70/297.88	|    250089 |    9948    99585   238944 |    36514    25462    182 | 28.999 % |
297.70/297.88	|    250239 |    9948    99585   238944 |    40165    25612    182 | 28.999 % |
297.70/297.88	|    250464 |    9948    99585   238944 |    44182    25837    182 | 28.999 % |
297.70/297.88	|    250801 |    9904    99585   238944 |    48600    26170    182 | 29.093 % |
297.70/297.88	|    251307 |    9855    99585   238944 |    53460    26673    181 | 29.197 % |
297.70/297.88	|    252066 |    9795    99585   238944 |    58806    27428    180 | 29.324 % |
297.70/297.88	|    253205 |    9786    99585   238944 |    64687    28566    180 | 29.343 % |
297.70/297.88	|    254913 |    9672    99585   238944 |    71156    30267    179 | 29.585 % |
297.70/297.88	|    257475 |    9660    99585   238944 |    78272    32828    179 | 29.611 % |
297.70/297.88	|    261319 |    9660    99585   238944 |    86099    36672    179 | 29.611 % |
297.70/297.88	|    267085 |    9562    99585   238944 |    94709    42434    182 | 29.819 % |
297.70/297.88	|    275734 |    9473    99585   238944 |   104180    51077    184 | 30.008 % |
297.70/297.88	|    288708 |    9270    99585   238944 |   114598    64041    191 | 30.439 % |
297.70/297.88	|    308169 |    9120    99585   238944 |   126057    83493    200 | 30.757 % |
297.70/297.88	|    337361 |    8946    99585   238944 |   138663   112483    207 | 31.127 % |
297.70/297.88	|    381150 |    8603    99585   238944 |   152530    32805    145 | 31.855 % |
297.70/297.88	|    446834 |    8302    99585   238944 |   167783    98332    210 | 32.494 % |
297.70/297.88	|    545360 |    8000    99585   238944 |   184561    44842    178 | 33.135 % |
297.70/297.88	|    693149 |    7319    99585   238944 |   203017   192366    228 | 34.581 % |
297.70/297.88	===============================================================================
297.70/297.88	c Found solution: -43
297.70/297.88	c ---[   0]---> Sorter-cost:    0     Base:
481.87/482.07	|  Eliminated clauses:           0.78 Mb                                      |
481.87/482.07	============================[ Search Statistics ]==============================
481.87/482.07	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
481.87/482.07	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
481.87/482.07	===============================================================================
481.87/482.07	|    713382 |    7070    93577   213220 |    34311    26376    211 | 34.669 % |
481.87/482.07	|    713532 |    7047    93577   213220 |    37742    26524    210 | 34.717 % |
481.87/482.07	|    713757 |    7047    93577   213220 |    41516    26749    210 | 34.717 % |
481.87/482.07	|    714094 |    7025    93577   213220 |    45668    27085    209 | 34.764 % |
481.87/482.07	|    714600 |    7025    93577   213220 |    50235    27591    208 | 34.764 % |
481.87/482.07	|    715359 |    7025    93577   213220 |    55259    28350    205 | 34.764 % |
481.87/482.07	|    716498 |    7025    93577   213220 |    60785    29489    205 | 34.764 % |
481.87/482.07	|    718206 |    6962    93577   213220 |    66863    31193    202 | 34.897 % |
481.87/482.07	|    720768 |    6808    93577   213220 |    73549    33748    200 | 35.221 % |
481.87/482.07	|    724612 |    6712    93577   213220 |    80904    37585    195 | 35.423 % |
481.87/482.07	|    730378 |    6589    93577   213220 |    88995    43344    194 | 35.683 % |
481.87/482.07	|    739027 |    6525    93577   213220 |    97894    51987    192 | 35.818 % |
481.87/482.07	|    752001 |    6411    93577   213220 |   107684    64953    196 | 36.058 % |
481.87/482.07	|    771462 |    6368    93577   213220 |   118452    84410    198 | 36.148 % |
481.87/482.07	|    800654 |    6215    93577   213220 |   130298   113594    204 | 36.471 % |
481.87/482.07	|    844443 |    6100    93577   213220 |   143327    39995    161 | 36.713 % |
481.87/482.07	|    910127 |    5746    93577   213220 |   157660   105663    198 | 37.459 % |
481.87/482.07	|   1008653 |    5471    93577   213220 |   173426    57839    196 | 38.039 % |
481.87/482.07	===============================================================================
481.87/482.07	c Found solution: -44
481.87/482.08	c ---[   0]---> Sorter-cost:    0     Base:
683.21/683.45	|  Eliminated clauses:           0.79 Mb                                      |
683.21/683.45	============================[ Search Statistics ]==============================
683.21/683.45	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
683.21/683.45	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
683.21/683.45	===============================================================================
683.21/683.45	|   1139995 |    5095    89429   197164 |    32790    26382    199 | 38.330 % |
683.21/683.45	|   1140145 |    5095    89429   197164 |    36069    26532    199 | 38.330 % |
683.21/683.45	|   1140370 |    5095    89429   197164 |    39676    26757    199 | 38.330 % |
683.21/683.45	|   1140707 |    5095    89429   197164 |    43644    27094    199 | 38.330 % |
683.21/683.45	|   1141213 |    5095    89429   197164 |    48008    27600    199 | 38.330 % |
683.21/683.45	|   1141972 |    5095    89429   197164 |    52809    28359    196 | 38.330 % |
683.21/683.45	|   1143111 |    5095    89429   197164 |    58090    29498    197 | 38.330 % |
683.21/683.45	|   1144819 |    5095    89429   197164 |    63899    31206    193 | 38.330 % |
683.21/683.45	|   1147381 |    5095    89429   197164 |    70289    33768    194 | 38.330 % |
683.21/683.45	|   1151225 |    5070    89429   197164 |    77318    37610    193 | 38.383 % |
683.21/683.45	|   1156991 |    5060    89429   197164 |    85050    43375    190 | 38.404 % |
683.21/683.45	|   1165640 |    5041    89429   197164 |    93555    52021    191 | 38.444 % |
683.21/683.45	|   1178614 |    4997    89429   197164 |   102911    64993    195 | 38.537 % |
683.21/683.45	|   1198075 |    4997    89429   197164 |   113202    84385    200 | 38.537 % |
683.21/683.45	|   1227267 |    4982    89429   197164 |   124522   113575    203 | 38.569 % |
683.21/683.45	|   1271056 |    4954    89429   197164 |   136974    44119    177 | 38.628 % |
683.21/683.45	|   1336740 |    4833    89429   197164 |   150672   109747    202 | 38.883 % |
683.21/683.45	|   1435266 |    4625    89429   197164 |   165739    68147    197 | 39.321 % |
683.21/683.45	|   1583055 |    4524    89429   197164 |   182313    62966    200 | 39.534 % |
683.21/683.45	===============================================================================
683.21/683.45	c Found solution: -45
683.21/683.46	c ---[   0]---> Sorter-cost:    0     Base:
1149.03/1149.38	|  Eliminated clauses:           0.79 Mb                                      |
1149.03/1149.38	============================[ Search Statistics ]==============================
1149.03/1149.38	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1149.03/1149.38	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1149.03/1149.38	===============================================================================
1149.03/1149.38	|   1634983 |    4425    88029   191592 |    32277    21614    232 | 39.520 % |
1149.03/1149.38	|   1635133 |    4409    88029   191592 |    35505    21726    232 | 39.553 % |
1149.03/1149.38	|   1635358 |    4409    88029   191592 |    39055    21951    230 | 39.553 % |
1149.03/1149.38	|   1635695 |    4409    88029   191592 |    42961    22288    229 | 39.553 % |
1149.03/1149.38	|   1636201 |    4409    88029   191592 |    47257    22794    226 | 39.553 % |
1149.03/1149.38	|   1636960 |    4409    88029   191592 |    51982    23553    223 | 39.553 % |
1149.03/1149.38	|   1638099 |    4409    88029   191592 |    57181    24692    220 | 39.553 % |
1149.03/1149.38	|   1639807 |    4380    88029   191592 |    62899    26398    214 | 39.614 % |
1149.03/1149.38	|   1642369 |    4339    88029   191592 |    69189    28957    209 | 39.701 % |
1149.03/1149.38	|   1646213 |    4339    88029   191592 |    76108    32801    203 | 39.701 % |
1149.03/1149.38	|   1651979 |    4307    88029   191592 |    83719    38565    197 | 39.768 % |
1149.03/1149.38	|   1660628 |    4307    88029   191592 |    92090    47214    193 | 39.768 % |
1149.03/1149.38	|   1673602 |    4306    88029   191592 |   101299    60163    191 | 39.770 % |
1149.03/1149.38	|   1693063 |    4305    88029   191592 |   111429    79623    193 | 39.772 % |
1149.03/1149.38	|   1722255 |    4298    88029   191592 |   122572   108802    193 | 39.787 % |
1149.03/1149.38	|   1766044 |    4221    88029   191592 |   134830    37641    172 | 39.949 % |
1149.03/1149.38	|   1831728 |    4145    88029   191592 |   148313   103255    191 | 40.109 % |
1149.03/1149.38	|   1930254 |    4083    88029   191592 |   163144    64513    193 | 40.240 % |
1149.03/1149.38	|   2078043 |    3918    88029   191592 |   179459    56262    203 | 40.587 % |
1149.03/1149.38	|   2299726 |    3790    88029   191592 |   197405   108733    205 | 40.856 % |
1149.03/1149.38	|   2632251 |    3526    88029   191592 |   217145    60151    216 | 41.412 % |
1149.03/1149.38	===============================================================================
1149.03/1149.38	c Found solution: -46
1149.03/1149.38	c ---[   0]---> Sorter-cost:    0     Base:
1800.01/1800.40	|  Eliminated clauses:           0.80 Mb                                      |
1800.01/1800.40	============================[ Search Statistics ]==============================
1800.01/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.01/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.01/1800.40	===============================================================================
1800.01/1800.40	|   2706812 |    3334    85708   182414 |    31426    18074    313 | 41.463 % |
1800.01/1800.40	|   2706962 |    3334    85708   182414 |    34568    18224    312 | 41.463 % |
1800.01/1800.40	|   2707187 |    3334    85708   182414 |    38025    18449    309 | 41.463 % |
1800.01/1800.40	|   2707524 |    3334    85708   182414 |    41828    18786    305 | 41.463 % |
1800.01/1800.40	|   2708030 |    3334    85708   182414 |    46011    19292    300 | 41.463 % |
1800.01/1800.40	|   2708789 |    3321    85708   182414 |    50612    20050    291 | 41.490 % |
1800.01/1800.40	|   2709928 |    3321    85708   182414 |    55673    21189    282 | 41.490 % |
1800.01/1800.40	|   2711636 |    3321    85708   182414 |    61240    22897    268 | 41.490 % |
1800.01/1800.40	|   2714198 |    3321    85708   182414 |    67364    25459    255 | 41.490 % |
1800.01/1800.40	|   2718042 |    3303    85708   182414 |    74101    29302    236 | 41.528 % |
1800.01/1800.40	|   2723808 |    3302    85708   182414 |    81511    35067    220 | 41.530 % |
1800.01/1800.40	|   2732457 |    3253    85708   182414 |    89662    43713    203 | 41.634 % |
1800.01/1800.40	|   2745431 |    3253    85708   182414 |    98629    56687    191 | 41.634 % |
1800.01/1800.40	|   2764892 |    3238    85708   182414 |   108491    76147    183 | 41.665 % |
1800.01/1800.40	|   2794084 |    3202    85708   182414 |   119341   105337    179 | 41.741 % |
1800.01/1800.40	|   2837873 |    3202    85708   182414 |   131275    35258    171 | 41.741 % |
1800.01/1800.40	|   2903557 |    3120    85708   182414 |   144402   100934    178 | 41.914 % |
1800.01/1800.40	|   3002083 |    3108    85708   182414 |   158843    63665    169 | 41.939 % |
1800.01/1800.40	|   3149872 |    3033    85708   182414 |   174727    63173    185 | 42.097 % |
1800.01/1800.40	|   3371555 |    2957    85708   182414 |   192200   117377    181 | 42.257 % |
1800.01/1800.40	|   3704080 |    2875    85708   182414 |   211420    71966    223 | 42.429 % |
1800.01/1800.40	|   4202868 |    2776    85708   182414 |   232562   160128    179 | 42.638 % |
1800.01/1800.40	c 
1800.01/1800.40	c *** TERMINATED ***
1800.01/1800.40	s SATISFIABLE
1800.01/1800.40	v -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	-46

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-4112548-1466540960/watcher-4112548-1466540960 -o /tmp/evaluation-result-4112548-1466540960/solver-4112548-1466540960 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466515278-25742 --watchdog 1960 minisatp HOME/instance-4112548-1466540960.opb 

pid=30259
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.01 2.03 2.00 3/176 30262
/proc/meminfo: memFree=31507000/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=6588 CPUtime=0 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 56146477 6746112 238 33554432000 4194304 5646918 140735929672880 140736591925256 4817409 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 1647 238 94 355 0 1288 0

[startup+0.100161 s]
/proc/loadavg: 2.01 2.03 2.00 3/176 30262
/proc/meminfo: memFree=31507000/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=12172 CPUtime=0.09 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 1767 0 0 0 9 0 0 0 20 0 1 0 56146477 12464128 1643 33554432000 4194304 5646918 140735929672880 140736591925256 4251039 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 3043 1643 94 355 0 2684 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12172

[startup+0.200326 s]
/proc/loadavg: 2.01 2.03 2.00 3/176 30262
/proc/meminfo: memFree=31507000/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=18372 CPUtime=0.19 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 3285 0 0 0 19 0 0 0 20 0 1 0 56146477 18812928 3161 33554432000 4194304 5646918 140735929672880 140736591925256 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 4593 3162 94 355 0 4234 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18372

[startup+0.300301 s]
/proc/loadavg: 2.01 2.03 2.00 3/176 30262
/proc/meminfo: memFree=31507000/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=24444 CPUtime=0.28 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 4805 0 0 0 28 0 0 0 20 0 1 0 56146477 25030656 4681 33554432000 4194304 5646918 140735929672880 140736591925256 4953072 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 6111 4682 94 355 0 5752 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24444

[startup+0.700266 s]
/proc/loadavg: 2.01 2.03 2.00 3/176 30262
/proc/meminfo: memFree=31507000/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=48880 CPUtime=0.69 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 10911 0 0 0 67 2 0 0 20 0 1 0 56146477 50053120 10787 33554432000 4194304 5646918 140735929672880 140736591925256 4251039 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 12220 10788 94 355 0 11861 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48880

[startup+1.50031 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 30263
/proc/meminfo: memFree=31440116/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=69956 CPUtime=1.49 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 17369 0 0 0 143 6 0 0 20 0 1 0 56146477 71634944 16762 33554432000 4194304 5646918 140735929672880 140735929671544 4402684 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 17489 16762 153 355 0 17130 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69956

[startup+3.1003 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 30263
/proc/meminfo: memFree=31439744/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=74352 CPUtime=3.08 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 17885 0 0 0 302 6 0 0 20 0 1 0 56146477 76136448 17265 33554432000 4194304 5646918 140735929672880 140735929671160 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 18588 17265 155 355 0 18229 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 74352

[startup+6.30031 s]
/proc/loadavg: 2.00 2.03 2.00 4/177 30263
/proc/meminfo: memFree=31426912/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=85952 CPUtime=6.28 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 19180 0 0 0 622 6 0 0 20 0 1 0 56146477 88014848 19057 33554432000 4194304 5646918 140735929672880 140735929671576 4416598 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 21488 19057 156 355 0 21129 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 85952

[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 30263
/proc/meminfo: memFree=31622328/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=86220 CPUtime=12.69 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 20089 0 0 0 1262 7 0 0 20 0 1 0 56146477 88289280 19554 33554432000 4194304 5646918 140735929672880 140735929671592 4403497 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 21555 19554 156 355 0 21196 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86220

[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 30263
/proc/meminfo: memFree=31538128/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=116864 CPUtime=25.49 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 21101 0 0 0 2541 8 0 0 20 0 1 0 56146477 119668736 28228 33554432000 4194304 5646918 140735929672880 140735929671576 4403495 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 29216 28228 156 355 0 28857 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 116864

[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 30266
/proc/meminfo: memFree=31412548/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=198492 CPUtime=51.08 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 22298 0 0 0 5099 9 0 0 20 0 1 0 56146477 203255808 42197 33554432000 4194304 5646918 140735929672880 140735929671128 4403454 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 49623 42197 156 355 0 49264 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 198492

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 30267
/proc/meminfo: memFree=31337764/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=178752 CPUtime=102.28 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 24672 0 0 0 10214 14 0 0 20 0 1 0 56146477 183042048 41920 33554432000 4194304 5646918 140735929672880 140735929671576 4403176 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 44688 41920 156 355 0 44329 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 178752

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30268
/proc/meminfo: memFree=31454020/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=228840 CPUtime=162.25 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 25945 0 0 0 16206 19 0 0 20 0 1 0 56146477 234332160 47409 33554432000 4194304 5646918 140735929672880 140735929671576 4403173 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 57210 47409 156 355 0 56851 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 228840

[startup+222.307 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 30270
/proc/meminfo: memFree=31359884/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=200756 CPUtime=222.22 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 27196 0 0 0 22201 21 0 0 20 0 1 0 56146477 205574144 42061 33554432000 4194304 5646918 140735929672880 140735929671576 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 50189 42061 156 355 0 49830 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 200756

[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 30271
/proc/meminfo: memFree=31196592/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=332232 CPUtime=282.2 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 28058 0 0 0 28197 23 0 0 20 0 1 0 56146477 340205568 66938 33554432000 4194304 5646918 140735929672880 140735929671576 4403076 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 83058 66938 156 355 0 82699 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 332232

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 30272
/proc/meminfo: memFree=31359284/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=250844 CPUtime=342.19 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 29000 0 0 0 34193 26 0 0 20 0 1 0 56146477 256864256 54658 33554432000 4194304 5646918 140735929672880 140735929671576 4403091 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 62711 54658 156 355 0 62352 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 250844

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30273
/proc/meminfo: memFree=31206896/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=332232 CPUtime=402.18 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 30446 0 0 0 40189 29 0 0 20 0 1 0 56146477 340205568 60802 33554432000 4194304 5646918 140735929672880 140735929671576 4397384 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 83058 60802 156 355 0 82699 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 332232

[startup+462.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 30274
/proc/meminfo: memFree=31427884/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=332232 CPUtime=462.18 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 31880 0 0 0 46185 33 0 0 20 0 1 0 56146477 340205568 59254 33554432000 4194304 5646918 140735929672880 140735929671576 4403442 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 83058 59255 156 355 0 82699 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 332232

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 30276
/proc/meminfo: memFree=31337756/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=250844 CPUtime=522.17 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 32827 0 0 0 52181 36 0 0 20 0 1 0 56146477 256864256 53637 33554432000 4194304 5646918 140735929672880 140735929671576 4400325 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 62711 53637 156 355 0 62352 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 250844

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30277
/proc/meminfo: memFree=31223780/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=332232 CPUtime=582.13 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 34301 0 0 0 58174 39 0 0 20 0 1 0 56146477 340205568 61317 33554432000 4194304 5646918 140735929672880 140735929671576 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 83058 61317 156 355 0 82699 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 332232


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


[startup+882.307 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 30397
/proc/meminfo: memFree=31109328/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=250844 CPUtime=882.07 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 40904 0 0 0 88149 58 0 0 20 0 1 0 56146477 256864256 52615 33554432000 4194304 5646918 140735929672880 140735929671576 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 62711 52615 156 355 0 62352 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 250844

[startup+942.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 30398
/proc/meminfo: memFree=31158492/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=200756 CPUtime=942.06 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 42039 0 0 0 94145 61 0 0 20 0 1 0 56146477 205574144 41050 33554432000 4194304 5646918 140735929672880 140735929671576 4403495 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 50189 41050 156 355 0 49830 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 200756

[startup+1002.3 s]
/proc/loadavg: 2.24 2.08 2.02 3/177 30399
/proc/meminfo: memFree=31051624/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=332232 CPUtime=1002.04 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 42905 0 0 0 100142 62 0 0 20 0 1 0 56146477 340205568 66951 33554432000 4194304 5646918 140735929672880 140735929671576 4403136 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 83058 66951 156 355 0 82699 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 332232

[startup+1062.3 s]
/proc/loadavg: 2.15 2.08 2.02 3/177 30400
/proc/meminfo: memFree=31102956/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=250844 CPUtime=1062.04 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 43829 0 0 0 106138 66 0 0 20 0 1 0 56146477 256864256 54151 33554432000 4194304 5646918 140735929672880 140735929671576 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 62711 54151 156 355 0 62352 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 250844

[startup+1122.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/177 30402
/proc/meminfo: memFree=31166196/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=169936 CPUtime=1122.03 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 44894 0 0 0 112135 68 0 0 20 0 1 0 56146477 174014464 38935 33554432000 4194304 5646918 140735929672880 140735929671176 4388947 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 42484 38935 156 355 0 42125 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 169936

[startup+1182.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/177 30403
/proc/meminfo: memFree=31113320/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=120616 CPUtime=1182.01 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 46217 0 0 0 118128 73 0 0 20 0 1 0 56146477 123510784 29224 33554432000 4194304 5646918 140735929672880 140735929671576 4402867 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 30154 29224 156 355 0 29795 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 120616

[startup+1242.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/178 30407
/proc/meminfo: memFree=31159140/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=169936 CPUtime=1242.01 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 47651 0 0 0 124124 77 0 0 20 0 1 0 56146477 174014464 39960 33554432000 4194304 5646918 140735929672880 140735929671176 4403136 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 42484 39960 156 355 0 42125 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 169936

[startup+1302.3 s]
/proc/loadavg: 2.08 2.08 2.01 3/177 30408
/proc/meminfo: memFree=31153604/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=200756 CPUtime=1302 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 48645 0 0 0 130119 81 0 0 20 0 1 0 56146477 205574144 42075 33554432000 4194304 5646918 140735929672880 140735929671576 4403184 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 50189 42075 156 355 0 49830 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 200756

[startup+1362.3 s]
/proc/loadavg: 2.07 2.08 2.01 3/177 30409
/proc/meminfo: memFree=31161696/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=169936 CPUtime=1361.99 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 50018 0 0 0 136115 84 0 0 20 0 1 0 56146477 174014464 39448 33554432000 4194304 5646918 140735929672880 140735929671176 4403464 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 42484 39448 156 355 0 42125 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 169936

[startup+1422.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/177 30411
/proc/meminfo: memFree=31058876/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=332232 CPUtime=1421.97 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 50963 0 0 0 142111 86 0 0 20 0 1 0 56146477 340205568 64904 33554432000 4194304 5646918 140735929672880 140735929671576 4403118 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 83058 64904 156 355 0 82699 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 332232

[startup+1482.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 30412
/proc/meminfo: memFree=31087572/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=250844 CPUtime=1481.96 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 52075 0 0 0 148107 89 0 0 20 0 1 0 56146477 256864256 57924 33554432000 4194304 5646918 140735929672880 140735929671576 4403176 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 62711 57924 156 355 0 62352 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 250844

[startup+1542.31 s]
/proc/loadavg: 2.09 2.08 2.01 3/177 30413
/proc/meminfo: memFree=31082756/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=269752 CPUtime=1541.96 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 53707 0 0 0 154103 93 0 0 20 0 1 0 56146477 276226048 59127 33554432000 4194304 5646918 140735929672880 140735929671576 4403147 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 67438 59127 156 355 0 67079 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 269752

[startup+1602.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/177 30414
/proc/meminfo: memFree=31132596/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=219664 CPUtime=1601.94 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 54993 0 0 0 160099 95 0 0 20 0 1 0 56146477 224935936 47195 33554432000 4194304 5646918 140735929672880 140735929671576 4403420 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 54916 47195 156 355 0 54557 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 219664

[startup+1662.3 s]
/proc/loadavg: 2.11 2.09 2.02 3/177 30415
/proc/meminfo: memFree=31049356/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=351140 CPUtime=1661.93 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 55847 0 0 0 166096 97 0 0 20 0 1 0 56146477 359567360 67464 33554432000 4194304 5646918 140735929672880 140735929671576 4403420 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 87785 67464 156 355 0 87426 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 351140

[startup+1722.3 s]
/proc/loadavg: 2.16 2.10 2.02 3/177 30417
/proc/meminfo: memFree=31084144/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=269752 CPUtime=1721.92 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 56771 0 0 0 172091 101 0 0 20 0 1 0 56146477 276226048 58760 33554432000 4194304 5646918 140735929672880 140735929671576 4403040 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 67438 58760 156 355 0 67079 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 269752

[startup+1782.3 s]
/proc/loadavg: 2.12 2.09 2.02 3/177 30418
/proc/meminfo: memFree=31142876/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=219664 CPUtime=1781.91 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 57905 0 0 0 178088 103 0 0 20 0 1 0 56146477 224935936 44635 33554432000 4194304 5646918 140735929672880 140735929671576 4402788 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 54916 44635 156 355 0 54557 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 219664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.08 2.09 2.02 3/177 30418
/proc/meminfo: memFree=31104652/32872528 swapFree=249320/249320
[pid=30262] ppid=30259 vsize=269752 CPUtime=1800.01 cores=1,3,5,7
/proc/30262/stat : 30262 (minisatp) R 30259 30262 25725 0 -1 4202496 58224 0 0 0 179897 104 0 0 20 0 1 0 56146477 276226048 53640 33554432000 4194304 5646918 140735929672880 140735929671576 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/30262/statm: 67438 53640 156 355 0 67079 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 269752

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 30262 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.03
CPU user time (s): 1798.98
CPU system time (s): 1.05084
CPU usage (%): 99.9789
Max. virtual memory (cumulated for all children) (KiB): 351140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.05084
maximum resident set size= 298504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58224
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= 140
involuntary context switches= 1866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5683 second user time and 6.97394 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-21 22:29:21
IDJOB=4112548
IDBENCH=2261
IDSOLVER=2555
FILE ID=node103/4112548-1466540960
RUNJOBID= node103-1466515278-25742
PBS_JOBID= 19942890
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/frb50-23-opb/normalized-frb50-23-3.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112548-1466540960/watcher-4112548-1466540960 -o /tmp/evaluation-result-4112548-1466540960/solver-4112548-1466540960 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466515278-25742 --watchdog 1960  minisatp HOME/instance-4112548-1466540960.opb

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

MD5SUM BENCH= 29f577041bedcbf69a98210424b233be
RANDOM SEED=1192242028

node103.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		: 2667.278
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	: 5334.55
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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.55
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		: 2667.278
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31508280 kB
Buffers:           20084 kB
Cached:            68256 kB
SwapCached:         1184 kB
Active:           347100 kB
Inactive:          58388 kB
Active(anon):     317356 kB
Inactive(anon):     2036 kB
Active(file):      29744 kB
Inactive(file):    56352 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67100264 kB
Dirty:              5480 kB
Writeback:             0 kB
AnonPages:        637320 kB
Mapped:             8756 kB
Shmem:                 0 kB
Slab:             568592 kB
SReclaimable:      12772 kB
SUnreclaim:       555820 kB
KernelStack:        1472 kB
PageTables:         5008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     692092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    282624 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-4112548-1466540960.opb

Free space on /tmp at the end= 71724 MiB
End job on node103 at 2016-06-21 22:59:21