Trace number 4112549

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)-47 1800.08 1800.5

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
MD5SUMe81d6b8e8ff8ec031773b7b65d16ea78
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-48
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 -50
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints80258
Number of constraints which are clauses80258
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.75	c Converting 80258 PB-constraints to clauses...
0.69/0.75	c   -- Unit propagations: (none)
0.69/0.75	c   -- Detecting intervals from adjacent constraints: (none)
0.69/0.75	c   -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.79/0.89	============================[ Search Statistics ]==============================
0.79/0.89	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/0.89	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.79/0.89	===============================================================================
0.79/0.89	===============================================================================
0.79/0.89	c Found solution: -36
0.79/0.89	c ---[   0]---> Sorter-cost:63046     Base:
3.49/3.52	|  Eliminated clauses:           0.71 Mb                                      |
3.49/3.52	============================[ Search Statistics ]==============================
3.49/3.52	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.49/3.52	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.49/3.52	===============================================================================
3.49/3.52	|       100 |   24448   129466   369302 |    47470       93     47 |  0.186 % |
3.49/3.52	|       250 |   24285   129466   369302 |    52217      232     35 |  0.539 % |
3.49/3.52	|       475 |   23897   129466   369302 |    57439      419     34 |  1.379 % |
3.49/3.52	|       812 |   23576   129466   369302 |    63183      736     38 |  2.073 % |
3.49/3.52	|      1318 |   23172   129466   369302 |    69502     1173     36 |  2.947 % |
3.49/3.52	|      2077 |   22442   129466   369302 |    76452     1783     39 |  4.527 % |
3.49/3.52	|      3216 |   21614   129466   369302 |    84097     2863     43 |  6.319 % |
3.49/3.52	|      4924 |   20804   129466   369302 |    92507     4491     42 |  8.071 % |
3.49/3.52	|      7486 |   19950   129466   369302 |   101758     6952     49 |  9.919 % |
3.49/3.52	|     11330 |   18412   129466   369302 |   111933    10367     56 | 13.247 % |
3.49/3.52	===============================================================================
3.49/3.52	c Found solution: -38
3.49/3.53	c ---[   0]---> Sorter-cost:    0     Base:
5.39/5.49	|  Eliminated clauses:           0.72 Mb                                      |
5.39/5.49	============================[ Search Statistics ]==============================
5.39/5.49	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.39/5.49	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
5.39/5.49	===============================================================================
5.39/5.49	|     12906 |   17605   114944   303648 |    42146    11859     60 | 14.129 % |
5.39/5.49	|     13056 |   17593   114944   303648 |    46360    12008     60 | 14.155 % |
5.39/5.49	|     13281 |   17535   114944   303648 |    50996    12231     61 | 14.281 % |
5.39/5.49	|     13618 |   17468   114944   303648 |    56096    12565     61 | 14.425 % |
5.39/5.49	|     14124 |   17256   114944   303648 |    61706    13018     61 | 14.883 % |
5.39/5.49	|     14883 |   17189   114944   303648 |    67876    13771     62 | 15.028 % |
5.39/5.49	|     16022 |   17002   114944   303648 |    74664    14832     64 | 15.432 % |
5.39/5.49	|     17730 |   16606   114944   303648 |    82130    16454     65 | 16.288 % |
5.39/5.49	|     20292 |   16031   114944   303648 |    90343    18990     67 | 17.531 % |
5.39/5.49	|     24136 |   15407   114944   303648 |    99378    22601     73 | 18.879 % |
5.39/5.49	===============================================================================
5.39/5.49	c Found solution: -41
5.39/5.50	c ---[   0]---> Sorter-cost:    0     Base:
13.79/13.87	|  Eliminated clauses:           0.74 Mb                                      |
13.79/13.87	============================[ Search Statistics ]==============================
13.79/13.87	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
13.79/13.87	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
13.79/13.87	===============================================================================
13.79/13.87	|     25047 |   15185   109942   283577 |    40312    23511     77 | 18.882 % |
13.79/13.87	|     25197 |   15185   109942   283577 |    44343    23661     76 | 18.882 % |
13.79/13.87	|     25422 |   15148   109942   283577 |    48777    23884     76 | 18.961 % |
13.79/13.87	|     25759 |   15088   109942   283577 |    53655    24218     77 | 19.089 % |
13.79/13.87	|     26265 |   15051   109942   283577 |    59020    24721     77 | 19.168 % |
13.79/13.87	|     27024 |   14859   109942   283577 |    64922    25470     77 | 19.578 % |
13.79/13.87	|     28163 |   14618   109942   283577 |    71415    26454     79 | 20.092 % |
13.79/13.87	|     29871 |   14414   109942   283577 |    78556    28150     80 | 20.528 % |
13.79/13.87	|     32433 |   14324   109942   283577 |    86412    30707     86 | 20.720 % |
13.79/13.87	|     36277 |   13774   109942   283577 |    95053    34335     88 | 21.893 % |
13.79/13.87	|     42043 |   13432   109942   283577 |   104559    39713     96 | 22.623 % |
13.79/13.87	|     50692 |   13015   109942   283577 |   115015    48345    104 | 23.513 % |
13.79/13.87	|     63666 |   12272   109942   283577 |   126516    61169    114 | 25.099 % |
13.79/13.87	===============================================================================
13.79/13.87	c Found solution: -42
13.79/13.87	c ---[   0]---> Sorter-cost:    0     Base:
63.18/63.28	|  Eliminated clauses:           0.76 Mb                                      |
63.18/63.28	============================[ Search Statistics ]==============================
63.18/63.28	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
63.18/63.28	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
63.18/63.28	===============================================================================
63.18/63.28	|     66755 |   11769   102695   253588 |    37654    23655    103 | 25.357 % |
63.18/63.28	|     66905 |   11767   102695   253588 |    41420    23804    103 | 25.361 % |
63.18/63.28	|     67130 |   11767   102695   253588 |    45562    24029    103 | 25.361 % |
63.18/63.28	|     67467 |   11767   102695   253588 |    50118    24366    103 | 25.361 % |
63.18/63.28	|     67973 |   11767   102695   253588 |    55130    24872    104 | 25.361 % |
63.18/63.28	|     68732 |   11742   102695   253588 |    60643    25630    104 | 25.415 % |
63.18/63.28	|     69871 |   11671   102695   253588 |    66707    26765    105 | 25.566 % |
63.18/63.28	|     71579 |   11547   102695   253588 |    73378    28189    108 | 25.831 % |
63.18/63.28	|     74141 |   11354   102695   253588 |    80716    30739    110 | 26.243 % |
63.18/63.28	|     77985 |   11167   102695   253588 |    88788    34572    115 | 26.641 % |
63.18/63.28	|     83751 |   10798   102695   253588 |    97666    40208    119 | 27.429 % |
63.18/63.28	|     92400 |   10743   102695   253588 |   107433    48854    129 | 27.546 % |
63.18/63.28	|    105374 |   10457   102695   253588 |   118176    61668    141 | 28.157 % |
63.18/63.28	|    124835 |   10010   102695   253588 |   129994    81105    149 | 29.110 % |
63.18/63.28	|    154027 |    9423   102695   253588 |   142994   109723    162 | 30.363 % |
63.18/63.28	|    197816 |    9009   102695   253588 |   157293   152932    179 | 31.246 % |
63.18/63.28	===============================================================================
63.18/63.28	c Found solution: -43
63.18/63.28	c ---[   0]---> Sorter-cost:    0     Base:
114.77/114.87	|  Eliminated clauses:           0.77 Mb                                      |
114.77/114.87	============================[ Search Statistics ]==============================
114.77/114.87	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
114.77/114.87	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
114.77/114.87	===============================================================================
114.77/114.87	|    204305 |    8666    96196   226389 |    35271    32393    119 | 31.411 % |
114.77/114.87	|    204455 |    8666    96196   226389 |    38799    32543    119 | 31.411 % |
114.77/114.87	|    204680 |    8652    96196   226389 |    42678    32767    119 | 31.440 % |
114.77/114.87	|    205017 |    8651    96196   226389 |    46946    33103    119 | 31.442 % |
114.77/114.87	|    205523 |    8651    96196   226389 |    51641    33609    120 | 31.442 % |
114.77/114.87	|    206282 |    8591    96196   226389 |    56805    34364    120 | 31.569 % |
114.77/114.87	|    207421 |    8573    96196   226389 |    62486    35502    122 | 31.607 % |
114.77/114.87	|    209129 |    8555    96196   226389 |    68734    37209    122 | 31.646 % |
114.77/114.87	|    211691 |    8503    96196   226389 |    75608    39769    126 | 31.756 % |
114.77/114.87	|    215535 |    8390    96196   226389 |    83169    43606    129 | 31.995 % |
114.77/114.87	|    221301 |    8320    96196   226389 |    91486    49367    134 | 32.143 % |
114.77/114.87	|    229950 |    8226    96196   226389 |   100634    58010    142 | 32.341 % |
114.77/114.87	|    242924 |    8179    96196   226389 |   110698    70979    150 | 32.441 % |
114.77/114.87	|    262385 |    8017    96196   226389 |   121768    90428    161 | 32.783 % |
114.77/114.87	|    291577 |    7749    96196   226389 |   133944   119603    174 | 33.350 % |
114.77/114.87	|    335366 |    7259    96196   226389 |   147339    44539    156 | 34.387 % |
114.77/114.87	===============================================================================
114.77/114.87	c Found solution: -44
114.77/114.87	c ---[   0]---> Sorter-cost:    0     Base:
410.59/410.79	|  Eliminated clauses:           0.78 Mb                                      |
410.59/410.79	============================[ Search Statistics ]==============================
410.59/410.79	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
410.59/410.79	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
410.59/410.79	===============================================================================
410.59/410.79	|    349333 |    6829    92349   209938 |    33861    24383    161 | 34.853 % |
410.59/410.79	|    349483 |    6829    92349   209938 |    37247    24533    161 | 34.853 % |
410.59/410.79	|    349708 |    6829    92349   209938 |    40972    24758    161 | 34.853 % |
410.59/410.79	|    350045 |    6829    92349   209938 |    45069    25095    161 | 34.853 % |
410.59/410.79	|    350551 |    6829    92349   209938 |    49576    25601    161 | 34.853 % |
410.59/410.79	|    351310 |    6829    92349   209938 |    54533    26360    162 | 34.853 % |
410.59/410.79	|    352449 |    6810    92349   209938 |    59987    27498    162 | 34.893 % |
410.59/410.79	|    354157 |    6792    92349   209938 |    65986    29205    162 | 34.931 % |
410.59/410.79	|    356719 |    6792    92349   209938 |    72584    31767    164 | 34.931 % |
410.59/410.79	|    360563 |    6739    92349   209938 |    79843    35607    167 | 35.043 % |
410.59/410.79	|    366329 |    6629    92349   209938 |    87827    41366    169 | 35.276 % |
410.59/410.79	|    374978 |    6600    92349   209938 |    96610    50013    172 | 35.337 % |
410.59/410.79	|    387952 |    6458    92349   209938 |   106271    62976    174 | 35.637 % |
410.59/410.79	|    407413 |    6361    92349   209938 |   116898    82430    179 | 35.842 % |
410.59/410.79	|    436605 |    6286    92349   209938 |   128588   111616    186 | 36.001 % |
410.59/410.79	|    480394 |    6190    92349   209938 |   141447    38427    168 | 36.204 % |
410.59/410.79	|    546078 |    5911    92349   209938 |   155591   104096    196 | 36.794 % |
410.59/410.79	|    644604 |    5472    92349   209938 |   171150    57019    178 | 37.723 % |
410.59/410.79	|    792393 |    5210    92349   209938 |   188266    37128    223 | 38.277 % |
410.59/410.79	|   1014076 |    4740    92349   209938 |   207092    72761    211 | 39.271 % |
410.59/410.79	===============================================================================
410.59/410.79	c Found solution: -45
410.59/410.79	c ---[   0]---> Sorter-cost:    0     Base:
643.93/644.16	|  Eliminated clauses:           0.79 Mb                                      |
643.93/644.16	============================[ Search Statistics ]==============================
643.93/644.16	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
643.93/644.16	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
643.93/644.16	===============================================================================
643.93/644.16	|   1095601 |    4382    87153   189255 |    31956    26065    189 | 39.469 % |
643.93/644.16	|   1095751 |    4382    87153   189255 |    35151    26215    189 | 39.469 % |
643.93/644.16	|   1095976 |    4382    87153   189255 |    38666    26440    189 | 39.469 % |
643.93/644.16	|   1096313 |    4382    87153   189255 |    42533    26777    188 | 39.469 % |
643.93/644.16	|   1096819 |    4382    87153   189255 |    46786    27283    189 | 39.469 % |
643.93/644.16	|   1097578 |    4369    87153   189255 |    51465    28041    187 | 39.496 % |
643.93/644.16	|   1098717 |    4369    87153   189255 |    56612    29180    188 | 39.496 % |
643.93/644.16	|   1100425 |    4355    87153   189255 |    62273    30652    188 | 39.526 % |
643.93/644.16	|   1102987 |    4355    87153   189255 |    68500    33214    189 | 39.526 % |
643.93/644.16	|   1106831 |    4314    87153   189255 |    75350    37056    187 | 39.613 % |
643.93/644.16	|   1112597 |    4314    87153   189255 |    82885    42822    188 | 39.613 % |
643.93/644.16	|   1121246 |    4300    87153   189255 |    91174    51470    188 | 39.642 % |
643.93/644.16	|   1134220 |    4264    87153   189255 |   100291    64370    190 | 39.718 % |
643.93/644.16	|   1153681 |    4237    87153   189255 |   110321    83828    191 | 39.775 % |
643.93/644.16	|   1182873 |    4221    87153   189255 |   121353   113018    195 | 39.809 % |
643.93/644.16	|   1226662 |    4090    87153   189255 |   133488    44593    180 | 40.086 % |
643.93/644.16	|   1292346 |    4018    87153   189255 |   146837   110273    195 | 40.238 % |
643.93/644.16	|   1390872 |    3936    87153   189255 |   161521    71426    190 | 40.411 % |
643.93/644.16	|   1538661 |    3877    87153   189255 |   177673    67194    200 | 40.536 % |
643.93/644.16	===============================================================================
643.93/644.16	c Found solution: -46
643.93/644.17	c ---[   0]---> Sorter-cost:    0     Base:
1656.30/1656.78	|  Eliminated clauses:           0.79 Mb                                      |
1656.30/1656.78	============================[ Search Statistics ]==============================
1656.30/1656.78	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1656.30/1656.78	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1656.30/1656.78	===============================================================================
1656.30/1656.78	|   1721819 |    3619    85545   182938 |    31366    26236    184 | 40.793 % |
1656.30/1656.78	|   1721969 |    3619    85545   182938 |    34503    26386    183 | 40.793 % |
1656.30/1656.78	|   1722194 |    3619    85545   182938 |    37953    26611    184 | 40.793 % |
1656.30/1656.78	|   1722531 |    3619    85545   182938 |    41748    26948    184 | 40.793 % |
1656.30/1656.78	|   1723037 |    3619    85545   182938 |    45923    27454    184 | 40.793 % |
1656.30/1656.78	|   1723796 |    3619    85545   182938 |    50516    28213    183 | 40.793 % |
1656.30/1656.78	|   1724935 |    3619    85545   182938 |    55567    29352    184 | 40.793 % |
1656.30/1656.78	|   1726643 |    3619    85545   182938 |    61124    31060    184 | 40.793 % |
1656.30/1656.78	|   1729205 |    3619    85545   182938 |    67236    33622    182 | 40.793 % |
1656.30/1656.78	|   1733049 |    3610    85545   182938 |    73960    37465    181 | 40.812 % |
1656.30/1656.78	|   1738815 |    3610    85545   182938 |    81356    43231    181 | 40.812 % |
1656.30/1656.78	|   1747464 |    3610    85545   182938 |    89492    51880    182 | 40.812 % |
1656.30/1656.78	|   1760438 |    3599    85545   182938 |    98441    64852    181 | 40.836 % |
1656.30/1656.78	|   1779899 |    3586    85545   182938 |   108285    84281    182 | 40.863 % |
1656.30/1656.78	|   1809091 |    3585    85545   182938 |   119114   113472    185 | 40.865 % |
1656.30/1656.78	|   1852880 |    3562    85545   182938 |   131025    46988    172 | 40.914 % |
1656.30/1656.78	|   1918564 |    3548    85545   182938 |   144128   112668    187 | 40.943 % |
1656.30/1656.78	|   2017090 |    3471    85545   182938 |   158541    74552    180 | 41.106 % |
1656.30/1656.78	|   2164879 |    3398    85545   182938 |   174395    72952    190 | 41.260 % |
1656.30/1656.78	|   2386562 |    3282    85545   182938 |   191834   127501    188 | 41.505 % |
1656.30/1656.78	|   2719087 |    3186    85545   182938 |   211018    88094    220 | 41.708 % |
1656.30/1656.78	|   3217875 |    3036    85545   182938 |   232119   173677    172 | 42.025 % |
1656.30/1656.78	|   3966057 |    2861    85545   182938 |   255331   246850    167 | 42.395 % |
1656.30/1656.78	===============================================================================
1656.30/1656.78	c Found solution: -47
1656.30/1656.79	c ---[   0]---> Sorter-cost:    0     Base:
1800.06/1800.50	|  Eliminated clauses:           0.80 Mb                                      |
1800.06/1800.50	============================[ Search Statistics ]==============================
1800.06/1800.50	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.06/1800.50	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.06/1800.50	===============================================================================
1800.06/1800.50	|   4370969 |    2720    83633   175808 |    30665    24899    207 | 43.113 % |
1800.06/1800.50	|   4371119 |    2720    83633   175808 |    33731    25049    207 | 43.113 % |
1800.06/1800.50	|   4371344 |    2720    83633   175808 |    37105    25274    206 | 43.113 % |
1800.06/1800.50	|   4371681 |    2720    83633   175808 |    40815    25611    205 | 43.113 % |
1800.06/1800.50	|   4372187 |    2720    83633   175808 |    44897    26117    204 | 43.113 % |
1800.06/1800.50	|   4372946 |    2720    83633   175808 |    49386    26876    202 | 43.113 % |
1800.06/1800.50	|   4374085 |    2720    83633   175808 |    54325    28015    201 | 43.113 % |
1800.06/1800.50	|   4375793 |    2720    83633   175808 |    59758    29723    198 | 43.113 % |
1800.06/1800.50	|   4378355 |    2691    83633   175808 |    65734    32283    193 | 43.173 % |
1800.06/1800.50	|   4382199 |    2646    83633   175808 |    72307    36122    189 | 43.266 % |
1800.06/1800.50	|   4387965 |    2634    83633   175808 |    79538    41886    180 | 43.291 % |
1800.06/1800.50	|   4396614 |    2634    83633   175808 |    87492    50464    176 | 43.291 % |
1800.06/1800.50	|   4409588 |    2634    83633   175808 |    96241    63438    174 | 43.291 % |
1800.06/1800.50	|   4429049 |    2634    83633   175808 |   105865    82899    170 | 43.291 % |
1800.06/1800.50	|   4458241 |    2617    83633   175808 |   116451   112082    166 | 43.326 % |
1800.06/1800.50	|   4502030 |    2617    83633   175808 |   128097    45735    169 | 43.326 % |
1800.06/1800.50	|   4567714 |    2610    83633   175808 |   140906   111412    162 | 43.341 % |
1800.06/1800.50	|   4666240 |    2610    83633   175808 |   154997    74229    167 | 43.341 % |
1800.06/1800.50	|   4814029 |    2594    83633   175808 |   170497    73737    173 | 43.374 % |
1800.06/1800.50	c 
1800.06/1800.50	c *** TERMINATED ***
1800.06/1800.50	s SATISFIABLE
1800.06/1800.50	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	-47

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-4112549-1466540967/watcher-4112549-1466540967 -o /tmp/evaluation-result-4112549-1466540967/solver-4112549-1466540967 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466515264-21135 --watchdog 1960 minisatp HOME/instance-4112549-1466540967.opb 

pid=26161
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.00 2.00 2.00 3/176 26164
/proc/meminfo: memFree=31741228/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=6784 CPUtime=0 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 394 0 0 0 0 0 0 0 20 0 1 0 56147215 6946816 271 33554432000 4194304 5646918 140734994240800 140735864772104 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 1696 271 94 355 0 1337 0

[startup+0.100113 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26164
/proc/meminfo: memFree=31741228/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=12508 CPUtime=0.09 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 1819 0 0 0 9 0 0 0 20 0 1 0 56147215 12808192 1696 33554432000 4194304 5646918 140734994240800 140735864772104 4251061 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 3127 1696 94 355 0 2768 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12508

[startup+0.200344 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26164
/proc/meminfo: memFree=31741228/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=18504 CPUtime=0.19 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 3347 0 0 0 19 0 0 0 20 0 1 0 56147215 18948096 3224 33554432000 4194304 5646918 140734994240800 140735864772104 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 4626 3224 94 355 0 4267 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18504

[startup+0.300334 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26164
/proc/meminfo: memFree=31741228/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=24708 CPUtime=0.29 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 4870 0 0 0 29 0 0 0 20 0 1 0 56147215 25300992 4747 33554432000 4194304 5646918 140734994240800 140735864772104 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 6177 4747 94 355 0 5818 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24708

[startup+0.700281 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26164
/proc/meminfo: memFree=31741228/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=49216 CPUtime=0.69 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 10965 0 0 0 67 2 0 0 20 0 1 0 56147215 50397184 10842 33554432000 4194304 5646918 140734994240800 140734994240168 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 12304 10843 94 355 0 11945 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49216

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26165
/proc/meminfo: memFree=31672288/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=69176 CPUtime=1.49 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 17133 0 0 0 144 5 0 0 20 0 1 0 56147215 70836224 16535 33554432000 4194304 5646918 140734994240800 140734994240168 4403091 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 17294 16535 154 355 0 16935 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69176

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26165
/proc/meminfo: memFree=31672312/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=73572 CPUtime=3.09 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 17614 0 0 0 304 5 0 0 20 0 1 0 56147215 75337728 17003 33554432000 4194304 5646918 140734994240800 140734994239496 4402764 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 18393 17003 155 355 0 18034 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73572

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26165
/proc/meminfo: memFree=31659304/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=78196 CPUtime=6.29 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 18881 0 0 0 624 5 0 0 20 0 1 0 56147215 80072704 18762 33554432000 4194304 5646918 140734994240800 140734994239080 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 19549 18762 156 355 0 19190 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78196

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26165
/proc/meminfo: memFree=31684320/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=97372 CPUtime=12.69 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 19569 0 0 0 1263 6 0 0 20 0 1 0 56147215 99708928 23531 33554432000 4194304 5646918 140734994240800 140734994239048 4397514 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 24343 23531 156 355 0 23984 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 97372

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26165
/proc/meminfo: memFree=31623468/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=117060 CPUtime=25.49 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 21208 0 0 0 2542 7 0 0 20 0 1 0 56147215 119869440 27337 33554432000 4194304 5646918 140734994240800 140734994239496 4403176 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 29265 27337 156 355 0 28906 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 117060

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26168
/proc/meminfo: memFree=31614132/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=198688 CPUtime=51.08 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 22192 0 0 0 5100 8 0 0 20 0 1 0 56147215 203456512 40581 33554432000 4194304 5646918 140734994240800 140734994239048 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 49672 40581 156 355 0 49313 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 198688

[startup+102.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 26169
/proc/meminfo: memFree=31574692/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=198688 CPUtime=102.28 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 24056 0 0 0 10217 11 0 0 20 0 1 0 56147215 203456512 41137 33554432000 4194304 5646918 140734994240800 140734994239496 4402874 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 49672 41137 156 355 0 49313 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 198688

[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26170
/proc/meminfo: memFree=31687852/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=98812 CPUtime=162.27 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 27770 0 0 0 16211 16 0 0 20 0 1 0 56147215 101183488 22370 33554432000 4194304 5646918 140734994240800 140734994239496 4403147 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 24703 22370 156 355 0 24344 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 98812

[startup+222.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26172
/proc/meminfo: memFree=31688132/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=99688 CPUtime=222.24 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 30258 0 0 0 22205 19 0 0 20 0 1 0 56147215 102080512 22088 33554432000 4194304 5646918 140734994240800 140734994239512 4403176 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 24922 22088 156 355 0 24563 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 99688

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26173
/proc/meminfo: memFree=31564032/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=284004 CPUtime=282.21 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 32986 0 0 0 28201 20 0 0 20 0 1 0 56147215 290820096 53932 33554432000 4194304 5646918 140734994240800 140734994238936 4403464 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 71001 53932 156 355 0 70642 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 284004

[startup+342.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 26174
/proc/meminfo: memFree=31502248/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=284864 CPUtime=342.2 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 35563 0 0 0 34196 24 0 0 20 0 1 0 56147215 291700736 53572 33554432000 4194304 5646918 140734994240800 140734994238936 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 71216 53572 156 355 0 70857 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 284864

[startup+402.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 26175
/proc/meminfo: memFree=31545164/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=205280 CPUtime=402.19 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 38413 0 0 0 40191 28 0 0 20 0 1 0 56147215 210206720 45367 33554432000 4194304 5646918 140734994240800 140734994239496 4402815 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 51320 45367 156 355 0 50961 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 205280

[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 26176
/proc/meminfo: memFree=31655112/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=155944 CPUtime=462.18 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 41753 0 0 0 46186 32 0 0 20 0 1 0 56147215 159686656 30699 33554432000 4194304 5646918 140734994240800 140734994239496 4403147 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 38986 30699 157 355 0 38627 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 155944

[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 26178
/proc/meminfo: memFree=31599332/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=156544 CPUtime=522.17 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 43869 0 0 0 52181 36 0 0 20 0 1 0 56147215 160301056 35587 33554432000 4194304 5646918 140734994240800 140734994239496 4403136 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 39136 35587 157 355 0 38777 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 156544

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 26235
/proc/meminfo: memFree=31686452/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=157644 CPUtime=582.14 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 46826 0 0 0 58175 39 0 0 20 0 1 0 56147215 161427456 36401 33554432000 4194304 5646918 140734994240800 140734994239496 4397466 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 39411 36401 157 355 0 39052 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 157644


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


[startup+942.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 26245
/proc/meminfo: memFree=31663264/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=162832 CPUtime=942.07 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 63245 0 0 0 94148 59 0 0 20 0 1 0 56147215 166739968 32552 33554432000 4194304 5646918 140734994240800 140734994239496 4403138 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 40708 32552 157 355 0 40349 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 162832

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 26246
/proc/meminfo: memFree=31572116/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=295204 CPUtime=1002.04 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 64407 0 0 0 100142 62 0 0 20 0 1 0 56147215 302288896 54759 33554432000 4194304 5646918 140734994240800 140734994238936 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 73801 54759 157 355 0 73442 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 295204

[startup+1062.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 26247
/proc/meminfo: memFree=31560136/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=296272 CPUtime=1062.02 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 67603 0 0 0 106137 65 0 0 20 0 1 0 56147215 303382528 57127 33554432000 4194304 5646918 140734994240800 140734994238936 4403167 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 74068 57127 157 355 0 73709 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 296272

[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 26249
/proc/meminfo: memFree=31602284/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=215884 CPUtime=1122.02 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 69659 0 0 0 112133 69 0 0 20 0 1 0 56147215 221065216 46539 33554432000 4194304 5646918 140734994240800 140734994239496 4398079 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 53971 46539 157 355 0 53612 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 215884

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 26250
/proc/meminfo: memFree=31640936/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=166540 CPUtime=1182.01 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 72681 0 0 0 118129 72 0 0 20 0 1 0 56147215 170536960 37489 33554432000 4194304 5646918 140734994240800 140734994239496 4402751 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 41635 37489 157 355 0 41276 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 166540

[startup+1242.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 26254
/proc/meminfo: memFree=31552000/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=298496 CPUtime=1242 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 73550 0 0 0 124126 74 0 0 20 0 1 0 56147215 305659904 58859 33554432000 4194304 5646918 140734994240800 140734994239496 4403408 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 74624 58859 157 355 0 74265 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 298496

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 26255
/proc/meminfo: memFree=31573484/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=299144 CPUtime=1301.96 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 75798 0 0 0 130119 77 0 0 20 0 1 0 56147215 306323456 53919 33554432000 4194304 5646918 140734994240800 140734994238936 4403170 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 74786 53919 157 355 0 74427 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 299144

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 26256
/proc/meminfo: memFree=31638368/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=169020 CPUtime=1361.95 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 78209 0 0 0 136115 80 0 0 20 0 1 0 56147215 173076480 38125 33554432000 4194304 5646918 140734994240800 140734994239496 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 42255 38125 157 355 0 41896 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 169020

[startup+1422.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 26258
/proc/meminfo: memFree=31545552/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=301172 CPUtime=1421.95 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 79451 0 0 0 142113 82 0 0 20 0 1 0 56147215 308400128 60821 33554432000 4194304 5646918 140734994240800 140734994238936 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 75293 60821 157 355 0 74934 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 301172

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26259
/proc/meminfo: memFree=31570364/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=301456 CPUtime=1481.94 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 81803 0 0 0 148109 85 0 0 20 0 1 0 56147215 308690944 54622 33554432000 4194304 5646918 140734994240800 140734994239496 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 75364 54622 157 355 0 75005 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 301456

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 26260
/proc/meminfo: memFree=31630400/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=172492 CPUtime=1541.92 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 84701 0 0 0 154104 88 0 0 20 0 1 0 56147215 176631808 39400 33554432000 4194304 5646918 140734994240800 140734994239496 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 43123 39400 157 355 0 42764 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 172492

[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 26261
/proc/meminfo: memFree=31540828/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=306996 CPUtime=1601.9 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 86086 0 0 0 160100 90 0 0 20 0 1 0 56147215 314363904 61733 33554432000 4194304 5646918 140734994240800 140734994238936 4403173 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 76749 61733 157 355 0 76390 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 306996

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26262
/proc/meminfo: memFree=31667748/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=126348 CPUtime=1661.89 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 88968 0 0 0 166095 94 0 0 20 0 1 0 56147215 129380352 30595 33554432000 4194304 5646918 140734994240800 140734994239496 4403178 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 31587 30595 158 355 0 31228 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 126348

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 26264
/proc/meminfo: memFree=31616052/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=226224 CPUtime=1721.89 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 92719 0 0 0 172091 98 0 0 20 0 1 0 56147215 231653376 43776 33554432000 4194304 5646918 140734994240800 140734994239496 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 56556 43776 158 355 0 56197 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 226224

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26265
/proc/meminfo: memFree=31666084/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=126348 CPUtime=1781.87 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 96658 0 0 0 178085 102 0 0 20 0 1 0 56147215 129380352 28649 33554432000 4194304 5646918 140734994240800 140734994239496 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 31587 28649 158 355 0 31228 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 126348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 26265
/proc/meminfo: memFree=31638772/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=176136 CPUtime=1800.06 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 97791 0 0 0 179903 103 0 0 20 0 1 0 56147215 180363264 41004 33554432000 4194304 5646918 140734994240800 140734994239496 4403416 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 44034 41004 158 355 0 43675 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 176136

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 26265
/proc/meminfo: memFree=31638772/32872528 swapFree=190484/190484
[pid=26164] ppid=26161 vsize=176136 CPUtime=1800.06 cores=1,3,5,7
/proc/26164/stat : 26164 (minisatp) R 26161 26164 21118 0 -1 4202496 97791 0 0 0 179903 103 0 0 20 0 1 0 56147215 180363264 41004 33554432000 4194304 5646918 140734994240800 140734994239496 4403416 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 44034 41004 158 355 0 43675 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 176136

Child status: 0
Real time (s): 1800.5
CPU time (s): 1800.08
CPU user time (s): 1799.04
CPU system time (s): 1.03884
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 326288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.03884
maximum resident set size= 284160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97791
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= 181
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.21221 second user time and 7.47786 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-21 22:29:27
IDJOB=4112549
IDBENCH=2263
IDSOLVER=2555
FILE ID=node102/4112549-1466540967
RUNJOBID= node102-1466515264-21135
PBS_JOBID= 19942887
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-4.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112549-1466540967/watcher-4112549-1466540967 -o /tmp/evaluation-result-4112549-1466540967/solver-4112549-1466540967 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466515264-21135 --watchdog 1960  minisatp HOME/instance-4112549-1466540967.opb

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

MD5SUM BENCH= e81d6b8e8ff8ec031773b7b65d16ea78
RANDOM SEED=2056285585

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
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	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31741812 kB
Buffers:           20912 kB
Cached:            80864 kB
SwapCached:         1232 kB
Active:           165852 kB
Inactive:          72760 kB
Active(anon):     137372 kB
Inactive(anon):     1936 kB
Active(file):      28480 kB
Inactive(file):    70824 kB
Unevictable:      190484 kB
Mlocked:          190484 kB
SwapTotal:      67108856 kB
SwapFree:       67099880 kB
Dirty:              5500 kB
Writeback:             0 kB
AnonPages:        332612 kB
Mapped:             8828 kB
Shmem:                 0 kB
Slab:             566668 kB
SReclaimable:      10716 kB
SUnreclaim:       555952 kB
KernelStack:        1424 kB
PageTables:         4756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     462556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    126976 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-4112549-1466540967.opb

Free space on /tmp at the end= 71720 MiB
End job on node102 at 2016-06-21 22:59:28