Trace number 4112555

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.07 1800.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb
MD5SUM62a6bdf0e089cd0b8a79007277394096
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-53
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -54
Optimality of the best value was proved NO
Number of variables1400
Total number of constraints109401
Number of constraints which are clauses109401
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 1400
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 1400
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 1400
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
0.99/1.02	c Converting 109401 PB-constraints to clauses...
0.99/1.02	c   -- Unit propagations: (none)
0.99/1.02	c   -- Detecting intervals from adjacent constraints: (none)
0.99/1.02	c   -- Clauses(.)/Splits(s): .........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.10/1.20	============================[ Search Statistics ]==============================
1.10/1.20	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.10/1.20	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.10/1.20	===============================================================================
1.10/1.20	===============================================================================
1.10/1.20	c Found solution: -40
1.19/1.21	c ---[   0]---> Sorter-cost:78076     Base:
6.38/6.43	|  Eliminated clauses:           0.88 Mb                                      |
6.38/6.43	============================[ Search Statistics ]==============================
6.38/6.43	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.38/6.43	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
6.38/6.43	===============================================================================
6.38/6.43	|       100 |   30128   170072   474871 |    62359       91     30 |  0.200 % |
6.38/6.43	|       250 |   29982   170072   474871 |    68595      232     25 |  0.457 % |
6.38/6.43	|       475 |   29828   170072   474871 |    75455      439     33 |  0.727 % |
6.38/6.43	|       812 |   29510   170072   474871 |    83000      740     30 |  1.285 % |
6.38/6.43	|      1318 |   28822   170072   474871 |    91300     1185     31 |  2.494 % |
6.38/6.43	|      2077 |   28087   170072   474871 |   100430     1873     35 |  3.784 % |
6.38/6.43	|      3216 |   26849   170072   474871 |   110474     2923     36 |  5.959 % |
6.38/6.43	|      4924 |   25806   170072   474871 |   121521     4530     38 |  7.790 % |
6.38/6.43	|      7486 |   23986   170072   474871 |   133673     6934     41 | 10.986 % |
6.38/6.43	|     11330 |   22419   170072   474871 |   147040    10619     47 | 13.738 % |
6.38/6.43	|     17096 |   20747   170072   474871 |   161745    16170     58 | 16.675 % |
6.38/6.43	===============================================================================
6.38/6.43	c Found solution: -41
6.38/6.44	c ---[   0]---> Sorter-cost:    0     Base:
6.79/6.89	|  Eliminated clauses:           0.90 Mb                                      |
6.79/6.89	============================[ Search Statistics ]==============================
6.79/6.89	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.79/6.89	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
6.79/6.89	===============================================================================
6.79/6.89	|     24090 |   18774   146020   369528 |    53540    22936     66 | 19.046 % |
6.79/6.89	|     24240 |   18774   146020   369528 |    58894    23086     66 | 19.046 % |
6.79/6.89	|     24465 |   18774   146020   369528 |    64784    23311     66 | 19.046 % |
6.79/6.89	|     24802 |   18654   146020   369528 |    71262    23642     66 | 19.257 % |
6.79/6.89	|     25308 |   18654   146020   369528 |    78388    24078     66 | 19.257 % |
6.79/6.89	===============================================================================
6.79/6.89	c Found solution: -42
6.89/6.90	c ---[   0]---> Sorter-cost:    0     Base:
9.69/9.79	|  Eliminated clauses:           0.90 Mb                                      |
9.69/9.79	============================[ Search Statistics ]==============================
9.69/9.79	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.69/9.79	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
9.69/9.79	===============================================================================
9.69/9.79	|     26088 |   18561   145547   367835 |    53367    24855     67 | 19.324 % |
9.69/9.79	|     26238 |   18534   145547   367835 |    58703    25004     67 | 19.371 % |
9.69/9.79	|     26463 |   18493   145547   367835 |    64574    25227     67 | 19.443 % |
9.69/9.79	|     26800 |   18474   145547   367835 |    71031    25563     67 | 19.476 % |
9.69/9.79	|     27306 |   18474   145547   367835 |    78134    26069     68 | 19.476 % |
9.69/9.79	|     28065 |   18371   145547   367835 |    85948    26823     69 | 19.657 % |
9.69/9.79	|     29204 |   18261   145547   367835 |    94543    27660     73 | 19.850 % |
9.69/9.79	|     30912 |   17931   145547   367835 |   103997    29350     73 | 20.429 % |
9.69/9.79	|     33474 |   17482   145547   367835 |   114397    31890     76 | 21.216 % |
9.69/9.79	|     37318 |   17138   145547   367835 |   125837    35440     83 | 21.820 % |
9.69/9.79	===============================================================================
9.69/9.79	c Found solution: -43
9.79/9.80	c ---[   0]---> Sorter-cost:    0     Base:
18.98/19.00	|  Eliminated clauses:           0.92 Mb                                      |
18.98/19.00	============================[ Search Statistics ]==============================
18.98/19.00	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.98/19.00	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
18.98/19.00	===============================================================================
18.98/19.00	|     41429 |   16391   140990   349409 |    51696    39412     85 | 22.719 % |
18.98/19.00	|     41579 |   16296   140990   349409 |    56865    39558     85 | 22.884 % |
18.98/19.00	|     41804 |   16296   140990   349409 |    62552    39783     85 | 22.884 % |
18.98/19.00	|     42141 |   16296   140990   349409 |    68807    40120     86 | 22.884 % |
18.98/19.00	|     42647 |   16178   140990   349409 |    75688    40618     86 | 23.090 % |
18.98/19.00	|     43406 |   16156   140990   349409 |    83257    41376     87 | 23.128 % |
18.98/19.00	|     44545 |   16101   140990   349409 |    91583    42511     89 | 23.224 % |
18.98/19.00	|     46253 |   15921   140990   349409 |   100741    44210     89 | 23.537 % |
18.98/19.00	|     48815 |   15874   140990   349409 |   110815    46400     94 | 23.618 % |
18.98/19.00	|     52659 |   15644   140990   349409 |   121897    50232     98 | 24.018 % |
18.98/19.00	|     58425 |   15130   140990   349409 |   134086    55630    103 | 24.913 % |
18.98/19.00	|     67074 |   14663   140990   349409 |   147495    64251    108 | 25.725 % |
18.98/19.00	===============================================================================
18.98/19.00	c Found solution: -44
18.98/19.01	c ---[   0]---> Sorter-cost:    0     Base:
32.58/32.60	|  Eliminated clauses:           0.92 Mb                                      |
32.58/32.60	============================[ Search Statistics ]==============================
32.58/32.60	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
32.58/32.60	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
32.58/32.60	===============================================================================
32.58/32.60	|     79267 |   14061   135959   328988 |    49851    25438    115 | 26.323 % |
32.58/32.60	|     79417 |   14024   135959   328988 |    54836    25586    115 | 26.387 % |
32.58/32.60	|     79642 |   14020   135959   328988 |    60320    25810    114 | 26.394 % |
32.58/32.60	|     79979 |   13924   135959   328988 |    66352    26142    114 | 26.561 % |
32.58/32.60	|     80485 |   13924   135959   328988 |    72987    26648    115 | 26.561 % |
32.58/32.60	|     81244 |   13863   135959   328988 |    80286    27403    114 | 26.667 % |
32.58/32.60	|     82383 |   13862   135959   328988 |    88315    28541    117 | 26.669 % |
32.58/32.60	|     84091 |   13810   135959   328988 |    97146    30245    118 | 26.759 % |
32.58/32.60	|     86653 |   13695   135959   328988 |   106861    32799    120 | 26.959 % |
32.58/32.60	|     90497 |   13585   135959   328988 |   117547    36636    123 | 27.150 % |
32.58/32.60	|     96263 |   13394   135959   328988 |   129302    42392    133 | 27.483 % |
32.58/32.60	|    104912 |   13154   135959   328988 |   142232    50591    135 | 27.900 % |
32.58/32.60	|    117886 |   12842   135959   328988 |   156455    63548    148 | 28.443 % |
32.58/32.60	===============================================================================
32.58/32.60	c Found solution: -45
32.58/32.61	c ---[   0]---> Sorter-cost:    0     Base:
50.88/50.99	|  Eliminated clauses:           0.93 Mb                                      |
50.88/50.99	============================[ Search Statistics ]==============================
50.88/50.99	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
50.88/50.99	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
50.88/50.99	===============================================================================
50.88/50.99	|    133897 |   12394   132537   314221 |    48596    27654    121 | 28.886 % |
50.88/50.99	|    134047 |   12394   132537   314221 |    53456    27804    121 | 28.887 % |
50.88/50.99	|    134272 |   12394   132537   314221 |    58802    28029    121 | 28.886 % |
50.88/50.99	|    134609 |   12373   132537   314221 |    64682    28365    121 | 28.923 % |
50.88/50.99	|    135115 |   12372   132537   314221 |    71150    28870    124 | 28.925 % |
50.88/50.99	|    135874 |   12371   132537   314221 |    78265    29628    125 | 28.926 % |
50.88/50.99	|    137013 |   12303   132537   314221 |    86092    30764    126 | 29.045 % |
50.88/50.99	|    138721 |   12223   132537   314221 |    94701    32467    126 | 29.184 % |
50.88/50.99	|    141283 |   12212   132537   314221 |   104171    35028    130 | 29.203 % |
50.88/50.99	|    145127 |   12132   132537   314221 |   114588    38867    132 | 29.342 % |
50.88/50.99	|    150893 |   11936   132537   314221 |   126047    44622    143 | 29.682 % |
50.88/50.99	|    159542 |   11661   132537   314221 |   138652    53254    149 | 30.160 % |
50.88/50.99	|    172516 |   11515   132537   314221 |   152517    66040    165 | 30.414 % |
50.88/50.99	|    191977 |   11098   132537   314221 |   167769    85475    178 | 31.139 % |
50.88/50.99	===============================================================================
50.88/50.99	c Found solution: -46
50.88/51.00	c ---[   0]---> Sorter-cost:    0     Base:
73.08/73.10	|  Eliminated clauses:           0.94 Mb                                      |
73.08/73.10	============================[ Search Statistics ]==============================
73.08/73.10	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
73.08/73.10	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
73.08/73.10	===============================================================================
73.08/73.10	|    199143 |   10729   129106   299838 |    47338    27608    125 | 31.420 % |
73.08/73.10	|    199293 |   10703   129106   299838 |    52072    27757    125 | 31.465 % |
73.08/73.10	|    199518 |   10703   129106   299838 |    57280    27982    125 | 31.465 % |
73.08/73.10	|    199855 |   10703   129106   299838 |    63008    28319    126 | 31.465 % |
73.08/73.10	|    200361 |   10703   129106   299838 |    69308    28825    128 | 31.465 % |
73.08/73.10	|    201120 |   10668   129106   299838 |    76239    29582    128 | 31.526 % |
73.08/73.10	|    202259 |   10668   129106   299838 |    83863    30721    132 | 31.526 % |
73.08/73.10	|    203967 |   10668   129106   299838 |    92250    32429    136 | 31.526 % |
73.08/73.10	|    206529 |   10668   129106   299838 |   101475    34991    141 | 31.526 % |
73.08/73.10	|    210373 |   10628   129106   299838 |   111622    38832    146 | 31.595 % |
73.08/73.10	|    216139 |   10529   129106   299838 |   122784    44590    154 | 31.767 % |
73.08/73.10	|    224788 |   10338   129106   299838 |   135063    53228    160 | 32.099 % |
73.08/73.10	|    237762 |   10283   129106   299838 |   148569    66197    179 | 32.195 % |
73.08/73.10	|    257223 |   10190   129106   299838 |   163426    85181    189 | 32.356 % |
73.08/73.10	===============================================================================
73.08/73.10	c Found solution: -48
73.08/73.11	c ---[   0]---> Sorter-cost:    0     Base:
438.60/438.74	|  Eliminated clauses:           0.95 Mb                                      |
438.60/438.74	============================[ Search Statistics ]==============================
438.60/438.74	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
438.60/438.74	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
438.60/438.74	===============================================================================
438.60/438.74	|    273647 |    9916   127440   293326 |    46728    29332    146 | 33.167 % |
438.60/438.74	|    273797 |    9880   127440   293326 |    51400    29481    146 | 33.228 % |
438.60/438.74	|    274022 |    9880   127440   293326 |    56540    29706    146 | 33.228 % |
438.60/438.74	|    274359 |    9880   127440   293326 |    62194    30043    146 | 33.228 % |
438.60/438.74	|    274865 |    9880   127440   293326 |    68414    30549    146 | 33.228 % |
438.60/438.74	|    275624 |    9810   127440   293326 |    75255    31304    147 | 33.348 % |
438.60/438.74	|    276763 |    9799   127440   293326 |    82781    32442    147 | 33.366 % |
438.60/438.74	|    278471 |    9777   127440   293326 |    91059    34149    147 | 33.404 % |
438.60/438.74	|    281033 |    9762   127440   293326 |   100165    36710    154 | 33.429 % |
438.60/438.74	|    284877 |    9743   127440   293326 |   110182    40552    159 | 33.462 % |
438.60/438.74	|    290643 |    9707   127440   293326 |   121200    46316    168 | 33.523 % |
438.60/438.74	|    299292 |    9669   127440   293326 |   133320    54962    176 | 33.588 % |
438.60/438.74	|    312266 |    9370   127440   293326 |   146652    67920    176 | 34.098 % |
438.60/438.74	|    331727 |    9097   127440   293326 |   161317    86784    184 | 34.564 % |
438.60/438.74	|    360919 |    8961   127440   293326 |   177449   115968    203 | 34.796 % |
438.60/438.74	|    404708 |    8845   127440   293326 |   195194   159679    218 | 34.994 % |
438.60/438.74	|    470392 |    8522   127440   293326 |   214713    35043    198 | 35.545 % |
438.60/438.74	|    568918 |    7946   127440   293326 |   236185   133262    242 | 36.528 % |
438.60/438.74	|    716707 |    7654   127440   293326 |   259803    49457    218 | 37.026 % |
438.60/438.74	===============================================================================
438.60/438.74	c Found solution: -49
438.60/438.75	c ---[   0]---> Sorter-cost:    0     Base:
674.56/674.70	|  Eliminated clauses:           0.97 Mb                                      |
674.56/674.70	============================[ Search Statistics ]==============================
674.56/674.70	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
674.56/674.70	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
674.56/674.70	===============================================================================
674.56/674.70	|    924823 |    6700   120656   265945 |    44240    34840    171 | 38.096 % |
674.56/674.70	|    924973 |    6700   120656   265945 |    48664    34990    172 | 38.096 % |
674.56/674.70	|    925198 |    6700   120656   265945 |    53531    35215    172 | 38.096 % |
674.56/674.70	|    925535 |    6685   120656   265945 |    58884    35551    171 | 38.122 % |
674.56/674.70	|    926041 |    6685   120656   265945 |    64772    36057    173 | 38.122 % |
674.56/674.70	|    926800 |    6685   120656   265945 |    71249    36816    173 | 38.122 % |
674.56/674.70	|    927939 |    6685   120656   265945 |    78374    37955    175 | 38.122 % |
674.56/674.70	|    929647 |    6685   120656   265945 |    86212    39663    175 | 38.122 % |
674.56/674.70	|    932209 |    6673   120656   265945 |    94833    42224    179 | 38.142 % |
674.56/674.70	|    936053 |    6655   120656   265945 |   104316    46065    179 | 38.173 % |
674.56/674.70	|    941819 |    6655   120656   265945 |   114748    51831    185 | 38.173 % |
674.56/674.70	|    950468 |    6653   120656   265945 |   126223    60478    186 | 38.176 % |
674.56/674.70	|    963442 |    6597   120656   265945 |   138845    73300    196 | 38.272 % |
674.56/674.70	|    982903 |    6528   120656   265945 |   152730    92756    207 | 38.389 % |
674.56/674.70	|   1012095 |    6443   120656   265945 |   168003   121939    215 | 38.534 % |
674.56/674.70	|   1055884 |    6309   120656   265945 |   184803   164923    229 | 38.763 % |
674.56/674.70	|   1121568 |    6114   120656   265945 |   203284    54386    213 | 39.095 % |
674.56/674.70	|   1220094 |    5896   120656   265945 |   223612   152797    254 | 39.467 % |
674.56/674.70	|   1367883 |    5661   120656   265945 |   245973    88821    236 | 39.867 % |
674.56/674.70	===============================================================================
674.56/674.70	c Found solution: -50
674.56/674.71	c ---[   0]---> Sorter-cost:    0     Base:
1134.87/1135.16	|  Eliminated clauses:           0.97 Mb                                      |
1134.87/1135.16	============================[ Search Statistics ]==============================
1134.87/1135.16	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1134.87/1135.16	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1134.87/1135.16	===============================================================================
1134.87/1135.16	|   1427847 |    5459   118074   255710 |    43293    20666    302 | 39.905 % |
1134.87/1135.16	|   1427997 |    5459   118074   255710 |    47623    20816    300 | 39.905 % |
1134.87/1135.16	|   1428222 |    5459   118074   255710 |    52385    21041    298 | 39.905 % |
1134.87/1135.16	|   1428559 |    5459   118074   255710 |    57624    21378    296 | 39.905 % |
1134.87/1135.16	|   1429065 |    5407   118074   255710 |    63386    21881    290 | 39.994 % |
1134.87/1135.16	|   1429824 |    5359   118074   255710 |    69725    22638    284 | 40.075 % |
1134.87/1135.16	|   1430963 |    5359   118074   255710 |    76697    23777    280 | 40.075 % |
1134.87/1135.16	|   1432671 |    5277   118074   255710 |    84367    25478    269 | 40.215 % |
1134.87/1135.16	|   1435233 |    5277   118074   255710 |    92804    28040    260 | 40.215 % |
1134.87/1135.16	|   1439077 |    5277   118074   255710 |   102084    31884    247 | 40.215 % |
1134.87/1135.16	|   1444843 |    5245   118074   255710 |   112292    37648    233 | 40.270 % |
1134.87/1135.16	|   1453492 |    5224   118074   255710 |   123522    46295    220 | 40.305 % |
1134.87/1135.16	|   1466466 |    5145   118074   255710 |   135874    59263    214 | 40.440 % |
1134.87/1135.16	|   1485927 |    5089   118074   255710 |   149461    78718    209 | 40.536 % |
1134.87/1135.16	|   1515119 |    5034   118074   255710 |   164408   107763    203 | 40.629 % |
1134.87/1135.16	|   1558908 |    5019   118074   255710 |   180848   151551    207 | 40.655 % |
1134.87/1135.16	|   1624592 |    4903   118074   255710 |   198933    41137    195 | 40.853 % |
1134.87/1135.16	|   1723118 |    4792   118074   255710 |   218827   139656    221 | 41.042 % |
1134.87/1135.16	|   1870907 |    4754   118074   255710 |   240709    77433    221 | 41.107 % |
1134.87/1135.16	|   2092590 |    4582   118074   255710 |   264780    67748    206 | 41.400 % |
1134.87/1135.16	===============================================================================
1134.87/1135.16	c Found solution: -51
1134.87/1135.17	c ---[   0]---> Sorter-cost:    0     Base:
1538.40/1538.73	|  Eliminated clauses:           0.98 Mb                                      |
1538.40/1538.73	============================[ Search Statistics ]==============================
1538.40/1538.73	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1538.40/1538.73	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1538.40/1538.73	===============================================================================
1538.40/1538.73	|   2413946 |    4249   115498   245557 |    42349    23152    236 | 42.071 % |
1538.40/1538.73	|   2414096 |    4249   115498   245557 |    46584    23302    235 | 42.071 % |
1538.40/1538.73	|   2414321 |    4249   115498   245557 |    51242    23527    234 | 42.071 % |
1538.40/1538.73	|   2414658 |    4249   115498   245557 |    56366    23864    234 | 42.071 % |
1538.40/1538.73	|   2415164 |    4249   115498   245557 |    62003    24370    232 | 42.071 % |
1538.40/1538.73	|   2415923 |    4249   115498   245557 |    68203    25129    230 | 42.071 % |
1538.40/1538.73	|   2417062 |    4249   115498   245557 |    75024    26268    226 | 42.071 % |
1538.40/1538.73	|   2418770 |    4249   115498   245557 |    82526    27976    222 | 42.071 % |
1538.40/1538.73	|   2421332 |    4249   115498   245557 |    90779    30538    220 | 42.071 % |
1538.40/1538.73	|   2425176 |    4248   115498   245557 |    99857    34381    217 | 42.073 % |
1538.40/1538.73	|   2430942 |    4248   115498   245557 |   109843    40147    216 | 42.073 % |
1538.40/1538.73	|   2439591 |    4232   115498   245557 |   120827    48794    211 | 42.100 % |
1538.40/1538.73	|   2452565 |    4232   115498   245557 |   132910    61768    212 | 42.100 % |
1538.40/1538.73	|   2472026 |    4203   115498   245557 |   146201    81228    210 | 42.149 % |
1538.40/1538.73	|   2501218 |    4200   115498   245557 |   160821   110419    209 | 42.154 % |
1538.40/1538.73	|   2545007 |    4154   115498   245557 |   176903   154106    208 | 42.232 % |
1538.40/1538.73	|   2610691 |    4119   115498   245557 |   194593    49429    197 | 42.291 % |
1538.40/1538.73	|   2709217 |    4011   115498   245557 |   214053   147878    210 | 42.473 % |
1538.40/1538.73	|   2857006 |    3963   115498   245557 |   235458    88281    206 | 42.554 % |
1538.40/1538.73	|   3078689 |    3858   115498   245557 |   259004    75135    203 | 42.731 % |
1538.40/1538.73	===============================================================================
1538.40/1538.73	c Found solution: -52
1538.40/1538.74	c ---[   0]---> Sorter-cost:    0     Base:
1800.05/1800.40	|  Eliminated clauses:           0.98 Mb                                      |
1800.05/1800.40	============================[ Search Statistics ]==============================
1800.05/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.05/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.05/1800.40	===============================================================================
1800.05/1800.40	|   3407904 |    3632   114199   240418 |    41872    21248    267 | 42.945 % |
1800.05/1800.40	|   3408054 |    3632   114199   240418 |    46060    21398    266 | 42.945 % |
1800.05/1800.40	|   3408279 |    3632   114199   240418 |    50666    21623    265 | 42.945 % |
1800.05/1800.40	|   3408616 |    3632   114199   240418 |    55732    21960    262 | 42.945 % |
1800.05/1800.40	|   3409122 |    3626   114199   240418 |    61306    22465    260 | 42.955 % |
1800.05/1800.40	|   3409881 |    3626   114199   240418 |    67436    23224    256 | 42.955 % |
1800.05/1800.40	|   3411020 |    3626   114199   240418 |    74180    24363    250 | 42.955 % |
1800.05/1800.40	|   3412728 |    3626   114199   240418 |    81598    26071    243 | 42.955 % |
1800.05/1800.40	|   3415290 |    3626   114199   240418 |    89758    28633    235 | 42.955 % |
1800.05/1800.40	|   3419134 |    3625   114199   240418 |    98734    32476    223 | 42.957 % |
1800.05/1800.40	|   3424900 |    3620   114199   240418 |   108607    38241    213 | 42.966 % |
1800.05/1800.40	|   3433549 |    3619   114199   240418 |   119468    46889    203 | 42.967 % |
1800.05/1800.40	|   3446523 |    3619   114199   240418 |   131415    59863    198 | 42.967 % |
1800.05/1800.40	|   3465984 |    3608   114199   240418 |   144556    79323    192 | 42.986 % |
1800.05/1800.40	|   3495176 |    3606   114199   240418 |   159012   108513    189 | 42.989 % |
1800.05/1800.40	|   3538965 |    3583   114199   240418 |   174913   152299    186 | 43.028 % |
1800.05/1800.40	|   3604649 |    3555   114199   240418 |   192405    47847    196 | 43.075 % |
1800.05/1800.40	|   3703175 |    3515   114199   240418 |   211645   146369    190 | 43.143 % |
1800.05/1800.40	|   3850964 |    3438   114199   240418 |   232810    87644    194 | 43.273 % |
1800.05/1800.40	|   4072647 |    3397   114199   240418 |   256091    73058    208 | 43.342 % |
1800.05/1800.40	c 
1800.05/1800.40	c *** TERMINATED ***
1800.05/1800.40	s SATISFIABLE
1800.05/1800.40	v -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-4112555-1466540061/watcher-4112555-1466540061 -o /tmp/evaluation-result-4112555-1466540061/solver-4112555-1466540061 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466515084-32164 --watchdog 1960 minisatp HOME/instance-4112555-1466540061.opb 

pid=4992
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.04 2.05 2.07 3/174 4995
/proc/meminfo: memFree=31205744/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=6780 CPUtime=0 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 403 0 0 0 0 0 0 0 20 0 1 0 56056203 6942720 279 33554432000 4194304 5646918 140735834491200 140734508985128 4953072 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 1695 280 94 355 0 1336 0

[startup+0.10016 s]
/proc/loadavg: 2.04 2.05 2.07 3/174 4995
/proc/meminfo: memFree=31205744/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=12464 CPUtime=0.09 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 1835 0 0 0 9 0 0 0 20 0 1 0 56056203 12763136 1711 33554432000 4194304 5646918 140735834491200 140734508985128 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 3116 1712 94 355 0 2757 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12464

[startup+0.200314 s]
/proc/loadavg: 2.04 2.05 2.07 3/174 4995
/proc/meminfo: memFree=31205744/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=18652 CPUtime=0.19 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 3364 0 0 0 19 0 0 0 20 0 1 0 56056203 19099648 3240 33554432000 4194304 5646918 140735834491200 140734508985128 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 4663 3242 94 355 0 4304 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18652

[startup+0.300281 s]
/proc/loadavg: 2.04 2.05 2.07 3/174 4995
/proc/meminfo: memFree=31205744/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=24852 CPUtime=0.29 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 4891 0 0 0 29 0 0 0 20 0 1 0 56056203 25448448 4767 33554432000 4194304 5646918 140735834491200 140734508985128 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 6213 4767 94 355 0 5854 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24852

[startup+0.700247 s]
/proc/loadavg: 2.04 2.05 2.07 3/174 4995
/proc/meminfo: memFree=31205744/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=49424 CPUtime=0.69 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 11029 0 0 0 69 0 0 0 20 0 1 0 56056203 50610176 10905 33554432000 4194304 5646918 140735834491200 140735834490664 4953072 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 12356 10906 94 355 0 11997 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49424

[startup+1.50028 s]
/proc/loadavg: 2.03 2.05 2.07 4/175 4996
/proc/meminfo: memFree=31131596/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=95344 CPUtime=1.49 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 22685 0 0 0 144 5 0 0 20 0 1 0 56056203 97632256 23007 33554432000 4194304 5646918 140735834491200 140735834490664 4419702 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 23836 23007 136 355 0 23477 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95344

[startup+3.10028 s]
/proc/loadavg: 2.03 2.05 2.07 3/175 4996
/proc/meminfo: memFree=31114856/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=92624 CPUtime=3.09 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 23220 0 0 0 303 6 0 0 20 0 1 0 56056203 94846976 22294 33554432000 4194304 5646918 140735834491200 140735834489960 4403116 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 23156 22294 155 355 0 22797 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 92624

[startup+6.30028 s]
/proc/loadavg: 2.11 2.07 2.08 3/175 4996
/proc/meminfo: memFree=31105140/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=99764 CPUtime=6.28 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 24131 0 0 0 622 6 0 0 20 0 1 0 56056203 102158336 23708 33554432000 4194304 5646918 140735834491200 140735834489896 4389229 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 24941 23708 155 355 0 24582 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 99764

[startup+12.7003 s]
/proc/loadavg: 2.10 2.07 2.08 3/175 4996
/proc/meminfo: memFree=31262968/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=119340 CPUtime=12.69 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 25273 0 0 0 1262 7 0 0 20 0 1 0 56056203 122204160 27911 33554432000 4194304 5646918 140735834491200 140735834489896 4403495 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 29835 27911 157 355 0 29476 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 119340

[startup+25.5004 s]
/proc/loadavg: 2.23 2.10 2.08 3/175 4996
/proc/meminfo: memFree=31198556/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=138308 CPUtime=25.48 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 27184 0 0 0 2540 8 0 0 20 0 1 0 56056203 141627392 29517 33554432000 4194304 5646918 140735834491200 140735834489896 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 34577 29517 157 355 0 34218 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 138308

[startup+51.1004 s]
/proc/loadavg: 2.15 2.09 2.08 3/175 4996
/proc/meminfo: memFree=31132364/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=187804 CPUtime=51.08 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 29984 0 0 0 5097 11 0 0 20 0 1 0 56056203 192311296 39541 33554432000 4194304 5646918 140735834491200 140735834489896 4411587 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 46951 39541 157 355 0 46592 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 187804

[startup+102.3 s]
/proc/loadavg: 2.13 2.09 2.08 3/175 4997
/proc/meminfo: memFree=31061860/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=219216 CPUtime=102.28 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 34273 0 0 0 10213 15 0 0 20 0 1 0 56056203 224477184 44651 33554432000 4194304 5646918 140735834491200 140735834489896 4389088 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 54804 44651 158 355 0 54445 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 219216

[startup+162.3 s]
/proc/loadavg: 2.16 2.10 2.09 3/175 4998
/proc/meminfo: memFree=31076484/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=301684 CPUtime=162.26 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 35034 0 0 0 16210 16 0 0 20 0 1 0 56056203 308924416 67895 33554432000 4194304 5646918 140735834491200 140735834489448 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 75421 67895 158 355 0 75062 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 301684

[startup+222.307 s]
/proc/loadavg: 2.19 2.11 2.09 4/175 5000
/proc/meminfo: memFree=31109760/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=301684 CPUtime=222.26 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 37655 0 0 0 22207 19 0 0 20 0 1 0 56056203 308924416 57575 33554432000 4194304 5646918 140735834491200 140735834489896 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 75421 57575 158 355 0 75062 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 301684

[startup+282.3 s]
/proc/loadavg: 2.11 2.10 2.09 3/175 5001
/proc/meminfo: memFree=31016228/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=434260 CPUtime=282.25 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 38255 0 0 0 28202 23 0 0 20 0 1 0 56056203 444682240 79630 33554432000 4194304 5646918 140735834491200 140735834489336 4403091 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 108565 79630 158 355 0 108206 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 434260

[startup+342.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/176 5005
/proc/meminfo: memFree=31098876/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=304232 CPUtime=342.21 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 40857 0 0 0 34194 27 0 0 20 0 1 0 56056203 311533568 56846 33554432000 4194304 5646918 140735834491200 140735834489896 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 76058 56846 158 355 0 75699 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 304232

[startup+402.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/175 5006
/proc/meminfo: memFree=30999800/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=438308 CPUtime=402.2 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 41809 0 0 0 40191 29 0 0 20 0 1 0 56056203 448827392 82324 33554432000 4194304 5646918 140735834491200 140735834489336 4397494 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 109577 82324 158 355 0 109218 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 438308

[startup+462.3 s]
/proc/loadavg: 2.01 2.07 2.08 3/175 5007
/proc/meminfo: memFree=31101640/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=228408 CPUtime=462.2 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 44549 0 0 0 46187 33 0 0 20 0 1 0 56056203 233889792 45633 33554432000 4194304 5646918 140735834491200 140735834489896 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 57102 45633 158 355 0 56743 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 228408

[startup+522.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/175 5009
/proc/meminfo: memFree=31202032/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=147500 CPUtime=522.18 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 46440 0 0 0 52183 35 0 0 20 0 1 0 56056203 151040000 32246 33554432000 4194304 5646918 140735834491200 140735834489896 4397736 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 36875 32246 158 355 0 36516 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 147500

[startup+582.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/175 5010
/proc/meminfo: memFree=30955416/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=309796 CPUtime=582.18 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 48356 0 0 0 58180 38 0 0 20 0 1 0 56056203 317231104 67367 33554432000 4194304 5646918 140735834491200 140735834489896 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 77449 67367 158 355 0 77090 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 309796


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


[startup+882.307 s]
/proc/loadavg: 2.10 2.08 2.07 3/175 5016
/proc/meminfo: memFree=31014108/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=231864 CPUtime=882.12 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 59874 0 0 0 88152 60 0 0 20 0 1 0 56056203 237428736 52019 33554432000 4194304 5646918 140735834491200 140735834489896 4403464 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 57966 52019 158 355 0 57607 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 231864

[startup+942.3 s]
/proc/loadavg: 2.10 2.09 2.08 3/176 5020
/proc/meminfo: memFree=30980364/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=313904 CPUtime=942.09 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 60580 0 0 0 94148 61 0 0 20 0 1 0 56056203 321437696 76228 33554432000 4194304 5646918 140735834491200 140735834489336 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 78476 76228 158 355 0 78117 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 313904

[startup+1002.3 s]
/proc/loadavg: 2.09 2.09 2.08 3/175 5021
/proc/meminfo: memFree=30923484/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=233532 CPUtime=1002.08 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 63962 0 0 0 100142 66 0 0 20 0 1 0 56056203 239136768 53409 33554432000 4194304 5646918 140735834491200 140735834489896 4403138 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 58383 53409 158 355 0 58024 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 233532

[startup+1062.3 s]
/proc/loadavg: 2.08 2.08 2.08 3/175 5022
/proc/meminfo: memFree=30756976/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=315284 CPUtime=1062.08 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 64624 0 0 0 106140 68 0 0 20 0 1 0 56056203 322850816 77060 33554432000 4194304 5646918 140735834491200 140735834489336 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 78821 77060 158 355 0 78462 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 315284

[startup+1122.3 s]
/proc/loadavg: 2.03 2.07 2.07 3/175 5080
/proc/meminfo: memFree=31221732/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=186624 CPUtime=1122.07 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 67519 0 0 0 112134 73 0 0 20 0 1 0 56056203 191102976 44029 33554432000 4194304 5646918 140735834491200 140735834489896 4402821 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 46656 44029 158 355 0 46297 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 186624

[startup+1182.3 s]
/proc/loadavg: 2.09 2.07 2.07 3/175 5081
/proc/meminfo: memFree=31113028/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=236712 CPUtime=1182.06 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 71049 0 0 0 118128 78 0 0 20 0 1 0 56056203 242393088 57651 33554432000 4194304 5646918 140735834491200 140735834489896 4403372 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 59178 57651 158 355 0 58819 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 236712

[startup+1242.3 s]
/proc/loadavg: 2.03 2.05 2.07 3/175 5082
/proc/meminfo: memFree=31032204/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=236712 CPUtime=1242.05 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 73817 0 0 0 124124 81 0 0 20 0 1 0 56056203 242393088 55262 33554432000 4194304 5646918 140735834491200 140735834489896 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 59178 55262 158 355 0 58819 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 236712

[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.06 3/175 5083
/proc/meminfo: memFree=31129856/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=186812 CPUtime=1302.04 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 76253 0 0 0 130121 83 0 0 20 0 1 0 56056203 191295488 40600 33554432000 4194304 5646918 140735834491200 140735834489896 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 46703 40600 158 355 0 46344 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 186812

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/175 5084
/proc/meminfo: memFree=30922164/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=318920 CPUtime=1362.03 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 77770 0 0 0 136118 85 0 0 20 0 1 0 56056203 326574080 70729 33554432000 4194304 5646918 140735834491200 140735834489336 4403495 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 79730 70729 158 355 0 79371 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 318920

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/175 5086
/proc/meminfo: memFree=30905440/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=238104 CPUtime=1422.03 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 80155 0 0 0 142115 88 0 0 20 0 1 0 56056203 243818496 55052 33554432000 4194304 5646918 140735834491200 140735834489896 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 59526 55052 158 355 0 59167 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 238104

[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/175 5087
/proc/meminfo: memFree=30964232/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=320164 CPUtime=1482.01 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 80824 0 0 0 148112 89 0 0 20 0 1 0 56056203 327847936 76161 33554432000 4194304 5646918 140735834491200 140735834489336 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 80041 76161 158 355 0 79682 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 320164

[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.04 3/176 5091
/proc/meminfo: memFree=31053120/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=140068 CPUtime=1542.01 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 84998 0 0 0 154105 96 0 0 20 0 1 0 56056203 143429632 33514 33554432000 4194304 5646918 140735834491200 140735834489896 4397856 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 35017 33514 158 355 0 34658 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 140068

[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.04 3/175 5092
/proc/meminfo: memFree=31052796/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=321332 CPUtime=1601.99 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 87451 0 0 0 160101 98 0 0 20 0 1 0 56056203 329043968 61505 33554432000 4194304 5646918 140735834491200 140735834489896 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 80333 61505 158 355 0 79974 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 321332

[startup+1662.3 s]
/proc/loadavg: 2.09 2.04 2.04 3/175 5093
/proc/meminfo: memFree=30958216/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=321332 CPUtime=1661.98 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 90238 0 0 0 166097 101 0 0 20 0 1 0 56056203 329043968 61586 33554432000 4194304 5646918 140735834491200 140735834489896 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 80333 61586 158 355 0 79974 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 321332

[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 2.04 3/175 5095
/proc/meminfo: memFree=31057696/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=240396 CPUtime=1721.97 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 93044 0 0 0 172092 105 0 0 20 0 1 0 56056203 246165504 54462 33554432000 4194304 5646918 140735834491200 140735834489336 4403164 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 60099 54462 158 355 0 59740 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 240396

[startup+1782.3 s]
/proc/loadavg: 2.13 2.07 2.05 3/175 5096
/proc/meminfo: memFree=31044952/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=160468 CPUtime=1781.96 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 94964 0 0 0 178089 107 0 0 20 0 1 0 56056203 164319232 36286 33554432000 4194304 5646918 140735834491200 140735834489896 4402761 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 40117 36286 158 355 0 39758 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 160468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.10 2.06 2.04 3/175 5096
/proc/meminfo: memFree=30967004/32872528 swapFree=448380/481084
[pid=4995] ppid=4992 vsize=241376 CPUtime=1800.05 cores=0,2,4,6
/proc/4995/stat : 4995 (minisatp) R 4992 4995 32148 0 -1 4202496 96021 0 0 0 179897 108 0 0 20 0 1 0 56056203 247169024 49378 33554432000 4194304 5646918 140735834491200 140735834489896 4397505 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4995/statm: 60344 49378 158 355 0 59985 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 241376

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

Child status: 0
Real time (s): 1800.4
CPU time (s): 1800.07
CPU user time (s): 1798.98
CPU system time (s): 1.09183
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 473756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.09183
maximum resident set size= 393224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96021
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= 90
involuntary context switches= 1848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01209 second user time and 6.81296 second system time

The end

Launcher Data 

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

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

MD5SUM BENCH= 62a6bdf0e089cd0b8a79007277394096
RANDOM SEED=943263982

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31207296 kB
Buffers:           18520 kB
Cached:            65784 kB
SwapCached:        74580 kB
Active:           341152 kB
Inactive:         130388 kB
Active(anon):     314284 kB
Inactive(anon):    75424 kB
Active(file):      26868 kB
Inactive(file):    54964 kB
Unevictable:      481084 kB
Mlocked:          448380 kB
SwapTotal:      67108856 kB
SwapFree:       67027048 kB
Dirty:              6272 kB
Writeback:             0 kB
AnonPages:        806808 kB
Mapped:             9456 kB
Shmem:                 0 kB
Slab:             572248 kB
SReclaimable:      16476 kB
SUnreclaim:       555772 kB
KernelStack:        1408 kB
PageTables:         5436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     963772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    260096 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-4112555-1466540061.opb

Free space on /tmp at the end= 71656 MiB
End job on node104 at 2016-06-21 22:44:21