Trace number 4113984

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.04 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
MD5SUMf7a936a02ddf18c17dc27b7b53733ab1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-55
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 -57
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints126163
Number of constraints which are clauses126163
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.10/1.18	c Converting 126163 PB-constraints to clauses...
1.10/1.18	c   -- Unit propagations: (none)
1.10/1.18	c   -- Detecting intervals from adjacent constraints: (none)
1.10/1.19	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.29/1.39	============================[ Search Statistics ]==============================
1.29/1.39	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.29/1.39	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.29/1.39	===============================================================================
1.29/1.39	===============================================================================
1.29/1.39	c Found solution: -42
1.39/1.40	c ---[   0]---> Sorter-cost:85954     Base:
7.59/7.68	|  Eliminated clauses:           0.95 Mb                                      |
7.59/7.68	============================[ Search Statistics ]==============================
7.59/7.68	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.59/7.68	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.59/7.68	===============================================================================
7.59/7.68	|       100 |   32718   192002   530294 |    70400       95     35 |  0.092 % |
7.59/7.68	|       250 |   32539   192002   530294 |    77440      232     36 |  0.382 % |
7.59/7.68	|       475 |   32349   192002   530294 |    85184      441     32 |  0.690 % |
7.59/7.68	|       812 |   31932   192002   530294 |    93703      745     29 |  1.364 % |
7.59/7.68	|      1318 |   31611   192002   530294 |   103073     1231     34 |  1.884 % |
7.59/7.68	|      2077 |   30580   192002   530294 |   113381     1886     34 |  3.553 % |
7.59/7.68	|      3216 |   30003   192002   530294 |   124719     2920     36 |  4.487 % |
7.59/7.68	|      4924 |   28536   192002   530294 |   137191     4511     36 |  6.861 % |
7.59/7.68	|      7486 |   26897   192002   530294 |   150910     6912     40 |  9.514 % |
7.59/7.68	|     11330 |   25464   192002   530294 |   166001    10557     44 | 11.834 % |
7.59/7.68	|     17096 |   23203   192002   530294 |   182601    15983     50 | 15.494 % |
7.59/7.68	|     25745 |   21570   192002   530294 |   200861    24236     60 | 18.137 % |
7.59/7.68	===============================================================================
7.59/7.68	c Found solution: -43
7.59/7.69	c ---[   0]---> Sorter-cost:    0     Base:
10.48/10.54	|  Eliminated clauses:           0.98 Mb                                      |
10.48/10.54	============================[ Search Statistics ]==============================
10.48/10.54	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.48/10.54	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.48/10.54	===============================================================================
10.48/10.54	|     26994 |   20840   166854   419628 |    61179    25431     62 | 18.333 % |
10.48/10.54	|     27144 |   20783   166854   419628 |    67297    25578     62 | 18.425 % |
10.48/10.54	|     27369 |   20783   166854   419628 |    74027    25803     62 | 18.425 % |
10.48/10.54	|     27706 |   20759   166854   419628 |    81430    26138     62 | 18.463 % |
10.48/10.54	|     28212 |   20722   166854   419628 |    89573    26642     62 | 18.523 % |
10.48/10.54	|     28971 |   20623   166854   419628 |    98530    27396     62 | 18.682 % |
10.48/10.54	|     30110 |   20623   166854   419628 |   108383    28372     65 | 18.682 % |
10.48/10.54	|     31818 |   20221   166854   419628 |   119222    30059     64 | 19.328 % |
10.48/10.54	|     34380 |   19838   166854   419628 |   131144    32262     68 | 19.943 % |
10.48/10.54	|     38224 |   19417   166854   419628 |   144258    36086     72 | 20.619 % |
10.48/10.54	===============================================================================
10.48/10.54	c Found solution: -46
10.48/10.55	c ---[   0]---> Sorter-cost:    0     Base:
22.58/22.66	|  Eliminated clauses:           0.99 Mb                                      |
22.58/22.66	============================[ Search Statistics ]==============================
22.58/22.66	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.58/22.66	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
22.58/22.66	===============================================================================
22.58/22.66	|     41407 |   18914   162860   403322 |    59715    39141     76 | 21.070 % |
22.58/22.66	|     41557 |   18914   162860   403322 |    65686    39291     76 | 21.070 % |
22.58/22.66	|     41782 |   18874   162860   403322 |    72255    39514     76 | 21.134 % |
22.58/22.66	|     42119 |   18852   162860   403322 |    79481    39850     76 | 21.170 % |
22.58/22.66	|     42625 |   18807   162860   403322 |    87429    40354     75 | 21.242 % |
22.58/22.66	|     43384 |   18759   162860   403322 |    96172    41111     76 | 21.319 % |
22.58/22.66	|     44523 |   18734   162860   403322 |   105789    42022     75 | 21.359 % |
22.58/22.66	|     46231 |   18557   162860   403322 |   116368    43718     75 | 21.643 % |
22.58/22.66	|     48793 |   18321   162860   403322 |   128005    46271     78 | 22.022 % |
22.58/22.66	|     52637 |   17993   162860   403322 |   140805    49811     81 | 22.548 % |
22.58/22.66	|     58403 |   17599   162860   403322 |   154886    55557     85 | 23.181 % |
22.58/22.66	|     67052 |   16960   162860   403322 |   170374    63838     91 | 24.206 % |
22.58/22.66	|     80026 |   16441   162860   403322 |   187412    75867    104 | 25.039 % |
22.58/22.66	===============================================================================
22.58/22.66	c Found solution: -47
22.58/22.67	c ---[   0]---> Sorter-cost:    0     Base:
40.28/40.31	|  Eliminated clauses:           1.02 Mb                                      |
40.28/40.31	============================[ Search Statistics ]==============================
40.28/40.31	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.28/40.31	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
40.28/40.31	===============================================================================
40.28/40.31	|     92804 |   15490   155670   374961 |    57079    27905     92 | 26.057 % |
40.28/40.31	|     92954 |   15490   155670   374961 |    62786    28055     92 | 26.057 % |
40.28/40.31	|     93179 |   15490   155670   374961 |    69065    28280     92 | 26.057 % |
40.28/40.31	|     93516 |   15490   155670   374961 |    75972    28617     93 | 26.057 % |
40.28/40.31	|     94022 |   15490   155670   374961 |    83569    29123     94 | 26.057 % |
40.28/40.31	|     94781 |   15457   155670   374961 |    91926    29880     94 | 26.109 % |
40.28/40.31	|     95920 |   15337   155670   374961 |   101118    30916     95 | 26.300 % |
40.28/40.31	|     97628 |   15234   155670   374961 |   111230    32618     96 | 26.463 % |
40.28/40.31	|    100190 |   15023   155670   374961 |   122353    35169     97 | 26.798 % |
40.28/40.31	|    104034 |   14828   155670   374961 |   134589    38559    102 | 27.107 % |
40.28/40.31	|    109800 |   14416   155670   374961 |   148048    44306    107 | 27.761 % |
40.28/40.31	|    118449 |   14094   155670   374961 |   162853    52613    117 | 28.271 % |
40.28/40.31	|    131423 |   13602   155670   374961 |   179138    65557    126 | 29.052 % |
40.28/40.31	|    150884 |   13255   155670   374961 |   197052    84204    148 | 29.602 % |
40.28/40.31	===============================================================================
40.28/40.31	c Found solution: -49
40.28/40.32	c ---[   0]---> Sorter-cost:    0     Base:
48.88/48.91	|  Eliminated clauses:           1.03 Mb                                      |
48.88/48.91	============================[ Search Statistics ]==============================
48.88/48.91	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
48.88/48.91	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
48.88/48.91	===============================================================================
48.88/48.91	|    161233 |   12668   149717   349845 |    54896    30075    105 | 29.964 % |
48.88/48.91	|    161383 |   12633   149717   349845 |    60385    30223    105 | 30.019 % |
48.88/48.91	|    161608 |   12576   149717   349845 |    66424    30443    105 | 30.110 % |
48.88/48.91	|    161945 |   12509   149717   349845 |    73066    30774    105 | 30.216 % |
48.88/48.91	|    162451 |   12509   149717   349845 |    80373    31280    106 | 30.216 % |
48.88/48.91	|    163210 |   12509   149717   349845 |    88410    32039    106 | 30.216 % |
48.88/48.91	|    164349 |   12495   149717   349845 |    97252    33177    107 | 30.238 % |
48.88/48.91	|    166057 |   12364   149717   349845 |   106977    34733    107 | 30.446 % |
48.88/48.91	|    168619 |   12306   149717   349845 |   117674    37290    110 | 30.538 % |
48.88/48.91	|    172463 |   12186   149717   349845 |   129442    41125    112 | 30.728 % |
48.88/48.91	|    178229 |   11947   149717   349845 |   142386    46439    117 | 31.106 % |
48.88/48.91	|    186878 |   11565   149717   349845 |   156625    55063    123 | 31.712 % |
48.88/48.91	===============================================================================
48.88/48.91	c Found solution: -51
48.88/48.92	c ---[   0]---> Sorter-cost:    0     Base:
457.65/457.86	|  Eliminated clauses:           1.04 Mb                                      |
457.65/457.86	============================[ Search Statistics ]==============================
457.65/457.86	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
457.65/457.86	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
457.65/457.86	===============================================================================
457.65/457.86	|    198625 |   10957   146152   334926 |    53589    66498    132 | 32.611 % |
457.65/457.86	|    198775 |   10957   146152   334926 |    58947    66648    132 | 32.611 % |
457.65/457.86	|    199000 |   10957   146152   334926 |    64842    66873    132 | 32.611 % |
457.65/457.86	|    199337 |   10957   146152   334926 |    71327    67210    132 | 32.611 % |
457.65/457.86	|    199843 |   10957   146152   334926 |    78459    67716    132 | 32.611 % |
457.65/457.86	|    200602 |   10957   146152   334926 |    86305    68475    132 | 32.611 % |
457.65/457.86	|    201741 |   10927   146152   334926 |    94936    69611    131 | 32.658 % |
457.65/457.86	|    203449 |   10878   146152   334926 |   104429    71316    131 | 32.735 % |
457.65/457.86	|    206011 |   10832   146152   334926 |   114872    73873    131 | 32.807 % |
457.65/457.86	|    209855 |   10785   146152   334926 |   126360    77712    132 | 32.881 % |
457.65/457.86	|    215621 |   10499   146152   334926 |   138996    83462    132 | 33.329 % |
457.65/457.86	|    224270 |   10087   146152   334926 |   152895    92082    133 | 33.975 % |
457.65/457.86	|    237244 |    9932   146152   334926 |   168185   104431    140 | 34.218 % |
457.65/457.86	|    256705 |    9690   146152   334926 |   185003   123873    144 | 34.598 % |
457.65/457.86	|    285897 |    9456   146152   334926 |   203504   151997    156 | 34.965 % |
457.65/457.86	|    329686 |    8986   146152   334926 |   223854   195760    168 | 35.702 % |
457.65/457.86	|    395370 |    8510   146152   334926 |   246240    51592    164 | 36.448 % |
457.65/457.86	|    493896 |    7714   146152   334926 |   270864   150058    211 | 37.697 % |
457.65/457.86	|    641685 |    6980   146152   334926 |   297950   296405    231 | 38.848 % |
457.65/457.86	|    863368 |    6298   146152   334926 |   327745   223649    251 | 39.917 % |
457.65/457.86	===============================================================================
457.65/457.86	c Found solution: -52
457.65/457.87	c ---[   0]---> Sorter-cost:    0     Base:
984.66/984.99	|  Eliminated clauses:           1.06 Mb                                      |
984.66/984.99	============================[ Search Statistics ]==============================
984.66/984.99	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
984.66/984.99	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
984.66/984.99	===============================================================================
984.66/984.99	|    907690 |    5619   134971   290097 |    49489    30648    260 | 40.139 % |
984.66/984.99	|    907840 |    5619   134971   290097 |    54438    30798    259 | 40.139 % |
984.66/984.99	|    908065 |    5619   134971   290097 |    59882    31023    259 | 40.139 % |
984.66/984.99	|    908402 |    5619   134971   290097 |    65870    31360    257 | 40.139 % |
984.66/984.99	|    908908 |    5619   134971   290097 |    72457    31866    256 | 40.139 % |
984.66/984.99	|    909667 |    5619   134971   290097 |    79703    32625    253 | 40.139 % |
984.66/984.99	|    910806 |    5619   134971   290097 |    87673    33764    250 | 40.139 % |
984.66/984.99	|    912514 |    5619   134971   290097 |    96440    35472    246 | 40.139 % |
984.66/984.99	|    915076 |    5604   134971   290097 |   106084    38033    242 | 40.162 % |
984.66/984.99	|    918920 |    5604   134971   290097 |   116693    41877    237 | 40.162 % |
984.66/984.99	|    924686 |    5587   134971   290097 |   128362    47641    231 | 40.189 % |
984.66/984.99	|    933335 |    5509   134971   290097 |   141198    56285    223 | 40.311 % |
984.66/984.99	|    946309 |    5453   134971   290097 |   155318    69254    221 | 40.399 % |
984.66/984.99	|    965770 |    5413   134971   290097 |   170850    88710    218 | 40.462 % |
984.66/984.99	|    994962 |    5413   134971   290097 |   187935   117902    223 | 40.462 % |
984.66/984.99	|   1038751 |    5384   134971   290097 |   206729   161689    226 | 40.507 % |
984.66/984.99	|   1104435 |    5349   134971   290097 |   227402   227369    230 | 40.562 % |
984.66/984.99	|   1202961 |    5093   134971   290097 |   250142    96567    239 | 40.963 % |
984.66/984.99	|   1350750 |    4943   134971   290097 |   275156   244342    243 | 41.199 % |
984.66/984.99	|   1572433 |    4560   134971   290097 |   302672   184941    246 | 41.799 % |
984.66/984.99	|   1904958 |    4401   134971   290097 |   332939   220732    252 | 42.049 % |
984.66/984.99	===============================================================================
984.66/984.99	c Found solution: -53
984.76/985.00	c ---[   0]---> Sorter-cost:    0     Base:
1800.02/1800.40	|  Eliminated clauses:           1.06 Mb                                      |
1800.02/1800.40	============================[ Search Statistics ]==============================
1800.02/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.02/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.02/1800.40	===============================================================================
1800.02/1800.40	|   1923641 |    4224   131962   278123 |    48386    21463    354 | 42.037 % |
1800.02/1800.40	|   1923791 |    4192   131962   278123 |    53224    21611    352 | 42.087 % |
1800.02/1800.40	|   1924016 |    4192   131962   278123 |    58547    21836    349 | 42.087 % |
1800.02/1800.40	|   1924353 |    4192   131962   278123 |    64401    22173    345 | 42.087 % |
1800.02/1800.40	|   1924859 |    4192   131962   278123 |    70842    22679    340 | 42.087 % |
1800.02/1800.40	|   1925618 |    4191   131962   278123 |    77926    23437    332 | 42.089 % |
1800.02/1800.40	|   1926757 |    4190   131962   278123 |    85718    24575    323 | 42.090 % |
1800.02/1800.40	|   1928465 |    4188   131962   278123 |    94290    26282    310 | 42.093 % |
1800.02/1800.40	|   1931027 |    4188   131962   278123 |   103719    28844    297 | 42.093 % |
1800.02/1800.40	|   1934871 |    4188   131962   278123 |   114091    32688    279 | 42.093 % |
1800.02/1800.40	|   1940637 |    4175   131962   278123 |   125500    38453    257 | 42.114 % |
1800.02/1800.40	|   1949286 |    4152   131962   278123 |   138051    47100    242 | 42.150 % |
1800.02/1800.40	|   1962260 |    4140   131962   278123 |   151856    60073    230 | 42.169 % |
1800.02/1800.40	|   1981721 |    4115   131962   278123 |   167041    79532    214 | 42.208 % |
1800.02/1800.40	|   2010913 |    4101   131962   278123 |   183746   108723    210 | 42.230 % |
1800.02/1800.40	|   2054702 |    4062   131962   278123 |   202120   152508    209 | 42.291 % |
1800.02/1800.40	|   2120386 |    4034   131962   278123 |   222332   218187    209 | 42.335 % |
1800.02/1800.40	|   2218912 |    3946   131962   278123 |   244565    88462    225 | 42.473 % |
1800.02/1800.40	|   2366701 |    3916   131962   278123 |   269022   236246    213 | 42.520 % |
1800.02/1800.40	|   2588384 |    3809   131962   278123 |   295924   179975    208 | 42.687 % |
1800.02/1800.40	|   2920909 |    3712   131962   278123 |   325517   220793    224 | 42.839 % |
1800.02/1800.40	|   3419697 |    3615   131962   278123 |   358068    62499    247 | 42.991 % |
1800.02/1800.40	c 
1800.02/1800.40	c *** TERMINATED ***
1800.02/1800.40	s SATISFIABLE
1800.02/1800.40	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-4113984-1466541168/watcher-4113984-1466541168 -o /tmp/evaluation-result-4113984-1466541168/solver-4113984-1466541168 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466515084-32165 --watchdog 1960 minisatp HOME/instance-4113984-1466541168.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.04 2.07 2.07 3/173 5078
/proc/meminfo: memFree=31397552/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=6924 CPUtime=0 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 420 0 0 0 0 0 0 0 20 0 1 0 56166968 7090176 296 33554432000 4194304 5646918 140736957691072 140736555760184 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 1731 296 94 355 0 1372 0

[startup+0.100151 s]
/proc/loadavg: 2.04 2.07 2.07 3/173 5078
/proc/meminfo: memFree=31397552/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=12496 CPUtime=0.09 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 1839 0 0 0 9 0 0 0 20 0 1 0 56166968 12795904 1715 33554432000 4194304 5646918 140736957691072 140736957690440 4953072 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 3124 1715 94 355 0 2765 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12496

[startup+0.200316 s]
/proc/loadavg: 2.04 2.07 2.07 3/173 5078
/proc/meminfo: memFree=31397552/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=18624 CPUtime=0.19 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 3362 0 0 0 19 0 0 0 20 0 1 0 56166968 19070976 3238 33554432000 4194304 5646918 140736957691072 140736957690440 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 4656 3240 94 355 0 4297 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18624

[startup+0.300296 s]
/proc/loadavg: 2.04 2.07 2.07 3/173 5078
/proc/meminfo: memFree=31397552/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=24692 CPUtime=0.29 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 4882 0 0 0 29 0 0 0 20 0 1 0 56166968 25284608 4758 33554432000 4194304 5646918 140736957691072 140736957690440 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 6173 4760 94 355 0 5814 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24692

[startup+0.70026 s]
/proc/loadavg: 2.04 2.07 2.07 3/173 5078
/proc/meminfo: memFree=31397552/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=49132 CPUtime=0.68 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 10966 0 0 0 67 1 0 0 20 0 1 0 56166968 50311168 10842 33554432000 4194304 5646918 140736957691072 140736957690440 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 12283 10842 94 355 0 11924 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 49132

[startup+1.50025 s]
/proc/loadavg: 2.04 2.07 2.07 3/174 5079
/proc/meminfo: memFree=31325844/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=102152 CPUtime=1.48 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 24991 0 0 0 142 6 0 0 20 0 1 0 56166968 104603648 24644 33554432000 4194304 5646918 140736957691072 140736957690440 4419702 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 25538 24645 134 355 0 25179 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 102152

[startup+3.1003 s]
/proc/loadavg: 2.04 2.07 2.07 3/175 5080
/proc/meminfo: memFree=31285444/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=107120 CPUtime=3.09 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 26550 0 0 0 302 7 0 0 20 0 1 0 56166968 109690880 25846 33554432000 4194304 5646918 140736957691072 140736957689832 4403176 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 26780 25846 155 355 0 26421 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 107120

[startup+6.30031 s]
/proc/loadavg: 2.03 2.07 2.07 3/175 5080
/proc/meminfo: memFree=31271392/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=114260 CPUtime=6.29 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 27389 0 0 0 622 7 0 0 20 0 1 0 56166968 117002240 26670 33554432000 4194304 5646918 140736957691072 140736957689768 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 28565 26670 155 355 0 28206 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 114260

[startup+12.7003 s]
/proc/loadavg: 2.03 2.07 2.07 3/175 5080
/proc/meminfo: memFree=31235748/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=133372 CPUtime=12.69 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 28985 0 0 0 1261 8 0 0 20 0 1 0 56166968 136572928 29778 33554432000 4194304 5646918 140736957691072 140736957689352 4416598 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 33343 29778 156 355 0 32984 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 133372

[startup+25.5004 s]
/proc/loadavg: 2.02 2.06 2.07 3/175 5080
/proc/meminfo: memFree=31197040/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=133852 CPUtime=25.49 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 30060 0 0 0 2540 9 0 0 20 0 1 0 56166968 137064448 29819 33554432000 4194304 5646918 140736957691072 140736957689784 4416598 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 33463 29819 156 355 0 33104 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 133852

[startup+51.1004 s]
/proc/loadavg: 2.01 2.06 2.07 3/175 5080
/proc/meminfo: memFree=31195012/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=153900 CPUtime=51.08 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 32778 0 0 0 5097 11 0 0 20 0 1 0 56166968 157593600 35445 33554432000 4194304 5646918 140736957691072 140736957689352 4402896 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 38475 35445 156 355 0 38116 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 153900

[startup+102.3 s]
/proc/loadavg: 2.06 2.06 2.07 3/175 5081
/proc/meminfo: memFree=31157868/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=235888 CPUtime=102.28 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 33848 0 0 0 10214 14 0 0 20 0 1 0 56166968 241549312 56950 33554432000 4194304 5646918 140736957691072 140736957689320 4403454 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 58972 56950 156 355 0 58613 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 235888

[startup+162.3 s]
/proc/loadavg: 2.02 2.05 2.06 3/175 5082
/proc/meminfo: memFree=31077492/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=185800 CPUtime=162.27 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 35705 0 0 0 16211 16 0 0 20 0 1 0 56166968 190259200 44116 33554432000 4194304 5646918 140736957691072 140736957689768 4403136 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 46450 44116 156 355 0 46091 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 185800

[startup+222.307 s]
/proc/loadavg: 2.00 2.04 2.06 3/175 5083
/proc/meminfo: memFree=31006776/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=317276 CPUtime=222.26 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 36800 0 0 0 22208 18 0 0 20 0 1 0 56166968 324890624 70234 33554432000 4194304 5646918 140736957691072 140736957689768 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 79319 70234 156 355 0 78960 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 317276

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/175 5084
/proc/meminfo: memFree=31038960/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=451156 CPUtime=282.2 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 37885 0 0 0 28199 21 0 0 20 0 1 0 56166968 461983744 86877 33554432000 4194304 5646918 140736957691072 140736957689320 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 112789 86877 156 355 0 112430 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 451156

[startup+342.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/175 5086
/proc/meminfo: memFree=31070316/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=237508 CPUtime=342.17 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 39732 0 0 0 34192 25 0 0 20 0 1 0 56166968 243208192 48010 33554432000 4194304 5646918 140736957691072 140736957689768 4402776 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 59377 48010 156 355 0 59018 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 237508

[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/175 5087
/proc/meminfo: memFree=31087536/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=319048 CPUtime=402.16 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 40600 0 0 0 40189 27 0 0 20 0 1 0 56166968 326705152 73916 33554432000 4194304 5646918 140736957691072 140736957689208 4403408 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 79762 73916 156 355 0 79403 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 319048

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/176 5091
/proc/meminfo: memFree=31179200/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=161008 CPUtime=462.15 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 42568 0 0 0 46185 30 0 0 20 0 1 0 56166968 164872192 35728 33554432000 4194304 5646918 140736957691072 140736957689768 4403147 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 40252 35728 156 355 0 39893 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 161008

[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.04 3/175 5092
/proc/meminfo: memFree=31058876/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=323304 CPUtime=522.14 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 44171 0 0 0 52182 32 0 0 20 0 1 0 56166968 331063296 66960 33554432000 4194304 5646918 140736957691072 140736957689768 4397497 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 80826 66960 156 355 0 80467 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 323304

[startup+582.3 s]
/proc/loadavg: 2.06 2.04 2.04 3/175 5093
/proc/meminfo: memFree=31209736/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=192140 CPUtime=582.13 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 45853 0 0 0 58178 35 0 0 20 0 1 0 56166968 196751360 45972 33554432000 4194304 5646918 140736957691072 140736957689768 4389024 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 48035 45972 156 355 0 47676 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 192140


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


[startup+882.307 s]
/proc/loadavg: 2.00 2.03 2.03 3/175 5155
/proc/meminfo: memFree=30901004/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=463688 CPUtime=882.09 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 52191 0 0 0 88163 46 0 0 20 0 1 0 56166968 474816512 103494 33554432000 4194304 5646918 140736957691072 140736957689208 4403170 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 115922 103494 156 355 0 115563 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 463688

[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/175 5157
/proc/meminfo: memFree=31135732/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=332092 CPUtime=942.07 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 54732 0 0 0 94157 50 0 0 20 0 1 0 56166968 340062208 63899 33554432000 4194304 5646918 140736957691072 140736957689768 4403408 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 83023 63899 156 355 0 82664 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 332092

[startup+1002.3 s]
/proc/loadavg: 2.04 2.03 2.02 3/175 5158
/proc/meminfo: memFree=31207176/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=201280 CPUtime=1002.06 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 56950 0 0 0 100151 55 0 0 20 0 1 0 56166968 206110720 45823 33554432000 4194304 5646918 140736957691072 140736957689768 4403464 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 50320 45823 156 355 0 49961 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 201280

[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/176 5162
/proc/meminfo: memFree=31161000/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=332756 CPUtime=1062.05 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 57826 0 0 0 106148 57 0 0 20 0 1 0 56166968 340742144 70203 33554432000 4194304 5646918 140736957691072 140736957689768 4416592 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 83189 70203 156 355 0 82830 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 332756

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/175 5163
/proc/meminfo: memFree=31108416/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=251368 CPUtime=1122.03 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 60330 0 0 0 112144 59 0 0 20 0 1 0 56166968 257400832 57493 33554432000 4194304 5646918 140736957691072 140736957689768 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 62842 57493 156 355 0 62483 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 251368

[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/175 5164
/proc/meminfo: memFree=31022580/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=333380 CPUtime=1182.03 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 61027 0 0 0 118142 61 0 0 20 0 1 0 56166968 341381120 80670 33554432000 4194304 5646918 140736957691072 140736957689208 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 83345 80670 156 355 0 82986 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 333380

[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 5166
/proc/meminfo: memFree=31119180/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=252528 CPUtime=1242.02 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 63216 0 0 0 124136 66 0 0 20 0 1 0 56166968 258588672 55854 33554432000 4194304 5646918 140736957691072 140736957689768 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 63132 55854 156 355 0 62773 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 252528

[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/175 5167
/proc/meminfo: memFree=31007056/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=334408 CPUtime=1302.01 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 64036 0 0 0 130133 68 0 0 20 0 1 0 56166968 342433792 79153 33554432000 4194304 5646918 140736957691072 140736957689208 4403187 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 83602 79153 156 355 0 83243 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 334408

[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 5168
/proc/meminfo: memFree=31185780/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=154736 CPUtime=1362 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 65803 0 0 0 136129 71 0 0 20 0 1 0 56166968 158449664 37880 33554432000 4194304 5646918 140736957691072 140736957689768 4416598 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 38684 37880 156 355 0 38325 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 154736

[startup+1422.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/175 5169
/proc/meminfo: memFree=31106004/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=336000 CPUtime=1421.98 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 67407 0 0 0 142125 73 0 0 20 0 1 0 56166968 344064000 72164 33554432000 4194304 5646918 140736957691072 140736957689768 4403176 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 84000 72164 156 355 0 83641 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 336000

[startup+1482.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/175 5170
/proc/meminfo: memFree=30880760/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=469336 CPUtime=1481.96 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 68148 0 0 0 148120 76 0 0 20 0 1 0 56166968 480600064 100497 33554432000 4194304 5646918 140736957691072 140736957689208 4397622 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 117334 100497 156 355 0 116975 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 469336

[startup+1542.31 s]
/proc/loadavg: 2.03 2.04 2.00 3/175 5172
/proc/meminfo: memFree=31076252/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=256392 CPUtime=1541.96 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 70206 0 0 0 154116 80 0 0 20 0 1 0 56166968 262545408 61275 33554432000 4194304 5646918 140736957691072 140736957689208 4403454 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 64098 61275 156 355 0 63739 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 256392

[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/175 5173
/proc/meminfo: memFree=30904096/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=470388 CPUtime=1601.95 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 71325 0 0 0 160112 83 0 0 20 0 1 0 56166968 481677312 84361 33554432000 4194304 5646918 140736957691072 140736957689768 4403411 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 117597 84361 156 355 0 117238 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 470388

[startup+1662.3 s]
/proc/loadavg: 2.18 2.08 2.01 3/176 5177
/proc/meminfo: memFree=30925256/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=471364 CPUtime=1661.94 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 71566 0 0 0 166110 84 0 0 20 0 1 0 56166968 482676736 98910 33554432000 4194304 5646918 140736957691072 140736957689208 4403495 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 117841 98910 156 355 0 117482 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 471364

[startup+1722.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/176 5200
/proc/meminfo: memFree=30962988/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=339848 CPUtime=1721.93 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 74124 0 0 0 172104 89 0 0 20 0 1 0 56166968 348004352 64787 33554432000 4194304 5646918 140736957691072 140736957689768 4403176 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 84962 64787 156 355 0 84603 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 339848

[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/175 5201
/proc/meminfo: memFree=30989196/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=472540 CPUtime=1781.91 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 74730 0 0 0 178100 91 0 0 20 0 1 0 56166968 483880960 86342 33554432000 4194304 5646918 140736957691072 140736957689208 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 118135 86342 156 355 0 117776 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 472540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.09 2.06 2.00 3/175 5201
/proc/meminfo: memFree=30940600/32872528 swapFree=448380/481084
[pid=5078] ppid=5075 vsize=472916 CPUtime=1800.02 cores=1,3,5,7
/proc/5078/stat : 5078 (minisatp) R 5075 5078 32148 0 -1 4202496 74834 0 0 0 179910 92 0 0 20 0 1 0 56166968 484265984 91556 33554432000 4194304 5646918 140736957691072 140736957689208 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/5078/statm: 118229 91556 156 355 0 117870 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 472916

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1799.1
CPU system time (s): 0.937857
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 490784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 0.937857
maximum resident set size= 449832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74834
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= 145
involuntary context switches= 1971

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.92925 second user time and 7.27189 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-21 22:32:48
IDJOB=4113984
IDBENCH=2268
IDSOLVER=2555
FILE ID=node104/4113984-1466541168
RUNJOBID= node104-1466515084-32165
PBS_JOBID= 19942884
Free space on /tmp= 71660 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-2.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4113984-1466541168/watcher-4113984-1466541168 -o /tmp/evaluation-result-4113984-1466541168/solver-4113984-1466541168 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466515084-32165 --watchdog 1960  minisatp HOME/instance-4113984-1466541168.opb

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

MD5SUM BENCH= f7a936a02ddf18c17dc27b7b53733ab1
RANDOM SEED=498648051

node104.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.035
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.07
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.035
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.035
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.035
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.035
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
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:        31398220 kB
Buffers:           19172 kB
Cached:            69248 kB
SwapCached:        74580 kB
Active:           158308 kB
Inactive:         131608 kB
Active(anon):     128420 kB
Inactive(anon):    75424 kB
Active(file):      29888 kB
Inactive(file):    56184 kB
Unevictable:      481084 kB
Mlocked:          448380 kB
SwapTotal:      67108856 kB
SwapFree:       67027048 kB
Dirty:              6636 kB
Writeback:             0 kB
AnonPages:        657736 kB
Mapped:             9312 kB
Shmem:                 0 kB
Slab:             572068 kB
SReclaimable:      16504 kB
SUnreclaim:       555564 kB
KernelStack:        1448 kB
PageTables:         5852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     725744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    167936 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-4113984-1466541168.opb

Free space on /tmp at the end= 71656 MiB
End job on node104 at 2016-06-21 23:02:49