Trace number 3721319

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
PB07: minisat+ 1.14SAT (TO)-54 1800.06 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb
MD5SUM36a19a7aeba117287b60c4673ad89664
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-55
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -57
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints126082
Number of constraints which are clauses126082
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1534
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1534
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1534
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c Parsing PB file...
1.29/1.34	c Converting 126082 PB-constraints to clauses...
1.29/1.34	c   -- Unit propagations: (none)
1.38/1.44	c   -- Detecting intervals from adjacent constraints: (none)
1.38/1.44	c   -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.45/1.51	c ==================================[MINISAT+]==================================
1.45/1.51	c | Conflicts | Original         | Learnt                           | Progress |
1.45/1.51	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.45/1.51	c ==============================================================================
1.45/1.51	c |         0 |  126082   252164 |   42027       0        0     nan |  0.000 % |
1.45/1.51	c ==============================================================================
1.45/1.51	c Found solution: -43
1.45/1.51	o -43
1.45/1.52	c ---[   0]---> Sorter-cost:85954     Base:
1.56/1.61	c ==================================[MINISAT+]==================================
1.56/1.61	c | Conflicts | Original         | Learnt                           | Progress |
1.56/1.61	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.56/1.61	c ==============================================================================
1.56/1.61	c |         0 |  216998   465444 |   72332       0        0     nan |  0.000 % |
1.66/1.76	c |       100 |  216440   464274 |   79565      77      692     9.0 |  0.496 % |
1.86/1.94	c |       250 |  215718   462730 |   87521     178     1363     7.7 |  1.160 % |
2.07/2.17	c |       475 |  214836   460831 |   96273     357     3111     8.7 |  1.981 % |
2.56/2.60	c |       813 |  212641   456042 |  105901     592     5851     9.9 |  4.071 % |
3.06/3.20	c |      1319 |  209385   448854 |  116491     990    12030    12.2 |  7.246 % |
3.96/4.07	c |      2078 |  205094   439353 |  128140    1507    17185    11.4 | 11.504 % |
5.56/5.60	c |      3217 |  196864   420718 |  140954    2245    27826    12.4 | 19.808 % |
7.16/7.26	c |      4926 |  187933   400276 |  155050    3536    41251    11.7 | 29.154 % |
9.56/9.66	c |      7488 |  174890   370399 |  170555    5163    60601    11.7 | 42.471 % |
12.06/12.15	c |     11332 |  162083   340109 |  187610    7594    92875    12.2 | 56.282 % |
14.75/14.88	c |     17099 |  148519   307983 |  206371   10871   135486    12.5 | 71.082 % |
15.65/15.70	c ==============================================================================
15.65/15.70	c Found solution: -44
15.65/15.70	o -44
15.65/15.71	c ---[   0]---> Sorter-cost:    0     Base:
15.65/15.76	c ==================================[MINISAT+]==================================
15.65/15.76	c | Conflicts | Original         | Learnt                           | Progress |
15.65/15.76	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
15.65/15.76	c ==============================================================================
15.65/15.76	c |     19471 |  145143   299814 |   48381   12463   157720    12.7 | 71.082 % |
15.65/15.76	c |     19572 |  145143   299814 |   53219   12564   158110    12.6 | 74.855 % |
15.65/15.79	c |     19722 |  145143   299814 |   58541   12714   160469    12.6 | 74.855 % |
15.75/15.85	c |     19947 |  144865   299152 |   64395   12900   164705    12.8 | 75.164 % |
15.85/15.94	c |     20285 |  144640   298591 |   70834   13140   169632    12.9 | 75.430 % |
16.05/16.12	c |     20791 |  144145   297400 |   77918   13454   174511    13.0 | 75.987 % |
16.15/16.29	c |     21550 |  143691   296290 |   85709   14108   190400    13.5 | 76.508 % |
16.46/16.52	c |     22689 |  143174   295063 |   94280   15003   211362    14.1 | 77.073 % |
16.75/16.84	c |     24397 |  142110   292541 |  103708   16399   244001    14.9 | 78.248 % |
17.25/17.39	c |     26959 |  141157   290281 |  114079   18515   320032    17.3 | 79.296 % |
17.85/17.92	c ==============================================================================
17.85/17.92	c Found solution: -45
17.85/17.92	o -45
17.85/17.93	c ---[   0]---> Sorter-cost:    0     Base:
17.85/17.98	c ==================================[MINISAT+]==================================
17.85/17.98	c | Conflicts | Original         | Learnt                           | Progress |
17.85/17.98	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
17.85/17.98	c ==============================================================================
17.85/17.98	c |     29178 |  139823   287131 |   46607   20012   367782    18.4 | 79.296 % |
17.95/18.04	c |     29278 |  139608   286611 |   51267   20026   367537    18.4 | 81.025 % |
17.95/18.08	c |     29428 |  139550   286467 |   56394   20139   368185    18.3 | 81.091 % |
18.05/18.12	c |     29653 |  139471   286275 |   62033   20269   375681    18.5 | 81.175 % |
18.05/18.16	c ==============================================================================
18.05/18.16	c Found solution: -46
18.05/18.16	o -46
18.05/18.17	c ---[   0]---> Sorter-cost:    0     Base:
18.15/18.21	c ==================================[MINISAT+]==================================
18.15/18.21	c | Conflicts | Original         | Learnt                           | Progress |
18.15/18.21	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
18.15/18.21	c ==============================================================================
18.15/18.21	c |     29811 |  139464   286228 |   46488   20389   388027    19.0 | 81.175 % |
18.15/18.24	c |     29911 |  139408   286102 |   51136   20451   388814    19.0 | 81.242 % |
18.25/18.30	c |     30061 |  139192   285577 |   56250   20394   388394    19.0 | 81.489 % |
18.25/18.33	c |     30287 |  139191   285574 |   61875   20614   390522    18.9 | 81.490 % |
18.25/18.39	c |     30626 |  139133   285437 |   68063   20890   404382    19.4 | 81.553 % |
18.35/18.48	c |     31132 |  138976   285056 |   74869   21312   414941    19.5 | 81.729 % |
18.45/18.60	c |     31891 |  138892   284848 |   82356   22019   435831    19.8 | 81.828 % |
18.75/18.81	c |     33030 |  138569   284044 |   90591   22926   464026    20.2 | 82.207 % |
18.85/18.97	c ==============================================================================
18.85/18.97	c Found solution: -47
18.85/18.97	o -47
18.85/18.98	c ---[   0]---> Sorter-cost:    0     Base:
18.95/19.03	c ==================================[MINISAT+]==================================
18.95/19.03	c | Conflicts | Original         | Learnt                           | Progress |
18.95/19.03	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
18.95/19.03	c ==============================================================================
18.95/19.03	c |     33870 |  138476   283871 |   46158   23604   502946    21.3 | 82.207 % |
18.95/19.08	c |     33970 |  138311   283468 |   50773   23665   503768    21.3 | 82.539 % |
19.05/19.10	c |     34120 |  138311   283468 |   55851   23815   513660    21.6 | 82.539 % |
19.05/19.14	c |     34346 |  138308   283461 |   61436   24031   520109    21.6 | 82.542 % |
19.15/19.23	c |     34683 |  138149   283085 |   67579   24316   528924    21.8 | 82.713 % |
19.25/19.31	c |     35189 |  138025   282766 |   74337   24647   538200    21.8 | 82.866 % |
19.35/19.43	c |     35948 |  138025   282766 |   81771   25406   603192    23.7 | 82.866 % |
19.55/19.70	c |     37087 |  137588   281684 |   89948   26334   642119    24.4 | 83.372 % |
20.05/20.16	c |     38795 |  136959   280149 |   98943   27600   711769    25.8 | 84.100 % |
20.35/20.41	c ==============================================================================
20.35/20.41	c Found solution: -48
20.35/20.41	o -48
20.35/20.42	c ---[   0]---> Sorter-cost:    0     Base:
20.35/20.47	c ==================================[MINISAT+]==================================
20.35/20.47	c | Conflicts | Original         | Learnt                           | Progress |
20.35/20.47	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
20.35/20.47	c ==============================================================================
20.35/20.47	c |     39995 |  136686   279451 |   45562   28586   771814    27.0 | 84.100 % |
20.45/20.50	c |     40097 |  136675   279424 |   50118   28671   773626    27.0 | 84.439 % |
20.45/20.53	c |     40247 |  136675   279424 |   55130   28821   779668    27.1 | 84.439 % |
20.45/20.59	c |     40472 |  136570   279173 |   60643   28831   782806    27.2 | 84.556 % |
20.55/20.65	c |     40810 |  136570   279173 |   66707   29169   806748    27.7 | 84.556 % |
20.65/20.75	c |     41316 |  136521   279056 |   73378   29583   849482    28.7 | 84.611 % |
20.76/20.88	c |     42075 |  136516   279045 |   80715   30339   884023    29.1 | 84.616 % |
21.05/21.12	c |     43215 |  136401   278762 |   88787   31387   962003    30.6 | 84.749 % |
21.35/21.45	c |     44923 |  136232   278358 |   97666   32887  1048554    31.9 | 84.938 % |
21.86/21.93	c |     47486 |  136149   278147 |  107432   35346  1276312    36.1 | 85.041 % |
22.95/23.02	c |     51330 |  135674   276982 |  118176   38442  1790167    46.6 | 85.585 % |
24.34/24.48	c |     57096 |  135612   276826 |  129993   44030  2810947    63.8 | 85.661 % |
26.65/26.73	c |     65747 |  135576   276739 |  142993   52662  4145672    78.7 | 85.700 % |
27.05/27.19	c ==============================================================================
27.05/27.19	c Found solution: -49
27.05/27.19	o -49
27.15/27.20	c ---[   0]---> Sorter-cost:    0     Base:
27.15/27.27	c ==================================[MINISAT+]==================================
27.15/27.27	c | Conflicts | Original         | Learnt                           | Progress |
27.15/27.27	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
27.15/27.27	c ==============================================================================
27.15/27.27	c |     67205 |  135575   276748 |   45191   54070  4291929    79.4 | 85.700 % |
27.25/27.30	c |     67306 |  135575   276748 |   49710   54171  4295459    79.3 | 85.712 % |
27.25/27.34	c |     67456 |  135575   276748 |   54681   54321  4300437    79.2 | 85.712 % |
27.35/27.45	c |     67681 |  135535   276654 |   60149   54440  4305045    79.1 | 85.755 % |
27.45/27.54	c |     68018 |  135535   276654 |   66164   54777  4342942    79.3 | 85.755 % |
27.65/27.76	c |     68524 |  135521   276622 |   72780   55207  4364365    79.1 | 85.770 % |
27.85/27.93	c |     69283 |  135521   276622 |   80058   55966  4413885    78.9 | 85.770 % |
28.15/28.25	c |     70422 |  135515   276608 |   88064   57102  4537411    79.5 | 85.776 % |
28.75/28.88	c |     72130 |  135376   276279 |   96870   58658  4750361    81.0 | 85.929 % |
29.55/29.70	c |     74693 |  135329   276160 |  106558   61096  5113153    83.7 | 85.987 % |
30.84/30.93	c |     78537 |  135199   275844 |  117213   64712  5460014    84.4 | 86.135 % |
33.03/33.12	c |     84303 |  135012   275411 |  128935   70321  6502802    92.5 | 86.333 % |
36.33/36.46	c |     92953 |  134966   275296 |  141828   78769  8516166   108.1 | 86.388 % |
41.34/41.42	c |    105927 |  134803   274900 |  156011   91584 10845292   118.4 | 86.575 % |
49.13/49.25	c |    125388 |  134627   274480 |  171612  110465 13789180   124.8 | 86.771 % |
58.32/58.47	c ==============================================================================
58.32/58.47	c Found solution: -50
58.32/58.47	o -50
58.32/58.48	c ---[   0]---> Sorter-cost:    0     Base:
58.52/58.65	c ==================================[MINISAT+]==================================
58.52/58.65	c | Conflicts | Original         | Learnt                           | Progress |
58.52/58.65	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
58.52/58.65	c ==============================================================================
58.52/58.65	c |    146490 |  134608   274413 |   44869  131017 18005950   137.4 | 86.771 % |
58.72/58.87	c |    146590 |  134520   274198 |   49355   22382  2976833   133.0 | 86.897 % |
58.82/58.90	c |    146740 |  134520   274198 |   54291   22532  2986731   132.6 | 86.897 % |
58.82/58.93	c |    146965 |  134520   274198 |   59720   22757  2997680   131.7 | 86.897 % |
58.92/59.04	c |    147302 |  134512   274176 |   65692   23090  3039315   131.6 | 86.908 % |
59.02/59.18	c |    147808 |  134451   274041 |   72261   23589  3067515   130.0 | 86.968 % |
59.22/59.32	c |    148567 |  134451   274041 |   79488   24348  3118327   128.1 | 86.968 % |
59.41/59.52	c |    149706 |  134451   274041 |   87436   25487  3236403   127.0 | 86.968 % |
59.71/59.86	c |    151416 |  134445   274025 |   96180   27194  3363305   123.7 | 86.976 % |
60.32/60.43	c |    153979 |  134404   273920 |  105798   29674  3626730   122.2 | 87.028 % |
61.11/61.23	c |    157823 |  134360   273816 |  116378   33340  4031583   120.9 | 87.076 % |
62.51/62.61	c |    163589 |  134360   273816 |  128016   39106  5002751   127.9 | 87.076 % |
64.61/64.79	c |    172238 |  134353   273801 |  140818   47751  6347034   132.9 | 87.082 % |
68.61/68.75	c |    185212 |  134327   273741 |  154899   60700  8591150   141.5 | 87.110 % |
75.50/75.65	c |    204674 |  134245   273546 |  170389   80128 11902448   148.5 | 87.200 % |
88.20/88.37	c |    233867 |  134159   273343 |  187428  109294 17140633   156.8 | 87.290 % |
90.11/90.20	c ==============================================================================
90.11/90.20	c Found solution: -51
90.11/90.20	o -51
90.11/90.22	c ---[   0]---> Sorter-cost:    0     Base:
90.20/90.38	c ==================================[MINISAT+]==================================
90.20/90.38	c | Conflicts | Original         | Learnt                           | Progress |
90.20/90.38	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
90.20/90.38	c ==============================================================================
90.20/90.38	c |    238225 |  134187   273424 |   44729  113652 17745327   156.1 | 87.290 % |
90.40/90.53	c |    238325 |  134187   273424 |   49201   24419  2447777   100.2 | 87.285 % |
90.40/90.56	c |    238475 |  134187   273424 |   54122   24569  2456904   100.0 | 87.285 % |
90.40/90.59	c |    238701 |  134187   273424 |   59534   24795  2468989    99.6 | 87.285 % |
90.60/90.70	c |    239039 |  134110   273222 |   65487   25074  2474764    98.7 | 87.383 % |
90.60/90.79	c |    239545 |  134110   273222 |   72036   25580  2530061    98.9 | 87.383 % |
90.80/90.93	c |    240304 |  134102   273204 |   79240   26330  2598566    98.7 | 87.391 % |
91.00/91.12	c |    241443 |  134102   273204 |   87164   27469  2711977    98.7 | 87.391 % |
91.30/91.44	c |    243151 |  134102   273204 |   95880   29177  2947946   101.0 | 87.391 % |
91.80/91.96	c |    245713 |  134102   273204 |  105468   31739  3332683   105.0 | 87.391 % |
92.70/92.81	c |    249557 |  134097   273193 |  116015   35578  3879118   109.0 | 87.395 % |
93.90/94.01	c |    255324 |  134064   273108 |  127617   41315  4585248   111.0 | 87.437 % |
96.10/96.24	c |    263974 |  134031   273025 |  140378   49956  5870587   117.5 | 87.476 % |
100.10/100.20	c |    276948 |  134005   272961 |  154416   62913  8051620   128.0 | 87.506 % |
107.60/107.78	c |    296409 |  134000   272950 |  169858   82371 12209581   148.2 | 87.511 % |
119.20/119.38	c |    325601 |  133982   272906 |  186844  111519 17199574   154.2 | 87.532 % |
126.89/127.07	c ==============================================================================
126.89/127.07	c Found solution: -52
126.89/127.07	o -52
126.89/127.08	c ---[   0]---> Sorter-cost:    0     Base:
127.09/127.27	c ==================================[MINISAT+]==================================
127.09/127.27	c | Conflicts | Original         | Learnt                           | Progress |
127.09/127.27	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
127.09/127.27	c ==============================================================================
127.09/127.27	c |    341501 |  133971   272859 |   44657  127196 20411519   160.5 | 87.532 % |
127.29/127.44	c |    341601 |  133971   272859 |   49122   23302  2898909   124.4 | 87.547 % |
127.29/127.47	c |    341751 |  133971   272859 |   54034   23452  2905980   123.9 | 87.547 % |
127.40/127.50	c |    341976 |  133971   272859 |   59438   23677  2912599   123.0 | 87.547 % |
127.50/127.61	c |    342313 |  133933   272761 |   65382   23993  2928631   122.1 | 87.595 % |
127.50/127.68	c |    342819 |  133933   272761 |   71920   24499  2955529   120.6 | 87.595 % |
127.59/127.80	c |    343578 |  133933   272761 |   79112   25258  3008408   119.1 | 87.595 % |
127.79/127.98	c |    344717 |  133933   272761 |   87023   26397  3092123   117.1 | 87.595 % |
128.09/128.28	c |    346425 |  133933   272761 |   95726   28105  3263835   116.1 | 87.595 % |
128.60/128.78	c |    348987 |  133923   272737 |  105298   30658  3510242   114.5 | 87.606 % |
129.49/129.63	c |    352832 |  133923   272737 |  115828   34503  4118995   119.4 | 87.606 % |
130.89/131.00	c |    358598 |  133906   272696 |  127411   40244  4923956   122.4 | 87.626 % |
131.99/132.16	c |    367249 |  133892   272660 |  140152   48814  5374047   110.1 | 87.643 % |
135.69/135.86	c |    380224 |  133841   272541 |  154168   61709  7243241   117.4 | 87.698 % |
142.39/142.53	c |    399685 |  133841   272541 |  169584   81170 10752924   132.5 | 87.698 % |
153.69/153.85	c |    428877 |  133841   272541 |  186543  110362 15949826   144.5 | 87.698 % |
175.68/175.87	c |    472666 |  133841   272541 |  205197  154151 22267416   144.5 | 87.698 % |
220.57/220.70	c |    538350 |  133827   272509 |  225717  219831 31779085   144.6 | 87.712 % |
260.77/260.99	c ==============================================================================
260.77/260.99	c Found solution: -53
260.77/260.99	o -53
260.87/261.00	c ---[   0]---> Sorter-cost:    0     Base:
261.17/261.30	c ==================================[MINISAT+]==================================
261.17/261.30	c | Conflicts | Original         | Learnt                           | Progress |
261.17/261.30	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
261.17/261.30	c ==============================================================================
261.17/261.30	c |    587362 |  133846   272562 |   44615  268843 37435308   139.2 | 87.712 % |
261.67/261.87	c |    587462 |  133846   272562 |   49076   26010  1721417    66.2 | 87.699 % |
261.77/261.90	c |    587614 |  133846   272562 |   53984   26162  1727376    66.0 | 87.699 % |
261.77/261.95	c |    587839 |  133821   272497 |   59382   26384  1737459    65.9 | 87.731 % |
261.87/262.00	c |    588177 |  133821   272497 |   65320   26722  1759069    65.8 | 87.731 % |
261.87/262.07	c |    588683 |  133821   272497 |   71852   27228  1795534    65.9 | 87.731 % |
262.07/262.20	c |    589442 |  133821   272497 |   79038   27987  1860924    66.5 | 87.731 % |
262.17/262.35	c |    590581 |  133788   272422 |   86942   29123  1903492    65.4 | 87.765 % |
262.47/262.68	c |    592289 |  133788   272422 |   95636   30831  2136570    69.3 | 87.765 % |
262.97/263.13	c |    594851 |  133788   272422 |  105199   33393  2401658    71.9 | 87.765 % |
263.77/263.95	c |    598695 |  133778   272396 |  115719   37195  2982428    80.2 | 87.778 % |
265.27/265.41	c |    604461 |  133778   272396 |  127291   42961  3959721    92.2 | 87.778 % |
267.37/267.57	c |    613111 |  133668   272135 |  140020   51543  5045044    97.9 | 87.897 % |
271.07/271.28	c |    626085 |  133668   272135 |  154023   64517  7140704   110.7 | 87.897 % |
278.67/278.88	c |    645547 |  133642   272071 |  169425   83949 10408993   124.0 | 87.927 % |
290.96/291.19	c |    674741 |  133639   272064 |  186367  113140 15004914   132.6 | 87.930 % |
317.33/317.50	c |    718531 |  133639   272064 |  205004  156930 22759621   145.0 | 87.930 % |
358.62/358.80	c |    784215 |  133624   272025 |  225505  222610 34368289   154.4 | 87.950 % |
418.71/418.98	c |    882741 |  133624   272025 |  248055   64963  5827915    89.7 | 87.950 % |
493.60/493.81	c |   1030530 |  133601   271972 |  272861  212742 28337634   133.2 | 87.974 % |
636.77/637.04	c |   1252213 |  133532   271807 |  300147  132544 25105297   189.4 | 88.051 % |
869.09/869.42	c |   1584739 |  133452   271611 |  330162  140845 23750124   168.6 | 88.141 % |
1016.66/1017.05	c ==============================================================================
1016.66/1017.05	c Found solution: -54
1016.66/1017.05	o -54
1016.66/1017.06	c ---[   0]---> Sorter-cost:    0     Base:
1017.17/1017.51	c ==================================[MINISAT+]==================================
1017.17/1017.51	c | Conflicts | Original         | Learnt                           | Progress |
1017.17/1017.51	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1017.17/1017.51	c ==============================================================================
1017.17/1017.51	c |   1748442 |  133433   271537 |   44477  304380 59386201   195.1 | 88.141 % |
1018.06/1018.49	c |   1748542 |  133433   271537 |   48924   33474  3371953   100.7 | 88.165 % |
1018.17/1018.52	c |   1748692 |  133433   271537 |   53817   33624  3379707   100.5 | 88.165 % |
1018.17/1018.56	c |   1748918 |  133433   271537 |   59198   33850  3393753   100.3 | 88.165 % |
1018.27/1018.60	c |   1749255 |  133433   271537 |   65118   34187  3411155    99.8 | 88.165 % |
1018.27/1018.69	c |   1749761 |  133433   271537 |   71630   34693  3437874    99.1 | 88.165 % |
1018.36/1018.79	c |   1750520 |  133433   271537 |   78793   35452  3484130    98.3 | 88.165 % |
1018.66/1019.01	c |   1751661 |  133433   271537 |   86673   36593  3600131    98.4 | 88.165 % |
1018.96/1019.30	c |   1753371 |  133433   271537 |   95340   38303  3713083    96.9 | 88.165 % |
1019.46/1019.80	c |   1755933 |  133433   271537 |  104874   40865  3987029    97.6 | 88.165 % |
1020.16/1020.55	c |   1759777 |  133433   271537 |  115361   44709  4346399    97.2 | 88.165 % |
1021.47/1021.87	c |   1765543 |  133433   271537 |  126898   50475  4973880    98.5 | 88.165 % |
1023.56/1023.93	c |   1774192 |  133433   271537 |  139587   59124  6019855   101.8 | 88.165 % |
1027.16/1027.50	c |   1787166 |  133433   271537 |  153546   72098  7702063   106.8 | 88.165 % |
1034.06/1034.46	c |   1806627 |  133433   271537 |  168901   91559 11012044   120.3 | 88.165 % |
1046.86/1047.27	c |   1835819 |  133433   271537 |  185791  120751 15787531   130.7 | 88.165 % |
1069.96/1070.32	c |   1879611 |  133433   271537 |  204370  164543 20871533   126.8 | 88.165 % |
1110.15/1110.58	c |   1945295 |  133420   271506 |  224807  230223 29309843   127.3 | 88.180 % |
1164.14/1164.50	c |   2043823 |  133390   271434 |  247288   79759  9516157   119.3 | 88.213 % |
1264.53/1264.98	c |   2191613 |  133367   271379 |  272017  227506 41207502   181.1 | 88.239 % |
1418.51/1418.97	c |   2413296 |  133362   271366 |  299219  151833 16079405   105.9 | 88.245 % |
1626.27/1626.73	c |   2745821 |  133355   271347 |  329140  158591 25990425   163.9 | 88.255 % |
1800.05/1800.50	c 
1800.05/1800.50	c *** TERMINATED ***
1800.05/1800.50	s SATISFIABLE
1800.05/1800.50	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 x1303 -x1302 -x1301 -x1300 -x1299 -x1298 x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 x550 -x549 -x548 -x547 -x546 -x545 -x544 x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-54

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3721319-1338554552/watcher-3721319-1338554552 -o /tmp/evaluation-result-3721319-1338554552/solver-3721319-1338554552 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721319-1338554552.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.06 2.07 1.80 3/176 7494
/proc/meminfo: memFree=28419740/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=1424 CPUtime=0 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 215 0 0 0 0 0 0 0 20 0 1 0 321579783 1458176 172 33554432000 134512640 135395479 4294722720 4294721356 135007481 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 356 172 74 216 0 138 0

[startup+0.0189511 s]
/proc/loadavg: 2.06 2.07 1.80 3/176 7494
/proc/meminfo: memFree=28419740/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=1696 CPUtime=0.01 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 275 0 0 0 1 0 0 0 20 0 1 0 321579783 1736704 232 33554432000 134512640 135395479 4294722720 4294721552 134618678 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 424 233 74 216 0 206 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1696

[startup+0.100252 s]
/proc/loadavg: 2.06 2.07 1.80 3/176 7494
/proc/meminfo: memFree=28419740/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=3376 CPUtime=0.09 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 705 0 0 0 9 0 0 0 20 0 1 0 321579783 3457024 662 33554432000 134512640 135395479 4294722720 4294721552 134618678 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 844 662 74 216 0 626 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3376

[startup+0.30023 s]
/proc/loadavg: 2.06 2.07 1.80 3/176 7494
/proc/meminfo: memFree=28419740/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=7632 CPUtime=0.29 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 1758 0 0 0 29 0 0 0 20 0 1 0 321579783 7815168 1715 33554432000 134512640 135395479 4294722720 4294721020 135007481 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 1908 1715 74 216 0 1690 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7632

[startup+0.700223 s]
/proc/loadavg: 2.06 2.07 1.80 3/176 7494
/proc/meminfo: memFree=28419740/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=16064 CPUtime=0.69 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 3859 0 0 0 69 0 0 0 20 0 1 0 321579783 16449536 3816 33554432000 134512640 135395479 4294722720 4294721688 135031278 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 4016 3816 74 216 0 3798 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16064

[startup+1.50028 s]
/proc/loadavg: 2.05 2.07 1.80 3/177 7495
/proc/meminfo: memFree=28398412/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=34800 CPUtime=1.45 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 8547 0 0 0 140 5 0 0 20 0 1 0 321579783 35635200 8504 33554432000 134512640 135395479 4294722720 4294721248 135031374 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 8700 8504 86 216 0 8482 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 34800

[startup+3.10032 s]
/proc/loadavg: 2.05 2.07 1.80 3/177 7495
/proc/meminfo: memFree=28376960/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=44956 CPUtime=3.06 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 10998 0 0 0 299 7 0 0 20 0 1 0 321579783 46034944 10675 33554432000 134512640 135395479 4294722720 4294721072 134569786 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 11239 10675 110 216 0 11021 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 44956

[startup+6.30031 s]
/proc/loadavg: 2.05 2.07 1.80 3/177 7495
/proc/meminfo: memFree=28376712/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=44956 CPUtime=6.26 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 10998 0 0 0 619 7 0 0 20 0 1 0 321579783 46034944 10675 33554432000 134512640 135395479 4294722720 4294721072 134581036 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 11239 10675 110 216 0 11021 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 44956

[startup+12.7003 s]
/proc/loadavg: 2.04 2.07 1.80 3/177 7495
/proc/meminfo: memFree=28375788/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=44956 CPUtime=12.65 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 11003 0 0 0 1258 7 0 0 20 0 1 0 321579783 46034944 10675 33554432000 134512640 135395479 4294722720 4294721040 134572684 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 11239 10675 110 216 0 11021 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 44956

[startup+25.5002 s]
/proc/loadavg: 2.12 2.08 1.81 3/177 7495
/proc/meminfo: memFree=28365364/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=49472 CPUtime=25.44 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 12101 0 0 0 2537 7 0 0 20 0 1 0 321579783 50659328 11776 33554432000 134512640 135395479 4294722720 4294721072 134580840 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 12368 11776 110 216 0 12150 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 49472

[startup+51.1003 s]
/proc/loadavg: 2.07 2.07 1.81 3/177 7495
/proc/meminfo: memFree=28303084/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=96388 CPUtime=51.02 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 23856 0 0 0 5090 12 0 0 20 0 1 0 321579783 98701312 23489 33554432000 134512640 135395479 4294722720 4294721072 134580765 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 24097 23489 110 216 0 23879 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 96388

[startup+102.307 s]
/proc/loadavg: 2.03 2.06 1.82 3/177 7495
/proc/meminfo: memFree=28286348/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=111132 CPUtime=102.2 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 27626 0 0 0 10206 14 0 0 20 0 1 0 321579783 113799168 27205 33554432000 134512640 135395479 4294722720 4294721072 134581186 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 27783 27205 110 216 0 27565 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 111132

[startup+162.3 s]
/proc/loadavg: 2.05 2.06 1.83 3/177 7495
/proc/meminfo: memFree=28272584/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=122336 CPUtime=162.18 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 30461 0 0 0 16203 15 0 0 20 0 1 0 321579783 125272064 30006 33554432000 134512640 135395479 4294722720 4294721072 134581014 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 30584 30006 110 216 0 30366 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 122336

[startup+222.3 s]
/proc/loadavg: 2.08 2.06 1.84 3/177 7495
/proc/meminfo: memFree=28224020/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=171964 CPUtime=222.17 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 42778 0 0 0 22195 22 0 0 20 0 1 0 321579783 176091136 42317 33554432000 134512640 135395479 4294722720 4294721072 134580765 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 42991 42317 110 216 0 42773 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 171964

[startup+282.3 s]
/proc/loadavg: 2.03 2.05 1.85 3/177 7496
/proc/meminfo: memFree=28200584/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=194664 CPUtime=282.16 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 48544 0 0 0 28189 27 0 0 20 0 1 0 321579783 199335936 48046 33554432000 134512640 135395479 4294722720 4294721072 134580765 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 48666 48046 110 216 0 48448 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 194664

[startup+342.3 s]
/proc/loadavg: 2.04 2.05 1.86 3/177 7496
/proc/meminfo: memFree=28200644/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=194664 CPUtime=342.12 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 48571 0 0 0 34185 27 0 0 20 0 1 0 321579783 199335936 48053 33554432000 134512640 135395479 4294722720 4294721072 134580973 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 48666 48053 110 216 0 48448 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 194664

[startup+402.3 s]
/proc/loadavg: 2.01 2.04 1.87 3/177 7496
/proc/meminfo: memFree=28180928/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=215208 CPUtime=402.11 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 53688 0 0 0 40181 30 0 0 20 0 1 0 321579783 220372992 53170 33554432000 134512640 135395479 4294722720 4294721072 134580765 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 53802 53170 110 216 0 53584 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 215208

[startup+462.3 s]
/proc/loadavg: 2.05 2.04 1.88 3/178 7499
/proc/meminfo: memFree=28178812/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=216368 CPUtime=462.1 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 54003 0 0 0 46179 31 0 0 20 0 1 0 321579783 221560832 53485 33554432000 134512640 135395479 4294722720 4294721072 134580768 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 54092 53485 110 216 0 53874 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 216368

[startup+522.3 s]
/proc/loadavg: 2.02 2.03 1.88 3/177 7499
/proc/meminfo: memFree=28178860/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=216368 CPUtime=522.08 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 54014 0 0 0 52177 31 0 0 20 0 1 0 321579783 221560832 53490 33554432000 134512640 135395479 4294722720 4294721072 134580732 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 54092 53490 110 216 0 53874 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 216368

[startup+582.3 s]
/proc/loadavg: 2.00 2.03 1.89 3/177 7500
/proc/meminfo: memFree=28160260/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=235852 CPUtime=582.08 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 58754 0 0 0 58173 35 0 0 20 0 1 0 321579783 241512448 58230 33554432000 134512640 135395479 4294722720 4294721024 134580485 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 58963 58230 110 216 0 58745 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 235852

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 7501
/proc/meminfo: memFree=28081116/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=314164 CPUtime=881.98 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 78395 0 0 0 88148 50 0 0 20 0 1 0 321579783 321703936 77850 33554432000 134512640 135395479 4294722720 4294720592 134574149 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 78541 77850 110 216 0 78323 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 314164

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 7501
/proc/meminfo: memFree=28081116/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=314164 CPUtime=941.97 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 78395 0 0 0 94147 50 0 0 20 0 1 0 321579783 321703936 77850 33554432000 134512640 135395479 4294722720 4294720688 134577059 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 78541 77850 110 216 0 78323 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 314164

[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 1.91 3/177 7501
/proc/meminfo: memFree=28081116/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=314164 CPUtime=1001.96 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 78395 0 0 0 100146 50 0 0 20 0 1 0 321579783 321703936 77850 33554432000 134512640 135395479 4294722720 4294721072 134580840 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 78541 77850 110 216 0 78323 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 314164

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/178 7504
/proc/meminfo: memFree=28080604/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=314120 CPUtime=1061.95 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 78395 0 0 0 106145 50 0 0 20 0 1 0 321579783 321658880 77850 33554432000 134512640 135395479 4294722720 4294721072 134580765 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 78530 77850 110 216 0 78312 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 314120

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 7527
/proc/meminfo: memFree=28080488/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=314120 CPUtime=1121.94 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 78395 0 0 0 112144 50 0 0 20 0 1 0 321579783 321658880 77850 33554432000 134512640 135395479 4294722720 4294720768 134586001 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 78530 77850 110 216 0 78312 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 314120

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7528
/proc/meminfo: memFree=28080372/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=313996 CPUtime=1181.94 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 78395 0 0 0 118144 50 0 0 20 0 1 0 321579783 321531904 77821 33554432000 134512640 135395479 4294722720 4294721072 134580765 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 78499 77821 110 216 0 78281 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 313996

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7528
/proc/meminfo: memFree=28079876/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=313996 CPUtime=1241.93 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 78395 0 0 0 124143 50 0 0 20 0 1 0 321579783 321531904 77821 33554432000 134512640 135395479 4294722720 4294720592 134573916 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 78499 77821 110 216 0 78281 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 313996

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7528
/proc/meminfo: memFree=28079876/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=313996 CPUtime=1301.92 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 78395 0 0 0 130142 50 0 0 20 0 1 0 321579783 321531904 77821 33554432000 134512640 135395479 4294722720 4294721072 134581451 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 78499 77821 110 216 0 78281 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 313996

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7528
/proc/meminfo: memFree=28080000/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=313996 CPUtime=1361.91 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 78395 0 0 0 136141 50 0 0 20 0 1 0 321579783 321531904 77821 33554432000 134512640 135395479 4294722720 4294721072 134580840 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 78499 77821 110 216 0 78281 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 313996

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7528
/proc/meminfo: memFree=28079752/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=313996 CPUtime=1421.9 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 78395 0 0 0 142140 50 0 0 20 0 1 0 321579783 321531904 77821 33554432000 134512640 135395479 4294722720 4294721072 134580765 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 78499 77821 110 216 0 78281 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 313996

[startup+1482.3 s]
/proc/loadavg: 2.11 2.03 1.93 3/177 7529
/proc/meminfo: memFree=28079504/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=313996 CPUtime=1481.89 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 78395 0 0 0 148139 50 0 0 20 0 1 0 321579783 321531904 77821 33554432000 134512640 135395479 4294722720 4294721184 134588788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 78499 77821 110 216 0 78281 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 313996

[startup+1542.3 s]
/proc/loadavg: 2.04 2.02 1.93 3/177 7529
/proc/meminfo: memFree=28079132/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=313996 CPUtime=1541.88 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 78395 0 0 0 154138 50 0 0 20 0 1 0 321579783 321531904 77821 33554432000 134512640 135395479 4294722720 4294721072 134581028 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 78499 77821 110 216 0 78281 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 313996

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/177 7529
/proc/meminfo: memFree=28079068/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=313996 CPUtime=1601.87 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 78395 0 0 0 160137 50 0 0 20 0 1 0 321579783 321531904 77821 33554432000 134512640 135395479 4294722720 4294720592 134574407 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 78499 77821 110 216 0 78281 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 313996

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/178 7532
/proc/meminfo: memFree=28078564/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=313996 CPUtime=1661.86 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 78395 0 0 0 166136 50 0 0 20 0 1 0 321579783 321531904 77821 33554432000 134512640 135395479 4294722720 4294721072 134580765 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 78499 77821 110 216 0 78281 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 313996

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 7532
/proc/meminfo: memFree=28078820/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=313996 CPUtime=1721.85 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 78395 0 0 0 172135 50 0 0 20 0 1 0 321579783 321531904 77821 33554432000 134512640 135395479 4294722720 4294720592 134574486 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 78499 77821 110 216 0 78281 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 313996

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 7582
/proc/meminfo: memFree=28141124/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=313996 CPUtime=1781.84 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 78400 0 0 0 178134 50 0 0 20 0 1 0 321579783 321531904 77826 33554432000 134512640 135395479 4294722720 4294721072 134580783 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 78499 77826 110 216 0 78281 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 313996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 7582
/proc/meminfo: memFree=28126616/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=328208 CPUtime=1800.05 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 81930 0 0 0 179953 52 0 0 20 0 1 0 321579783 336084992 81356 33554432000 134512640 135395479 4294722720 4294720620 135007864 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 82052 81356 110 216 0 81834 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 328208

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 7582
/proc/meminfo: memFree=28126616/32873844 swapFree=7108/7108
[pid=7494] ppid=7492 vsize=328208 CPUtime=1800.05 cores=1,3,5,7
/proc/7494/stat : 7494 (minisat+) R 7492 7494 7173 0 -1 4202496 81930 0 0 0 179953 52 0 0 20 0 1 0 321579783 336084992 81356 33554432000 134512640 135395479 4294722720 4294720620 135007864 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/7494/statm: 82052 81356 110 216 0 81834 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 328208

Child status: 10
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.53
CPU system time (s): 0.530919
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 328208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.530919
maximum resident set size= 325432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81932
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 1922

runsolver used 4.02139 second user time and 9.37457 second system time

The end

Launcher Data 

Begin job on node139 at 2012-06-01 14:42:32
IDJOB=3721319
IDBENCH=2267
IDSOLVER=2306
FILE ID=node139/3721319-1338554552
RUNJOBID= node139-1338552572-7190
PBS_JOBID= 14635845
Free space on /tmp= 71092 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb
COMMAND LINE= HOME/minisat+ BENCHNAME            
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721319-1338554552/watcher-3721319-1338554552 -o /tmp/evaluation-result-3721319-1338554552/solver-3721319-1338554552 -C 1800 -W 1900 -M 15500  HOME/minisat+ HOME/instance-3721319-1338554552.opb            

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

MD5SUM BENCH= 36a19a7aeba117287b60c4673ad89664
RANDOM SEED=629132233

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28420400 kB
Buffers:          454296 kB
Cached:          3089040 kB
SwapCached:          828 kB
Active:          1590260 kB
Inactive:        2005408 kB
Active(anon):      46496 kB
Inactive(anon):     7964 kB
Active(file):    1543764 kB
Inactive(file):  1997444 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67104688 kB
Dirty:              5420 kB
Writeback:             0 kB
AnonPages:         58280 kB
Mapped:            11948 kB
Shmem:                 8 kB
Slab:             719216 kB
SReclaimable:     161432 kB
SUnreclaim:       557784 kB
KernelStack:        1456 kB
PageTables:         4012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     170044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721319-1338554552.opb

Free space on /tmp at the end= 71092 MiB
End job on node139 at 2012-06-01 15:12:35