Trace number 4112560

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)-52 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-4.opb
MD5SUM937ec96fd1742e5ed6250d14e65c707b
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.03
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 constraints127011
Number of constraints which are clauses127011
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.19	c Converting 127011 PB-constraints to clauses...
1.10/1.20	c   -- Unit propagations: (none)
1.10/1.20	c   -- Detecting intervals from adjacent constraints: (none)
1.10/1.20	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.39/1.43	============================[ Search Statistics ]==============================
1.39/1.43	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.43	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.39/1.43	===============================================================================
1.39/1.43	===============================================================================
1.39/1.43	c Found solution: -39
1.39/1.44	c ---[   0]---> Sorter-cost:85954     Base:
4.79/4.81	|  Eliminated clauses:           0.95 Mb                                      |
4.79/4.81	============================[ Search Statistics ]==============================
4.79/4.81	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.79/4.81	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.79/4.81	===============================================================================
4.79/4.81	|       100 |   32741   192828   531959 |    70703       92     33 |  0.170 % |
4.79/4.81	|       250 |   32680   192828   531959 |    77773      237     29 |  0.269 % |
4.79/4.81	|       475 |   32427   192828   531959 |    85551      440     25 |  0.678 % |
4.79/4.81	|       812 |   32060   192828   531959 |    94106      744     29 |  1.273 % |
4.79/4.81	|      1318 |   31601   192828   531959 |   103517     1222     34 |  2.016 % |
4.79/4.81	|      2077 |   30849   192828   531959 |   113868     1920     32 |  3.233 % |
4.79/4.81	|      3216 |   29543   192828   531959 |   125255     2909     34 |  5.348 % |
4.79/4.81	|      4924 |   28002   192828   531959 |   137781     4466     35 |  7.843 % |
4.79/4.81	|      7486 |   26023   192828   531959 |   151559     6776     36 | 11.047 % |
4.79/4.81	===============================================================================
4.79/4.81	c Found solution: -43
4.79/4.82	c ---[   0]---> Sorter-cost:    0     Base:
8.19/8.29	|  Eliminated clauses:           0.97 Mb                                      |
8.19/8.29	============================[ Search Statistics ]==============================
8.19/8.29	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.19/8.29	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
8.19/8.29	===============================================================================
8.19/8.29	|     11129 |   23892   174014   447569 |    63805    10041     38 | 13.773 % |
8.19/8.29	|     11279 |   23827   174014   447569 |    70185    10188     38 | 13.878 % |
8.19/8.29	|     11504 |   23752   174014   447569 |    77204    10409     38 | 13.998 % |
8.19/8.29	|     11841 |   23556   174014   447569 |    84924    10735     38 | 14.313 % |
8.19/8.29	|     12347 |   23330   174014   447569 |    93417    11199     39 | 14.677 % |
8.19/8.29	|     13106 |   22985   174014   447569 |   102758    11883     40 | 15.231 % |
8.19/8.29	|     14245 |   22731   174014   447569 |   113034    12970     40 | 15.640 % |
8.19/8.29	|     15953 |   22013   174014   447569 |   124338    14541     41 | 16.794 % |
8.19/8.29	|     18515 |   21516   174014   447569 |   136771    16942     44 | 17.593 % |
8.19/8.29	|     22359 |   20547   174014   447569 |   150449    20586     48 | 19.150 % |
8.19/8.29	|     28125 |   19418   174014   447569 |   165494    26023     55 | 20.965 % |
8.19/8.29	===============================================================================
8.19/8.29	c Found solution: -44
8.29/8.30	c ---[   0]---> Sorter-cost:    0     Base:
13.29/13.33	|  Eliminated clauses:           0.99 Mb                                      |
13.29/13.33	============================[ Search Statistics ]==============================
13.29/13.33	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
13.29/13.33	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
13.29/13.33	===============================================================================
13.29/13.33	|     30148 |   18795   163342   402919 |    59892    27963     57 | 21.162 % |
13.29/13.33	|     30298 |   18795   163342   402919 |    65881    28113     57 | 21.162 % |
13.29/13.33	|     30523 |   18770   163342   402919 |    72469    28337     57 | 21.202 % |
13.29/13.33	|     30860 |   18721   163342   402919 |    79716    28672     58 | 21.281 % |
13.29/13.33	|     31366 |   18693   163342   402919 |    87687    29177     59 | 21.326 % |
13.29/13.33	|     32125 |   18606   163342   402919 |    96456    29931     59 | 21.466 % |
13.29/13.33	|     33264 |   18263   163342   402919 |   106102    30793     58 | 22.017 % |
13.29/13.33	|     34972 |   18110   163342   402919 |   116712    32493     59 | 22.263 % |
13.29/13.33	|     37534 |   17715   163342   402919 |   128383    34830     65 | 22.898 % |
13.29/13.33	|     41378 |   17267   163342   402919 |   141222    38651     70 | 23.618 % |
13.29/13.33	|     47144 |   16734   163342   402919 |   155344    44035     77 | 24.475 % |
13.29/13.33	|     55793 |   16272   163342   402919 |   170879    52358     86 | 25.218 % |
13.29/13.33	===============================================================================
13.29/13.33	c Found solution: -45
13.29/13.34	c ---[   0]---> Sorter-cost:    0     Base:
22.98/23.02	|  Eliminated clauses:           1.00 Mb                                      |
22.98/23.02	============================[ Search Statistics ]==============================
22.98/23.02	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.98/23.02	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
22.98/23.02	===============================================================================
22.98/23.02	|     56962 |   15970   157278   378641 |    57668    53527     87 | 25.205 % |
22.98/23.02	|     57112 |   15970   157278   378641 |    63435    53677     87 | 25.205 % |
22.98/23.02	|     57337 |   15948   157278   378641 |    69779    53901     87 | 25.240 % |
22.98/23.02	|     57674 |   15925   157278   378641 |    76756    54237     87 | 25.277 % |
22.98/23.02	|     58180 |   15844   157278   378641 |    84432    54740     87 | 25.407 % |
22.98/23.02	|     58939 |   15843   157278   378641 |    92875    55498     88 | 25.409 % |
22.98/23.02	|     60078 |   15691   157278   378641 |   102163    56350     89 | 25.653 % |
22.98/23.02	|     61786 |   15506   157278   378641 |   112379    58046     90 | 25.950 % |
22.98/23.02	|     64348 |   15416   157278   378641 |   123617    60600     91 | 26.094 % |
22.98/23.02	|     68192 |   15295   157278   378641 |   135979    64438     96 | 26.289 % |
22.98/23.02	|     73958 |   14646   157278   378641 |   149577    68828    100 | 27.331 % |
22.98/23.02	|     82607 |   14456   157278   378641 |   164535    77467    108 | 27.636 % |
22.98/23.02	===============================================================================
22.98/23.02	c Found solution: -46
22.98/23.03	c ---[   0]---> Sorter-cost:    0     Base:
31.18/31.23	|  Eliminated clauses:           1.01 Mb                                      |
31.18/31.23	============================[ Search Statistics ]==============================
31.18/31.23	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
31.18/31.23	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
31.18/31.23	===============================================================================
31.18/31.23	|     94629 |   13718   152650   359730 |    55971    26614    115 | 28.269 % |
31.18/31.23	|     94779 |   13678   152650   359730 |    61568    26763    115 | 28.334 % |
31.18/31.23	|     95004 |   13678   152650   359730 |    67725    26988    115 | 28.334 % |
31.18/31.23	|     95341 |   13678   152650   359730 |    74498    27325    117 | 28.334 % |
31.18/31.23	|     95847 |   13656   152650   359730 |    81948    27830    117 | 28.369 % |
31.18/31.23	|     96606 |   13656   152650   359730 |    90142    28589    116 | 28.369 % |
31.18/31.23	|     97745 |   13620   152650   359730 |    99157    29725    117 | 28.427 % |
31.18/31.23	|     99453 |   13553   152650   359730 |   109072    31427    119 | 28.534 % |
31.18/31.23	|    102015 |   13495   152650   359730 |   119980    33986    123 | 28.627 % |
31.18/31.23	|    105859 |   13394   152650   359730 |   131978    37824    126 | 28.790 % |
31.18/31.23	|    111625 |   13236   152650   359730 |   145176    43582    134 | 29.043 % |
31.18/31.23	|    120274 |   12831   152650   359730 |   159693    52208    140 | 29.694 % |
31.18/31.23	===============================================================================
31.18/31.23	c Found solution: -48
31.18/31.24	c ---[   0]---> Sorter-cost:    0     Base:
100.28/100.37	|  Eliminated clauses:           1.03 Mb                                      |
100.28/100.37	============================[ Search Statistics ]==============================
100.28/100.37	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
100.28/100.37	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
100.28/100.37	===============================================================================
100.28/100.37	|    132733 |   12470   150058   349540 |    55021    64242    154 | 30.308 % |
100.28/100.37	|    132883 |   12470   150058   349540 |    60523    64392    154 | 30.308 % |
100.28/100.37	|    133108 |   12470   150058   349540 |    66575    64617    154 | 30.308 % |
100.28/100.37	|    133445 |   12470   150058   349540 |    73233    64954    154 | 30.308 % |
100.28/100.37	|    133951 |   12457   150058   349540 |    80556    65459    154 | 30.329 % |
100.28/100.37	|    134710 |   12457   150058   349540 |    88612    66218    154 | 30.329 % |
100.28/100.37	|    135849 |   12440   150058   349540 |    97473    67356    156 | 30.356 % |
100.28/100.37	|    137557 |   12366   150058   349540 |   107220    69059    155 | 30.473 % |
100.28/100.37	|    140119 |   12344   150058   349540 |   117942    71619    156 | 30.507 % |
100.28/100.37	|    143963 |   12328   150058   349540 |   129737    75462    160 | 30.533 % |
100.28/100.37	|    149729 |   12259   150058   349540 |   142710    81222    164 | 30.642 % |
100.28/100.37	|    158378 |   12007   150058   349540 |   156982    88860    166 | 31.040 % |
100.28/100.37	|    171352 |   11803   150058   349540 |   172680   101822    174 | 31.363 % |
100.28/100.37	|    190813 |   11614   150058   349540 |   189948   121266    180 | 31.661 % |
100.28/100.37	|    220005 |   11358   150058   349540 |   208943   148603    195 | 32.066 % |
100.28/100.37	|    263794 |   11052   150058   349540 |   229837   192370    214 | 32.549 % |
100.28/100.37	===============================================================================
100.28/100.37	c Found solution: -49
100.28/100.38	c ---[   0]---> Sorter-cost:    0     Base:
122.87/122.94	|  Eliminated clauses:           1.04 Mb                                      |
122.87/122.94	============================[ Search Statistics ]==============================
122.87/122.94	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
122.87/122.94	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
122.87/122.94	===============================================================================
122.87/122.94	|    278618 |   10789   146573   335346 |    53743    31200    186 | 32.604 % |
122.87/122.94	|    278768 |   10789   146573   335346 |    59117    31350    185 | 32.604 % |
122.87/122.94	|    278993 |   10721   146573   335346 |    65029    31571    185 | 32.712 % |
122.87/122.94	|    279330 |   10698   146573   335346 |    71532    31907    185 | 32.748 % |
122.87/122.94	|    279836 |   10698   146573   335346 |    78685    32413    185 | 32.748 % |
122.87/122.94	|    280595 |   10680   146573   335346 |    86554    33171    184 | 32.777 % |
122.87/122.94	|    281734 |   10680   146573   335346 |    95209    34310    185 | 32.777 % |
122.87/122.94	|    283442 |   10602   146573   335346 |   104730    36013    181 | 32.900 % |
122.87/122.94	|    286004 |   10576   146573   335346 |   115203    38574    181 | 32.941 % |
122.87/122.94	|    289848 |   10575   146573   335346 |   126724    42417    180 | 32.942 % |
122.87/122.94	|    295614 |   10473   146573   335346 |   139396    48179    184 | 33.103 % |
122.87/122.94	|    304263 |   10376   146573   335346 |   153336    56822    185 | 33.257 % |
122.87/122.94	|    317237 |   10243   146573   335346 |   168669    69416    194 | 33.467 % |
122.87/122.94	|    336698 |   10082   146573   335346 |   185536    88867    203 | 33.721 % |
122.87/122.94	===============================================================================
122.87/122.94	c Found solution: -50
122.87/122.95	c ---[   0]---> Sorter-cost:    0     Base:
509.32/509.40	|  Eliminated clauses:           1.05 Mb                                      |
509.32/509.40	============================[ Search Statistics ]==============================
509.32/509.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
509.32/509.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
509.32/509.40	===============================================================================
509.32/509.40	|    349733 |    9761   144404   326473 |    52948    29232    147 | 33.961 % |
509.32/509.40	|    349883 |    9761   144404   326473 |    58242    29382    147 | 33.961 % |
509.32/509.40	|    350108 |    9761   144404   326473 |    64067    29607    147 | 33.961 % |
509.32/509.40	|    350445 |    9761   144404   326473 |    70473    29944    148 | 33.961 % |
509.32/509.40	|    350951 |    9761   144404   326473 |    77521    30450    148 | 33.961 % |
509.32/509.40	|    351710 |    9744   144404   326473 |    85273    31208    148 | 33.987 % |
509.32/509.40	|    352849 |    9732   144404   326473 |    93800    32346    149 | 34.006 % |
509.32/509.40	|    354557 |    9728   144404   326473 |   103180    34053    149 | 34.013 % |
509.32/509.40	|    357119 |    9676   144404   326473 |   113499    36321    151 | 34.095 % |
509.32/509.40	|    360963 |    9652   144404   326473 |   124848    40163    154 | 34.133 % |
509.32/509.40	|    366729 |    9562   144404   326473 |   137333    45923    158 | 34.275 % |
509.32/509.40	|    375378 |    9549   144404   326473 |   151067    54514    163 | 34.295 % |
509.32/509.40	|    388352 |    9423   144404   326473 |   166173    67481    174 | 34.494 % |
509.32/509.40	|    407813 |    9199   144404   326473 |   182791    86781    186 | 34.848 % |
509.32/509.40	|    437005 |    8879   144404   326473 |   201070   115956    201 | 35.353 % |
509.32/509.40	|    480794 |    8801   144404   326473 |   221177   159510    222 | 35.476 % |
509.32/509.40	|    546478 |    8441   144404   326473 |   243295   225169    236 | 36.044 % |
509.32/509.40	|    645004 |    7736   144404   326473 |   267624    92653    217 | 37.157 % |
509.32/509.40	|    792793 |    7252   144404   326473 |   294387   240138    259 | 37.922 % |
509.32/509.40	===============================================================================
509.32/509.40	c Found solution: -51
509.32/509.41	c ---[   0]---> Sorter-cost:    0     Base:
746.92/747.11	|  Eliminated clauses:           1.06 Mb                                      |
746.92/747.11	============================[ Search Statistics ]==============================
746.92/747.11	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
746.92/747.11	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
746.92/747.11	===============================================================================
746.92/747.11	|   1001737 |    6427   137419   298157 |    50386    31798    204 | 39.130 % |
746.92/747.11	|   1001887 |    6427   137419   298157 |    55425    31948    205 | 39.130 % |
746.92/747.11	|   1002112 |    6408   137419   298157 |    60968    32172    204 | 39.159 % |
746.92/747.11	|   1002449 |    6408   137419   298157 |    67065    32509    204 | 39.159 % |
746.92/747.11	|   1002955 |    6408   137419   298157 |    73771    33015    204 | 39.159 % |
746.92/747.11	|   1003714 |    6406   137419   298157 |    81148    33773    204 | 39.163 % |
746.92/747.11	|   1004853 |    6406   137419   298157 |    89263    34912    205 | 39.162 % |
746.92/747.11	|   1006561 |    6406   137419   298157 |    98189    36620    206 | 39.162 % |
746.92/747.11	|   1009123 |    6406   137419   298157 |   108008    39182    213 | 39.162 % |
746.92/747.11	|   1012967 |    6385   137419   298157 |   118809    43024    212 | 39.195 % |
746.92/747.11	|   1018733 |    6383   137419   298157 |   130690    48789    216 | 39.198 % |
746.92/747.11	|   1027382 |    6350   137419   298157 |   143759    57436    221 | 39.250 % |
746.92/747.11	|   1040356 |    6285   137419   298157 |   158135    70405    226 | 39.351 % |
746.92/747.11	|   1059817 |    6220   137419   298157 |   173949    89860    228 | 39.452 % |
746.92/747.11	|   1089009 |    6137   137419   298157 |   191344   119048    238 | 39.582 % |
746.92/747.11	|   1132798 |    6033   137419   298157 |   210478   162830    250 | 39.744 % |
746.92/747.11	|   1198482 |    5919   137419   298157 |   231526   228505    259 | 39.921 % |
746.92/747.11	|   1297008 |    5718   137419   298157 |   254679    94801    246 | 40.235 % |
746.92/747.11	===============================================================================
746.92/747.11	c Found solution: -52
746.92/747.12	c ---[   0]---> Sorter-cost:    0     Base:
1800.02/1800.40	|  Eliminated clauses:           1.07 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	|   1419048 |    5264   134935   287953 |    49476    33336    198 | 40.698 % |
1800.02/1800.40	|   1419198 |    5264   134935   287953 |    54423    33486    198 | 40.698 % |
1800.02/1800.40	|   1419423 |    5264   134935   287953 |    59866    33711    198 | 40.698 % |
1800.02/1800.40	|   1419760 |    5259   134935   287953 |    65852    34047    198 | 40.706 % |
1800.02/1800.40	|   1420266 |    5259   134935   287953 |    72438    34553    197 | 40.706 % |
1800.02/1800.40	|   1421025 |    5259   134935   287953 |    79681    35312    197 | 40.706 % |
1800.02/1800.40	|   1422164 |    5258   134935   287953 |    87650    36450    200 | 40.707 % |
1800.02/1800.40	|   1423872 |    5239   134935   287953 |    96415    38157    199 | 40.737 % |
1800.02/1800.40	|   1426434 |    5239   134935   287953 |   106056    40719    203 | 40.737 % |
1800.02/1800.40	|   1430278 |    5239   134935   287953 |   116662    44563    207 | 40.737 % |
1800.02/1800.40	|   1436044 |    5239   134935   287953 |   128328    50329    212 | 40.737 % |
1800.02/1800.40	|   1444693 |    5239   134935   287953 |   141161    58978    215 | 40.737 % |
1800.02/1800.40	|   1457667 |    5239   134935   287953 |   155277    71952    220 | 40.737 % |
1800.02/1800.40	|   1477128 |    5197   134935   287953 |   170805    91410    232 | 40.802 % |
1800.02/1800.40	|   1506320 |    5120   134935   287953 |   187885   120595    238 | 40.922 % |
1800.02/1800.40	|   1550109 |    5100   134935   287953 |   206674   164118    245 | 40.953 % |
1800.02/1800.40	|   1615793 |    4999   134935   287953 |   227341   229790    254 | 41.111 % |
1800.02/1800.40	|   1714319 |    4889   134935   287953 |   250075    97801    240 | 41.282 % |
1800.02/1800.40	|   1862108 |    4743   134935   287953 |   275083   245535    257 | 41.510 % |
1800.02/1800.40	|   2083791 |    4408   134935   287953 |   302591   186608    231 | 42.032 % |
1800.02/1800.40	|   2416316 |    4226   134935   287953 |   332850   223688    246 | 42.315 % |
1800.02/1800.40	|   2915104 |    4066   134935   287953 |   366135    64209    232 | 42.565 % |
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	-52

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-4112560-1466541014/watcher-4112560-1466541014 -o /tmp/evaluation-result-4112560-1466541014/solver-4112560-1466541014 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466514782-25600 --watchdog 1960 minisatp HOME/instance-4112560-1466541014.opb 

pid=30244
running on 4 cores: 0,2,4,6

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.34 2.23 2.18 3/177 30247
/proc/meminfo: memFree=30095760/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=6924 CPUtime=0 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 56146968 7090176 300 33554432000 4194304 5646918 140736305868640 140736305868008 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 1731 300 94 355 0 1372 0

[startup+0.100159 s]
/proc/loadavg: 2.34 2.23 2.18 3/177 30247
/proc/meminfo: memFree=30095760/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=12496 CPUtime=0.09 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 1825 0 0 0 9 0 0 0 20 0 1 0 56146968 12795904 1701 33554432000 4194304 5646918 140736305868640 140736305868008 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 3124 1702 94 355 0 2765 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12496

[startup+0.200317 s]
/proc/loadavg: 2.34 2.23 2.18 3/177 30247
/proc/meminfo: memFree=30095760/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=18492 CPUtime=0.19 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 3339 0 0 0 19 0 0 0 20 0 1 0 56146968 18935808 3215 33554432000 4194304 5646918 140736305868640 140736305868008 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 4623 3215 94 355 0 4264 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18492

[startup+0.30029 s]
/proc/loadavg: 2.34 2.23 2.18 3/177 30247
/proc/meminfo: memFree=30095760/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=24692 CPUtime=0.29 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 4856 0 0 0 28 1 0 0 20 0 1 0 56146968 25284608 4732 33554432000 4194304 5646918 140736305868640 140736305868008 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 6173 4733 94 355 0 5814 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24692

[startup+0.70025 s]
/proc/loadavg: 2.34 2.23 2.18 3/177 30247
/proc/meminfo: memFree=30095760/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=49000 CPUtime=0.69 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 10935 0 0 0 67 2 0 0 20 0 1 0 56146968 50176000 10811 33554432000 4194304 5646918 140736305868640 140736305868008 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 12250 10811 94 355 0 11891 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49000

[startup+1.50027 s]
/proc/loadavg: 2.34 2.23 2.18 3/178 30248
/proc/meminfo: memFree=30026576/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=96356 CPUtime=1.49 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 23742 0 0 0 140 9 0 0 20 0 1 0 56146968 98668544 23441 33554432000 4194304 5646918 140736305868640 140736305868008 4388221 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 24089 23442 134 355 0 23730 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96356

[startup+3.10029 s]
/proc/loadavg: 2.34 2.23 2.18 3/178 30248
/proc/meminfo: memFree=29988256/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=107588 CPUtime=3.09 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 27362 0 0 0 300 9 0 0 20 0 1 0 56146968 110170112 25909 33554432000 4194304 5646918 140736305868640 140736305867400 4402684 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 26897 25909 155 355 0 26538 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 107588

[startup+6.30029 s]
/proc/loadavg: 2.31 2.23 2.18 4/178 30248
/proc/meminfo: memFree=29980100/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=110564 CPUtime=6.29 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 28157 0 0 0 620 9 0 0 20 0 1 0 56146968 113217536 26680 33554432000 4194304 5646918 140736305868640 140736305866776 4402684 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 27641 26680 155 355 0 27282 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 110564

[startup+12.7003 s]
/proc/loadavg: 2.29 2.22 2.18 3/178 30248
/proc/meminfo: memFree=29954232/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=133840 CPUtime=12.69 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 29236 0 0 0 1259 10 0 0 20 0 1 0 56146968 137052160 30303 33554432000 4194304 5646918 140736305868640 140736305867336 4403464 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 33460 30303 155 355 0 33101 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 133840

[startup+25.5004 s]
/proc/loadavg: 2.30 2.23 2.18 3/178 30248
/proc/meminfo: memFree=29929096/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=134320 CPUtime=25.49 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 30612 0 0 0 2538 11 0 0 20 0 1 0 56146968 137543680 30458 33554432000 4194304 5646918 140736305868640 140736305867336 4398927 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 33580 30458 155 355 0 33221 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 134320

[startup+51.1004 s]
/proc/loadavg: 2.27 2.22 2.18 3/177 30249
/proc/meminfo: memFree=29824796/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=235276 CPUtime=51.09 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 32489 0 0 0 5096 13 0 0 20 0 1 0 56146968 240922624 47657 33554432000 4194304 5646918 140736305868640 140736305867336 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 58819 47657 155 355 0 58460 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 235276

[startup+102.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/177 30250
/proc/meminfo: memFree=29834656/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=136480 CPUtime=102.28 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 33000 0 0 0 10212 16 0 0 20 0 1 0 56146968 139755520 32283 33554432000 4194304 5646918 140736305868640 140736305867352 4403167 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 34120 32283 155 355 0 33761 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 136480

[startup+162.3 s]
/proc/loadavg: 2.05 2.16 2.16 3/177 30251
/proc/meminfo: memFree=29941352/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=236356 CPUtime=162.26 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 37264 0 0 0 16206 20 0 0 20 0 1 0 56146968 242028544 54199 33554432000 4194304 5646918 140736305868640 140736305867336 4403118 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 59089 54199 156 355 0 58730 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 236356

[startup+222.307 s]
/proc/loadavg: 2.13 2.16 2.16 3/177 30252
/proc/meminfo: memFree=29760232/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=317744 CPUtime=222.26 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 37839 0 0 0 22204 22 0 0 20 0 1 0 56146968 325369856 75723 33554432000 4194304 5646918 140736305868640 140736305867336 4403167 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 79436 75723 156 355 0 79077 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 317744

[startup+282.3 s]
/proc/loadavg: 2.14 2.16 2.16 3/176 30253
/proc/meminfo: memFree=29816380/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=186268 CPUtime=282.25 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 39897 0 0 0 28197 28 0 0 20 0 1 0 56146968 190738432 45545 33554432000 4194304 5646918 140736305868640 140736305867336 4416598 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 46567 45545 156 355 0 46208 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 186268

[startup+342.3 s]
/proc/loadavg: 2.18 2.17 2.17 3/177 30255
/proc/meminfo: memFree=29889584/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=317744 CPUtime=342.24 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 40353 0 0 0 34194 30 0 0 20 0 1 0 56146968 325369856 71545 33554432000 4194304 5646918 140736305868640 140736305867336 4403176 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 79436 71545 156 355 0 79077 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 317744

[startup+402.3 s]
/proc/loadavg: 2.27 2.20 2.18 4/177 30257
/proc/meminfo: memFree=29680740/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=450868 CPUtime=402.22 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 41119 0 0 0 40190 32 0 0 20 0 1 0 56146968 461688832 96835 33554432000 4194304 5646918 140736305868640 140736305866776 4402886 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 112717 96835 156 355 0 112358 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 450868

[startup+462.3 s]
/proc/loadavg: 2.29 2.22 2.18 3/177 30258
/proc/meminfo: memFree=29830892/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=192280 CPUtime=462.22 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 43566 0 0 0 46186 36 0 0 20 0 1 0 56146968 196894720 42557 33554432000 4194304 5646918 140736305868640 140736305867336 4403167 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 48070 42557 156 355 0 47711 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 192280

[startup+522.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/177 30259
/proc/meminfo: memFree=29770848/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=194032 CPUtime=522.21 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 46174 0 0 0 52183 38 0 0 20 0 1 0 56146968 198688768 42778 33554432000 4194304 5646918 140736305868640 140736305867336 4403464 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 48508 42778 157 355 0 48149 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 194032

[startup+582.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 30260
/proc/meminfo: memFree=29872672/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=325508 CPUtime=582.18 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 46933 0 0 0 58177 41 0 0 20 0 1 0 56146968 333320192 70082 33554432000 4194304 5646918 140736305868640 140736305867336 4403431 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 81377 70082 157 355 0 81018 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 325508


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


[startup+882.307 s]
/proc/loadavg: 2.31 2.23 2.19 4/177 30269
/proc/meminfo: memFree=29822384/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=166696 CPUtime=882.11 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 54490 0 0 0 88157 54 0 0 20 0 1 0 56146968 170696704 37124 33554432000 4194304 5646918 140736305868640 140736305867336 4403184 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 41674 37124 157 355 0 41315 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 166696

[startup+942.3 s]
/proc/loadavg: 2.33 2.24 2.19 3/177 30270
/proc/meminfo: memFree=29596696/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=328992 CPUtime=942.09 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 56108 0 0 0 94153 56 0 0 20 0 1 0 56146968 336887808 69905 33554432000 4194304 5646918 140736305868640 140736305867336 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 82248 69905 157 355 0 81889 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 328992

[startup+1002.3 s]
/proc/loadavg: 2.31 2.24 2.19 3/177 30327
/proc/meminfo: memFree=29931028/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=462648 CPUtime=1002.08 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 56982 0 0 0 100150 58 0 0 20 0 1 0 56146968 473751552 92748 33554432000 4194304 5646918 140736305868640 140736305866776 4403136 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 115662 92748 157 355 0 115303 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 462648

[startup+1062.3 s]
/proc/loadavg: 2.36 2.26 2.19 3/177 30328
/proc/meminfo: memFree=30063888/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=249464 CPUtime=1062.07 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 58887 0 0 0 106146 61 0 0 20 0 1 0 56146968 255451136 50796 33554432000 4194304 5646918 140736305868640 140736305867336 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 62366 50796 157 355 0 62007 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 249464

[startup+1122.3 s]
/proc/loadavg: 2.19 2.23 2.18 3/177 30329
/proc/meminfo: memFree=29951824/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=331116 CPUtime=1122.06 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 59143 0 0 0 112142 64 0 0 20 0 1 0 56146968 339062784 74557 33554432000 4194304 5646918 140736305868640 140736305866776 4403184 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 82779 74557 157 355 0 82420 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 331116

[startup+1182.3 s]
/proc/loadavg: 2.14 2.21 2.18 3/177 30330
/proc/meminfo: memFree=29806664/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=464988 CPUtime=1182.05 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 60053 0 0 0 118140 65 0 0 20 0 1 0 56146968 476147712 96418 33554432000 4194304 5646918 140736305868640 140736305866776 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 116247 96418 157 355 0 115888 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 464988

[startup+1242.3 s]
/proc/loadavg: 2.33 2.25 2.19 3/178 30334
/proc/meminfo: memFree=30042224/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=203524 CPUtime=1242.05 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 62327 0 0 0 124136 69 0 0 20 0 1 0 56146968 208408576 49131 33554432000 4194304 5646918 140736305868640 140736305867336 4402776 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 50881 49131 157 355 0 50522 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 203524

[startup+1302.3 s]
/proc/loadavg: 2.31 2.25 2.19 3/177 30336
/proc/meminfo: memFree=29963408/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=335140 CPUtime=1302.03 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 63753 0 0 0 130133 70 0 0 20 0 1 0 56146968 343183360 77627 33554432000 4194304 5646918 140736305868640 140736305866776 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 83785 77627 157 355 0 83426 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 335140

[startup+1362.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/177 30337
/proc/meminfo: memFree=29813368/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=467976 CPUtime=1362.03 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 64387 0 0 0 136129 74 0 0 20 0 1 0 56146968 479207424 105855 33554432000 4194304 5646918 140736305868640 140736305866776 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 116994 105855 157 355 0 116635 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 467976

[startup+1422.3 s]
/proc/loadavg: 2.36 2.26 2.19 3/177 30338
/proc/meminfo: memFree=29998624/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=206244 CPUtime=1422.02 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 66778 0 0 0 142125 77 0 0 20 0 1 0 56146968 211193856 46825 33554432000 4194304 5646918 140736305868640 140736305867336 4403147 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 51561 46825 157 355 0 51202 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 206244

[startup+1482.3 s]
/proc/loadavg: 2.44 2.29 2.20 3/177 30339
/proc/meminfo: memFree=29915960/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=337864 CPUtime=1482 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 67875 0 0 0 148121 79 0 0 20 0 1 0 56146968 345972736 75513 33554432000 4194304 5646918 140736305868640 140736305866776 4402788 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 84466 75513 157 355 0 84107 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 337864

[startup+1542.31 s]
/proc/loadavg: 2.30 2.28 2.20 3/177 30340
/proc/meminfo: memFree=29765988/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=471004 CPUtime=1542.01 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 68636 0 0 0 154120 81 0 0 20 0 1 0 56146968 482308096 97735 33554432000 4194304 5646918 140736305868640 140736305866776 4403136 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 117751 97735 157 355 0 117392 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 471004

[startup+1602.3 s]
/proc/loadavg: 2.40 2.30 2.21 3/177 30342
/proc/meminfo: memFree=29746140/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=472696 CPUtime=1601.99 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 69064 0 0 0 160117 82 0 0 20 0 1 0 56146968 484040704 112471 33554432000 4194304 5646918 140736305868640 140736305866776 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 118174 112471 157 355 0 117815 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 472696

[startup+1662.3 s]
/proc/loadavg: 2.51 2.34 2.22 3/177 30343
/proc/meminfo: memFree=29960520/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=259932 CPUtime=1661.98 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 72375 0 0 0 166112 86 0 0 20 0 1 0 56146968 266170368 63658 33554432000 4194304 5646918 140736305868640 140736305867336 4403184 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 64983 63658 157 355 0 64624 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 259932

[startup+1722.3 s]
/proc/loadavg: 2.27 2.30 2.22 3/177 30344
/proc/meminfo: memFree=29877120/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=473892 CPUtime=1721.97 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 73451 0 0 0 172109 88 0 0 20 0 1 0 56146968 485265408 90788 33554432000 4194304 5646918 140736305868640 140736305866776 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 118473 90788 157 355 0 118114 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 473892

[startup+1782.3 s]
/proc/loadavg: 2.24 2.29 2.22 3/177 30345
/proc/meminfo: memFree=29711040/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=474704 CPUtime=1781.93 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 73705 0 0 0 178103 90 0 0 20 0 1 0 56146968 486096896 109455 33554432000 4194304 5646918 140736305868640 140736305866776 4403184 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 118676 109455 157 355 0 118317 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 474704



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.24 2.29 2.21 3/178 30349
/proc/meminfo: memFree=29681052/32872528 swapFree=1459884/1656108
[pid=30247] ppid=30244 vsize=475180 CPUtime=1800.02 cores=0,2,4,6
/proc/30247/stat : 30247 (minisatp) R 30244 30247 25584 0 -1 4202496 73822 0 0 0 179912 90 0 0 20 0 1 0 56146968 486584320 113133 33554432000 4194304 5646918 140736305868640 140736305866776 4403136 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30247/statm: 118795 113133 157 355 0 118436 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 475180

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 30247 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.13
CPU system time (s): 0.911861
CPU usage (%): 99.9794
Max. virtual memory (cumulated for all children) (KiB): 707180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 0.911861
maximum resident set size= 522828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73822
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= 135
involuntary context switches= 1850

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.39033 second user time and 7.18991 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-21 22:30:14
IDJOB=4112560
IDBENCH=2266
IDSOLVER=2555
FILE ID=node136/4112560-1466541014
RUNJOBID= node136-1466514782-25600
PBS_JOBID= 19942881
Free space on /tmp= 71728 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-4.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112560-1466541014/watcher-4112560-1466541014 -o /tmp/evaluation-result-4112560-1466541014/solver-4112560-1466541014 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466514782-25600 --watchdog 1960  minisatp HOME/instance-4112560-1466541014.opb

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

MD5SUM BENCH= 937ec96fd1742e5ed6250d14e65c707b
RANDOM SEED=1372217157

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30096712 kB
Buffers:           20632 kB
Cached:           101092 kB
SwapCached:         1592 kB
Active:           325696 kB
Inactive:          90360 kB
Active(anon):     295284 kB
Inactive(anon):     1388 kB
Active(file):      30412 kB
Inactive(file):    88972 kB
Unevictable:     1656108 kB
Mlocked:         1459884 kB
SwapTotal:      67108856 kB
SwapFree:       67099100 kB
Dirty:              7080 kB
Writeback:             0 kB
AnonPages:       1952168 kB
Mapped:             7784 kB
Shmem:                 0 kB
Slab:             565548 kB
SReclaimable:       9636 kB
SUnreclaim:       555912 kB
KernelStack:        1464 kB
PageTables:         7960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2096448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    327680 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-4112560-1466541014.opb

Free space on /tmp at the end= 71724 MiB
End job on node136 at 2016-06-21 23:00:15