Trace number 4114637

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)-53 1800.06 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb
MD5SUM2295cbab79cf702b6a93f1d0b8bae876
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-56
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 -58
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints125982
Number of constraints which are clauses125982
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 1534
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 1534
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 1534
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...
1.09/1.18	c Converting 125982 PB-constraints to clauses...
1.09/1.19	c   -- Unit propagations: (none)
1.09/1.19	c   -- Detecting intervals from adjacent constraints: (none)
1.09/1.19	c   -- Clauses(.)/Splits(s): ..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.39/1.41	============================[ Search Statistics ]==============================
1.39/1.41	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.41	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.39/1.41	===============================================================================
1.39/1.41	===============================================================================
1.39/1.41	c Found solution: -42
1.39/1.42	c ---[   0]---> Sorter-cost:85954     Base:
7.39/7.42	|  Eliminated clauses:           0.95 Mb                                      |
7.39/7.42	============================[ Search Statistics ]==============================
7.39/7.42	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.39/7.42	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.39/7.42	===============================================================================
7.39/7.42	|       100 |   32741   191821   529932 |    70334       96     31 |  0.055 % |
7.39/7.42	|       250 |   32600   191821   529932 |    77367      234     27 |  0.283 % |
7.39/7.42	|       475 |   32331   191821   529932 |    85104      418     31 |  0.719 % |
7.39/7.42	|       812 |   32029   191821   529932 |    93615      737     30 |  1.207 % |
7.39/7.42	|      1318 |   31602   191821   529932 |   102976     1217     31 |  1.899 % |
7.39/7.42	|      2077 |   30655   191821   529932 |   113274     1882     32 |  3.432 % |
7.39/7.42	|      3216 |   29514   191821   529932 |   124601     2893     36 |  5.278 % |
7.39/7.42	|      4924 |   28271   191821   529932 |   137061     4444     37 |  7.290 % |
7.39/7.42	|      7486 |   26993   191821   529932 |   150767     6869     37 |  9.359 % |
7.39/7.42	|     11330 |   25209   191821   529932 |   165844    10490     42 | 12.246 % |
7.39/7.42	|     17096 |   22697   191821   529932 |   182429    15810     50 | 16.313 % |
7.39/7.42	|     25745 |   20941   191821   529932 |   200672    24007     57 | 19.155 % |
7.39/7.42	===============================================================================
7.39/7.42	c Found solution: -47
7.39/7.43	c ---[   0]---> Sorter-cost:    0     Base:
51.38/51.49	|  Eliminated clauses:           0.99 Mb                                      |
51.38/51.49	============================[ Search Statistics ]==============================
51.38/51.49	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
51.38/51.49	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
51.38/51.49	===============================================================================
51.38/51.49	|     27816 |   20021   165087   413066 |    60531    25966     59 | 19.777 % |
51.38/51.49	|     27966 |   20021   165087   413066 |    66585    26116     59 | 19.777 % |
51.38/51.49	|     28191 |   19964   165087   413066 |    73243    26337     59 | 19.868 % |
51.38/51.49	|     28528 |   19832   165087   413066 |    80567    26668     59 | 20.078 % |
51.38/51.49	|     29034 |   19662   165087   413066 |    88624    27166     59 | 20.349 % |
51.38/51.49	|     29793 |   19536   165087   413066 |    97487    27726     60 | 20.549 % |
51.38/51.49	|     30932 |   19449   165087   413066 |   107235    28861     60 | 20.688 % |
51.38/51.49	|     32640 |   19305   165087   413066 |   117959    30513     61 | 20.917 % |
51.38/51.49	|     35202 |   18841   165087   413066 |   129755    33051     62 | 21.655 % |
51.38/51.49	|     39046 |   18176   165087   413066 |   142731    36751     64 | 22.714 % |
51.38/51.49	|     44812 |   17638   165087   413066 |   157004    42393     66 | 23.570 % |
51.38/51.49	|     53461 |   16271   165087   413066 |   172704    50927     71 | 25.745 % |
51.38/51.49	|     66435 |   15684   165087   413066 |   189975    63131     84 | 26.679 % |
51.38/51.49	|     85896 |   14930   165087   413066 |   208972    82383     97 | 27.879 % |
51.38/51.49	|    115088 |   14019   165087   413066 |   229869   110494    116 | 29.329 % |
51.38/51.49	|    158877 |   13073   165087   413066 |   252856   152949    142 | 30.835 % |
51.38/51.49	===============================================================================
51.38/51.49	c Found solution: -48
51.48/51.50	c ---[   0]---> Sorter-cost:    0     Base:
120.96/121.10	|  Eliminated clauses:           1.02 Mb                                      |
120.96/121.10	============================[ Search Statistics ]==============================
120.96/121.10	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
120.96/121.10	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
120.96/121.10	===============================================================================
120.96/121.10	|    168328 |   12111   148429   344572 |    54423    33127    125 | 31.262 % |
120.96/121.10	|    168478 |   12111   148429   344572 |    59866    33277    124 | 31.262 % |
120.96/121.10	|    168703 |   12111   148429   344572 |    65852    33502    124 | 31.262 % |
120.96/121.10	|    169040 |   12111   148429   344572 |    72438    33839    124 | 31.262 % |
120.96/121.10	|    169546 |   12075   148429   344572 |    79682    34342    124 | 31.319 % |
120.96/121.10	|    170305 |   12001   148429   344572 |    87650    35097    123 | 31.437 % |
120.96/121.10	|    171444 |   11976   148429   344572 |    96415    36233    125 | 31.477 % |
120.96/121.10	|    173152 |   11955   148429   344572 |   106056    37940    124 | 31.510 % |
120.96/121.10	|    175714 |   11919   148429   344572 |   116662    40500    126 | 31.567 % |
120.96/121.10	|    179558 |   11683   148429   344572 |   128328    44328    130 | 31.943 % |
120.96/121.10	|    185324 |   11618   148429   344572 |   141161    50089    135 | 32.046 % |
120.96/121.10	|    193973 |   11364   148429   344572 |   155277    58726    142 | 32.451 % |
120.96/121.10	|    206947 |   11229   148429   344572 |   170805    71071    153 | 32.666 % |
120.96/121.10	|    226408 |   11001   148429   344572 |   187886    90517    165 | 33.028 % |
120.96/121.10	|    255600 |   10560   148429   344572 |   206674   119524    179 | 33.730 % |
120.96/121.10	|    299389 |   10354   148429   344572 |   227342   163297    200 | 34.058 % |
120.96/121.10	===============================================================================
120.96/121.10	c Found solution: -50
121.06/121.11	c ---[   0]---> Sorter-cost:    0     Base:
374.60/374.77	|  Eliminated clauses:           1.03 Mb                                      |
374.60/374.77	============================[ Search Statistics ]==============================
374.60/374.77	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
374.60/374.77	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
374.60/374.77	===============================================================================
374.60/374.77	|    329981 |    9858   143720   325051 |    52697    35721    147 | 34.375 % |
374.60/374.77	|    330131 |    9858   143720   325051 |    57967    35871    147 | 34.375 % |
374.60/374.77	|    330356 |    9858   143720   325051 |    63763    36096    147 | 34.375 % |
374.60/374.77	|    330693 |    9858   143720   325051 |    70140    36433    148 | 34.375 % |
374.60/374.77	|    331199 |    9858   143720   325051 |    77154    36939    148 | 34.375 % |
374.60/374.77	|    331958 |    9837   143720   325051 |    84869    37697    148 | 34.409 % |
374.60/374.77	|    333097 |    9837   143720   325051 |    93356    38836    150 | 34.409 % |
374.60/374.77	|    334805 |    9777   143720   325051 |   102692    40539    149 | 34.504 % |
374.60/374.77	|    337367 |    9758   143720   325051 |   112961    43099    152 | 34.534 % |
374.60/374.77	|    341211 |    9675   143720   325051 |   124257    46937    154 | 34.666 % |
374.60/374.77	|    346977 |    9599   143720   325051 |   136683    52697    161 | 34.787 % |
374.60/374.77	|    355626 |    9387   143720   325051 |   150351    61331    167 | 35.124 % |
374.60/374.77	|    368600 |    9292   143720   325051 |   165386    74299    178 | 35.275 % |
374.60/374.77	|    388061 |    9191   143720   325051 |   181925    93753    187 | 35.436 % |
374.60/374.77	|    417253 |    8994   143720   325051 |   200118   122931    193 | 35.749 % |
374.60/374.77	|    461042 |    8660   143720   325051 |   220129   166700    211 | 36.280 % |
374.60/374.77	|    526726 |    8464   143720   325051 |   242142   231615    226 | 36.591 % |
374.60/374.77	|    625252 |    7971   143720   325051 |   266357    96196    226 | 37.375 % |
374.60/374.77	|    773041 |    7623   143720   325051 |   292992   243367    259 | 37.928 % |
374.60/374.77	===============================================================================
374.60/374.77	c Found solution: -51
374.60/374.78	c ---[   0]---> Sorter-cost:    0     Base:
875.65/875.96	|  Eliminated clauses:           1.04 Mb                                      |
875.65/875.96	============================[ Search Statistics ]==============================
875.65/875.96	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
875.65/875.96	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
875.65/875.96	===============================================================================
875.65/875.96	|    785289 |    7320   138346   303566 |    50726    29936    226 | 38.162 % |
875.65/875.96	|    785439 |    7320   138346   303566 |    55799    30086    226 | 38.162 % |
875.65/875.96	|    785664 |    7320   138346   303566 |    61379    30311    225 | 38.162 % |
875.65/875.96	|    786001 |    7297   138346   303566 |    67517    30646    224 | 38.199 % |
875.65/875.96	|    786507 |    7266   138346   303566 |    74269    31150    223 | 38.247 % |
875.65/875.96	|    787266 |    7266   138346   303566 |    81696    31909    222 | 38.247 % |
875.65/875.96	|    788405 |    7264   138346   303566 |    89865    33047    222 | 38.250 % |
875.65/875.96	|    790113 |    7213   138346   303566 |    98852    34753    218 | 38.331 % |
875.65/875.96	|    792675 |    7211   138346   303566 |   108737    37314    216 | 38.334 % |
875.65/875.96	|    796519 |    7123   138346   303566 |   119611    41151    209 | 38.472 % |
875.65/875.96	|    802285 |    7039   138346   303566 |   131572    46906    203 | 38.605 % |
875.65/875.96	|    810934 |    7009   138346   303566 |   144729    55553    200 | 38.652 % |
875.65/875.96	|    823908 |    6960   138346   303566 |   159202    68523    200 | 38.729 % |
875.65/875.96	|    843369 |    6863   138346   303566 |   175122    87977    205 | 38.882 % |
875.65/875.96	|    872561 |    6739   138346   303566 |   192635   117159    215 | 39.077 % |
875.65/875.96	|    916350 |    6617   138346   303566 |   211898   159813    226 | 39.269 % |
875.65/875.96	|    982034 |    6472   138346   303566 |   233088   225482    237 | 39.497 % |
875.65/875.96	|   1080560 |    6226   138346   303566 |   256397    93835    229 | 39.884 % |
875.65/875.96	|   1228349 |    5879   138346   303566 |   282037   241084    259 | 40.431 % |
875.65/875.96	|   1450032 |    5584   138346   303566 |   310240   180090    255 | 40.895 % |
875.65/875.96	===============================================================================
875.65/875.96	c Found solution: -52
875.65/875.97	c ---[   0]---> Sorter-cost:    0     Base:
1440.12/1440.58	|  Eliminated clauses:           1.05 Mb                                      |
1440.12/1440.58	============================[ Search Statistics ]==============================
1440.12/1440.58	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1440.12/1440.58	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1440.12/1440.58	===============================================================================
1440.12/1440.58	|   1649910 |    4988   133405   283620 |    48915    27223    219 | 41.438 % |
1440.12/1440.58	|   1650060 |    4988   133405   283620 |    53806    27373    219 | 41.438 % |
1440.12/1440.58	|   1650285 |    4988   133405   283620 |    59187    27598    218 | 41.438 % |
1440.12/1440.58	|   1650622 |    4988   133405   283620 |    65106    27935    217 | 41.438 % |
1440.12/1440.58	|   1651128 |    4988   133405   283620 |    71616    28441    216 | 41.438 % |
1440.12/1440.58	|   1651887 |    4988   133405   283620 |    78778    29200    215 | 41.438 % |
1440.12/1440.58	|   1653026 |    4973   133405   283620 |    86656    30338    217 | 41.462 % |
1440.12/1440.58	|   1654734 |    4973   133405   283620 |    95321    32046    214 | 41.462 % |
1440.12/1440.58	|   1657296 |    4964   133405   283620 |   104854    34607    216 | 41.476 % |
1440.12/1440.58	|   1661140 |    4964   133405   283620 |   115339    38451    218 | 41.476 % |
1440.12/1440.58	|   1666906 |    4954   133405   283620 |   126873    44216    220 | 41.492 % |
1440.12/1440.58	|   1675555 |    4954   133405   283620 |   139560    52865    223 | 41.492 % |
1440.12/1440.58	|   1688529 |    4942   133405   283620 |   153516    65655    225 | 41.511 % |
1440.12/1440.58	|   1707990 |    4942   133405   283620 |   168868    85116    231 | 41.511 % |
1440.12/1440.58	|   1737182 |    4942   133405   283620 |   185755   114308    235 | 41.511 % |
1440.12/1440.58	|   1780971 |    4902   133405   283620 |   204330   158092    244 | 41.574 % |
1440.12/1440.58	|   1846655 |    4868   133405   283620 |   224763   223775    249 | 41.627 % |
1440.12/1440.58	|   1945181 |    4856   133405   283620 |   247240    92487    238 | 41.646 % |
1440.12/1440.58	|   2092970 |    4665   133405   283620 |   271964   240249    251 | 41.947 % |
1440.12/1440.58	|   2314653 |    4466   133405   283620 |   299160   188687    257 | 42.260 % |
1440.12/1440.58	===============================================================================
1440.12/1440.58	c Found solution: -53
1440.12/1440.59	c ---[   0]---> Sorter-cost:    0     Base:
1800.04/1800.50	|  Eliminated clauses:           1.05 Mb                                      |
1800.04/1800.50	============================[ Search Statistics ]==============================
1800.04/1800.50	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.04/1800.50	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.04/1800.50	===============================================================================
1800.04/1800.50	|   2633638 |    4326   131965   278123 |    48387    23516    312 | 42.319 % |
1800.04/1800.50	|   2633788 |    4326   131965   278123 |    53225    23666    311 | 42.319 % |
1800.04/1800.50	|   2634013 |    4326   131965   278123 |    58548    23891    309 | 42.319 % |
1800.04/1800.50	|   2634350 |    4326   131965   278123 |    64403    24228    307 | 42.319 % |
1800.04/1800.50	|   2634856 |    4326   131965   278123 |    70843    24734    305 | 42.319 % |
1800.04/1800.50	|   2635615 |    4326   131965   278123 |    77928    25493    300 | 42.319 % |
1800.04/1800.50	|   2636754 |    4326   131965   278123 |    85720    26632    297 | 42.319 % |
1800.04/1800.50	|   2638462 |    4310   131965   278123 |    94292    28339    289 | 42.344 % |
1800.04/1800.50	|   2641024 |    4310   131965   278123 |   103722    30901    280 | 42.344 % |
1800.04/1800.50	|   2644868 |    4282   131965   278123 |   114094    34744    270 | 42.388 % |
1800.04/1800.50	|   2650634 |    4235   131965   278123 |   125503    40505    258 | 42.462 % |
1800.04/1800.50	|   2659283 |    4215   131965   278123 |   138054    49153    254 | 42.494 % |
1800.04/1800.50	|   2672257 |    4215   131965   278123 |   151859    62127    245 | 42.494 % |
1800.04/1800.50	|   2691718 |    4180   131965   278123 |   167045    81586    237 | 42.549 % |
1800.04/1800.50	|   2720910 |    4125   131965   278123 |   183750   110775    234 | 42.635 % |
1800.04/1800.50	|   2764699 |    4125   131965   278123 |   202125   154260    232 | 42.635 % |
1800.04/1800.50	|   2830383 |    4110   131965   278123 |   222337   219942    230 | 42.659 % |
1800.04/1800.50	|   2928909 |    4062   131965   278123 |   244571    89460    225 | 42.734 % |
1800.04/1800.50	|   3076698 |    3973   131965   278123 |   269028   236344    229 | 42.874 % |
1800.04/1800.50	|   3298381 |    3848   131965   278123 |   295931   177351    214 | 43.071 % |
1800.04/1800.50	c 
1800.04/1800.50	c *** TERMINATED ***
1800.04/1800.50	s SATISFIABLE
1800.04/1800.50	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 x1147 -x1146 -x1145 x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 x937 -x936 -x935 -x934 -x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-53

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-4114637-1466541274/watcher-4114637-1466541274 -o /tmp/evaluation-result-4114637-1466541274/solver-4114637-1466541274 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466517739-10060 --watchdog 1960 minisatp HOME/instance-4114637-1466541274.opb 

pid=12717
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: 1.92 1.98 1.99 3/176 12720
/proc/meminfo: memFree=31856284/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=6924 CPUtime=0 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 56172236 7090176 301 33554432000 4194304 5646918 140737396104000 140737281474104 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 1731 301 94 355 0 1372 0

[startup+0.10016 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 12720
/proc/meminfo: memFree=31856284/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=12496 CPUtime=0.09 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 1840 0 0 0 9 0 0 0 20 0 1 0 56172236 12795904 1716 33554432000 4194304 5646918 140737396104000 140737281474104 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 3124 1717 94 355 0 2765 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12496

[startup+0.200321 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 12720
/proc/meminfo: memFree=31856284/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=18624 CPUtime=0.19 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 3362 0 0 0 19 0 0 0 20 0 1 0 56172236 19070976 3238 33554432000 4194304 5646918 140737396104000 140737281474104 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 4656 3240 94 355 0 4297 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18624

[startup+0.300303 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 12720
/proc/meminfo: memFree=31856284/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=24692 CPUtime=0.28 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 4880 0 0 0 28 0 0 0 20 0 1 0 56172236 25284608 4756 33554432000 4194304 5646918 140737396104000 140737281474104 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 6173 4756 94 355 0 5814 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24692

[startup+0.700253 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 12720
/proc/meminfo: memFree=31856284/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=49132 CPUtime=0.69 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 10954 0 0 0 68 1 0 0 20 0 1 0 56172236 50311168 10830 33554432000 4194304 5646918 140737396104000 140737396103352 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 12283 10832 94 355 0 11924 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49132

[startup+1.50028 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 12721
/proc/meminfo: memFree=31786624/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=100756 CPUtime=1.49 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 24410 0 0 0 141 8 0 0 20 0 1 0 56172236 103174144 24617 33554432000 4194304 5646918 140737396104000 140737396102376 4388221 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 25189 24618 134 355 0 24830 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 100756

[startup+3.10031 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 12721
/proc/meminfo: memFree=31749056/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=107004 CPUtime=3.09 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 26588 0 0 0 300 9 0 0 20 0 1 0 56172236 109572096 25677 33554432000 4194304 5646918 140737396104000 140737396102760 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 26751 25677 155 355 0 26392 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 107004

[startup+6.30031 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 12721
/proc/meminfo: memFree=31742576/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=114144 CPUtime=6.29 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 27016 0 0 0 620 9 0 0 20 0 1 0 56172236 116883456 26607 33554432000 4194304 5646918 140737396104000 140737396102696 4398822 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 28536 26607 155 355 0 28177 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 114144

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 12721
/proc/meminfo: memFree=31718884/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=133000 CPUtime=12.69 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 27960 0 0 0 1259 10 0 0 20 0 1 0 56172236 136192000 29584 33554432000 4194304 5646918 140737396104000 140737396102696 4416598 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 33250 29584 156 355 0 32891 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 133000

[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 12721
/proc/meminfo: memFree=31673460/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=152224 CPUtime=25.48 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 28757 0 0 0 2538 10 0 0 20 0 1 0 56172236 155877376 37019 33554432000 4194304 5646918 140737396104000 140737396102248 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 38056 37019 156 355 0 37697 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 152224

[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 12721
/proc/meminfo: memFree=31581384/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=233852 CPUtime=51.08 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 29938 0 0 0 5096 12 0 0 20 0 1 0 56172236 239464448 49436 33554432000 4194304 5646918 140737396104000 140737396102696 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 58463 49436 156 355 0 58104 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 233852

[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 12722
/proc/meminfo: memFree=31612156/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=315240 CPUtime=102.26 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 32609 0 0 0 10211 15 0 0 20 0 1 0 56172236 322805760 58226 33554432000 4194304 5646918 140737396104000 140737396102696 4402795 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 78810 58226 156 355 0 78451 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 315240

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 12724
/proc/meminfo: memFree=31538568/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=234812 CPUtime=162.23 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 34843 0 0 0 16204 19 0 0 20 0 1 0 56172236 240447488 54414 33554432000 4194304 5646918 140737396104000 140737396102696 4403464 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 58703 54414 156 355 0 58344 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 234812

[startup+222.307 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 12725
/proc/meminfo: memFree=31526172/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=316200 CPUtime=222.24 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 35597 0 0 0 22202 22 0 0 20 0 1 0 56172236 323788800 74582 33554432000 4194304 5646918 140737396104000 140737396102696 4398960 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 79050 74582 156 355 0 78691 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 316200

[startup+282.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 12726
/proc/meminfo: memFree=31520708/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=234812 CPUtime=282.22 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 38226 0 0 0 28196 26 0 0 20 0 1 0 56172236 240447488 51489 33554432000 4194304 5646918 140737396104000 140737396102696 4397575 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 58703 51489 156 355 0 58344 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 234812

[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 12730
/proc/meminfo: memFree=31579712/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=316200 CPUtime=342.21 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 38788 0 0 0 34194 27 0 0 20 0 1 0 56172236 323788800 77089 33554432000 4194304 5646918 140737396104000 140737396102696 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 79050 77089 156 355 0 78691 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 316200

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12731
/proc/meminfo: memFree=31600296/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=236936 CPUtime=402.2 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 41748 0 0 0 40190 30 0 0 20 0 1 0 56172236 242622464 48280 33554432000 4194304 5646918 140737396104000 140737396102696 4402821 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 59234 48280 156 355 0 58875 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 236936

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12733
/proc/meminfo: memFree=31419340/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=318752 CPUtime=462.18 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 42616 0 0 0 46185 33 0 0 20 0 1 0 56172236 326402048 72217 33554432000 4194304 5646918 140737396104000 140737396102136 4397744 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 79688 72217 156 355 0 79329 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 318752

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12734
/proc/meminfo: memFree=31732360/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=239524 CPUtime=522.15 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 45732 0 0 0 52179 36 0 0 20 0 1 0 56172236 245272576 49071 33554432000 4194304 5646918 140737396104000 140737396102696 4403170 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 59881 49071 156 355 0 59522 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 239524

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12735
/proc/meminfo: memFree=31465860/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=321816 CPUtime=582.14 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 46481 0 0 0 58176 38 0 0 20 0 1 0 56172236 329539584 75879 33554432000 4194304 5646918 140737396104000 140737396102136 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 80454 75879 156 355 0 80095 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 321816


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


[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12745
/proc/meminfo: memFree=31585684/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=333772 CPUtime=942.03 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 57779 0 0 0 94147 56 0 0 20 0 1 0 56172236 341782528 71203 33554432000 4194304 5646918 140737396104000 140737396102696 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 83443 71203 156 355 0 83084 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 333772

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12746
/proc/meminfo: memFree=31610560/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=171884 CPUtime=1002.02 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 60175 0 0 0 100141 61 0 0 20 0 1 0 56172236 176009216 37577 33554432000 4194304 5646918 140737396104000 140737396102696 4416598 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 42971 37577 156 355 0 42612 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 171884

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12748
/proc/meminfo: memFree=31536952/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=334180 CPUtime=1062.02 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 61720 0 0 0 106138 64 0 0 20 0 1 0 56172236 342200320 69264 33554432000 4194304 5646918 140737396104000 140737396102696 4403170 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 83545 69264 156 355 0 83186 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 334180

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12749
/proc/meminfo: memFree=31349008/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=467612 CPUtime=1122 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 63017 0 0 0 112133 67 0 0 20 0 1 0 56172236 478834688 90299 33554432000 4194304 5646918 140737396104000 140737396102136 4403167 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 116903 90299 156 355 0 116544 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 467612

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12750
/proc/meminfo: memFree=31609960/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=255184 CPUtime=1181.96 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 65317 0 0 0 118126 70 0 0 20 0 1 0 56172236 261308416 53952 33554432000 4194304 5646918 140737396104000 140737396102696 4397622 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 63796 53952 156 355 0 63437 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 255184

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12751
/proc/meminfo: memFree=31419792/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=336572 CPUtime=1241.95 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 66055 0 0 0 124122 73 0 0 20 0 1 0 56172236 344649728 78696 33554432000 4194304 5646918 140737396104000 140737396102696 4403091 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 84143 78696 156 355 0 83784 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 336572

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12752
/proc/meminfo: memFree=31531864/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=469768 CPUtime=1301.93 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 66802 0 0 0 130119 74 0 0 20 0 1 0 56172236 481042432 99881 33554432000 4194304 5646918 140737396104000 140737396102136 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 117442 99881 156 355 0 117083 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 469768

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12754
/proc/meminfo: memFree=31626668/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=177648 CPUtime=1361.93 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 68328 0 0 0 136116 77 0 0 20 0 1 0 56172236 181911552 40393 33554432000 4194304 5646918 140737396104000 140737396102696 4403196 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 44412 40393 156 355 0 44053 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 177648

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12755
/proc/meminfo: memFree=31383148/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=339944 CPUtime=1421.92 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 69937 0 0 0 142112 80 0 0 20 0 1 0 56172236 348102656 74395 33554432000 4194304 5646918 140737396104000 140737396102696 4403173 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 84986 74395 156 355 0 84627 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 339944

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12756
/proc/meminfo: memFree=31622220/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=260288 CPUtime=1481.89 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 72381 0 0 0 148106 83 0 0 20 0 1 0 56172236 266534912 62824 33554432000 4194304 5646918 140737396104000 140737396102696 4403176 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 65072 62824 156 355 0 64713 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 260288

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12760
/proc/meminfo: memFree=31429440/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=341676 CPUtime=1541.89 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 73104 0 0 0 154104 85 0 0 20 0 1 0 56172236 349876224 83984 33554432000 4194304 5646918 140737396104000 140737396102696 4403184 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 85419 83984 156 355 0 85060 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 341676

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12784
/proc/meminfo: memFree=31441268/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=260288 CPUtime=1601.87 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 75914 0 0 0 160098 89 0 0 20 0 1 0 56172236 266534912 64143 33554432000 4194304 5646918 140737396104000 140737396102696 4403173 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 65072 64143 156 355 0 64713 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 260288

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12786
/proc/meminfo: memFree=31503880/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=473936 CPUtime=1661.86 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 77447 0 0 0 166094 92 0 0 20 0 1 0 56172236 485310464 86112 33554432000 4194304 5646918 140737396104000 140737396102696 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 118484 86112 156 355 0 118125 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 473936

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12843
/proc/meminfo: memFree=31498564/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=260452 CPUtime=1721.86 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 79485 0 0 0 172090 96 0 0 20 0 1 0 56172236 266702848 56716 33554432000 4194304 5646918 140737396104000 140737396102696 4388947 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 65113 56716 156 355 0 64754 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 260452

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12844
/proc/meminfo: memFree=31384172/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=341972 CPUtime=1781.85 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 80244 0 0 0 178086 99 0 0 20 0 1 0 56172236 350179328 80047 33554432000 4194304 5646918 140737396104000 140737396102696 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 85493 80047 156 355 0 85134 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 341972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12844
/proc/meminfo: memFree=31358636/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=474232 CPUtime=1800.04 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 80782 0 0 0 179905 99 0 0 20 0 1 0 56172236 485613568 86202 33554432000 4194304 5646918 140737396104000 140737396102696 4397505 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 118558 86202 156 355 0 118199 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 474232

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

[startup+1800.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12844
/proc/meminfo: memFree=31358636/32872528 swapFree=8292/8292
[pid=12720] ppid=12717 vsize=474232 CPUtime=1800.04 cores=1,3,5,7
/proc/12720/stat : 12720 (minisatp) R 12717 12720 10043 0 -1 4202496 80782 0 0 0 179905 99 0 0 20 0 1 0 56172236 485613568 86202 33554432000 4194304 5646918 140737396104000 140737396102696 4397505 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12720/statm: 118558 86202 156 355 0 118199 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 474232

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.05
CPU system time (s): 1.00785
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 680468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.00785
maximum resident set size= 485400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80782
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= 281
involuntary context switches= 1960

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46232 second user time and 7.10892 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-21 22:34:34
IDJOB=4114637
IDBENCH=2269
IDSOLVER=2555
FILE ID=node151/4114637-1466541274
RUNJOBID= node151-1466517739-10060
PBS_JOBID= 19942883
Free space on /tmp= 71732 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/frb59-26-opb/normalized-frb59-26-5.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4114637-1466541274/watcher-4114637-1466541274 -o /tmp/evaluation-result-4114637-1466541274/solver-4114637-1466541274 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466517739-10060 --watchdog 1960  minisatp HOME/instance-4114637-1466541274.opb

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

MD5SUM BENCH= 2295cbab79cf702b6a93f1d0b8bae876
RANDOM SEED=1058428609

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31856556 kB
Buffers:           19188 kB
Cached:            58148 kB
SwapCached:         1620 kB
Active:           252540 kB
Inactive:          47520 kB
Active(anon):     223540 kB
Inactive(anon):     1144 kB
Active(file):      29000 kB
Inactive(file):    46376 kB
Unevictable:        8292 kB
Mlocked:            8292 kB
SwapTotal:      67108856 kB
SwapFree:       67098800 kB
Dirty:              6668 kB
Writeback:             0 kB
AnonPages:        234020 kB
Mapped:             7672 kB
Shmem:                 0 kB
Slab:             572984 kB
SReclaimable:      16684 kB
SUnreclaim:       556300 kB
KernelStack:        1464 kB
PageTables:         4500 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     361620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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-4114637-1466541274.opb

Free space on /tmp at the end= 71720 MiB
End job on node151 at 2016-06-21 23:04:35