Trace number 4112542

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
minisatp 2012-10-02 git-d91742bSAT (TO)-42 1800.02 1800.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
MD5SUM05ceccb8ea9c274c844c39df1472d3cc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints59186
Number of constraints which are clauses59186
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 945
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 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
0.49/0.55	c Converting 59186 PB-constraints to clauses...
0.49/0.55	c   -- Unit propagations: (none)
0.49/0.55	c   -- Detecting intervals from adjacent constraints: (none)
0.49/0.55	c   -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.59/0.65	============================[ Search Statistics ]==============================
0.59/0.65	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.65	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.59/0.65	===============================================================================
0.59/0.65	===============================================================================
0.59/0.65	c Found solution: -31
0.59/0.65	c ---[   0]---> Sorter-cost:44290     Base:
1.89/1.90	|  Eliminated clauses:           0.47 Mb                                      |
1.89/1.90	============================[ Search Statistics ]==============================
1.89/1.90	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.89/1.90	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.89/1.90	===============================================================================
1.89/1.90	|       100 |   16565    92288   256483 |    33838       93     41 |  0.225 % |
1.89/1.90	|       250 |   16526    92288   256483 |    37222      238     49 |  0.350 % |
1.89/1.90	|       475 |   16380    92288   256483 |    40945      452     48 |  0.818 % |
1.89/1.90	|       812 |   16096    92288   256483 |    45039      754     49 |  1.729 % |
1.89/1.90	|      1318 |   15793    92288   256483 |    49543     1213     45 |  2.701 % |
1.89/1.90	|      2077 |   15246    92288   256483 |    54497     1922     43 |  4.455 % |
1.89/1.90	|      3216 |   14740    92288   256483 |    59947     3008     46 |  6.078 % |
1.89/1.90	|      4924 |   13971    92288   256483 |    65942     4628     49 |  8.544 % |
1.89/1.90	|      7486 |   13346    92288   256483 |    72536     7125     52 | 10.549 % |
1.89/1.90	===============================================================================
1.89/1.90	c Found solution: -33
1.89/1.91	c ---[   0]---> Sorter-cost:    0     Base:
2.30/2.35	|  Eliminated clauses:           0.48 Mb                                      |
2.30/2.35	============================[ Search Statistics ]==============================
2.30/2.35	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.30/2.35	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.30/2.35	===============================================================================
2.30/2.35	|      7756 |   13069    84749   222803 |    31074     7391     54 | 10.722 % |
2.30/2.35	|      7906 |   13049    84749   222803 |    34182     7540     54 | 10.786 % |
2.30/2.35	|      8131 |   12873    84749   222803 |    37600     7755     55 | 11.349 % |
2.30/2.35	|      8468 |   12773    84749   222803 |    41360     8005     56 | 11.669 % |
2.30/2.35	|      8974 |   12394    84749   222803 |    45496     8492     55 | 12.883 % |
2.30/2.35	|      9733 |   12342    84749   222803 |    50046     9185     59 | 13.049 % |
2.30/2.35	===============================================================================
2.30/2.35	c Found solution: -35
2.30/2.36	c ---[   0]---> Sorter-cost:    0     Base:
4.40/4.41	|  Eliminated clauses:           0.49 Mb                                      |
4.40/4.41	============================[ Search Statistics ]==============================
4.40/4.41	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.40/4.41	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.40/4.41	===============================================================================
4.40/4.41	|     10915 |   11916    82429   213098 |    30223    10290     61 | 14.235 % |
4.40/4.41	|     11065 |   11804    82429   213098 |    33246    10433     61 | 14.589 % |
4.40/4.41	|     11290 |   11794    82429   213098 |    36570    10657     61 | 14.621 % |
4.40/4.41	|     11627 |   11712    82429   213098 |    40228    10989     61 | 14.880 % |
4.40/4.41	|     12133 |   11677    82429   213098 |    44250    11493     62 | 14.991 % |
4.40/4.41	|     12892 |   11586    82429   213098 |    48676    12189     63 | 15.280 % |
4.40/4.41	|     14031 |   11539    82429   213098 |    53543    13322     68 | 15.428 % |
4.40/4.41	|     15739 |   11257    82429   213098 |    58897    14972     71 | 16.321 % |
4.40/4.41	|     18301 |   10818    82429   213098 |    64787    17452     81 | 17.711 % |
4.40/4.41	|     22145 |   10097    82429   213098 |    71266    21249     84 | 19.994 % |
4.40/4.41	===============================================================================
4.40/4.41	c Found solution: -36
4.40/4.42	c ---[   0]---> Sorter-cost:    0     Base:
12.99/13.07	|  Eliminated clauses:           0.50 Mb                                      |
12.99/13.07	============================[ Search Statistics ]==============================
12.99/13.07	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.99/13.07	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
12.99/13.07	===============================================================================
12.99/13.07	|     25882 |    9477    77213   192247 |    28311    24693     90 | 21.167 % |
12.99/13.07	|     26032 |    9477    77213   192247 |    31142    24843     91 | 21.167 % |
12.99/13.07	|     26257 |    9477    77213   192247 |    34256    25068     91 | 21.167 % |
12.99/13.07	|     26594 |    9418    77213   192247 |    37682    25402     91 | 21.354 % |
12.99/13.07	|     27100 |    9404    77213   192247 |    41450    25907     92 | 21.398 % |
12.99/13.07	|     27859 |    9358    77213   192247 |    45595    26663     93 | 21.544 % |
12.99/13.07	|     28998 |    9345    77213   192247 |    50155    27801     96 | 21.585 % |
12.99/13.07	|     30706 |    9291    77213   192247 |    55170    29158     97 | 21.756 % |
12.99/13.07	|     33268 |    9260    77213   192247 |    60688    31718    101 | 21.854 % |
12.99/13.07	|     37112 |    9129    77213   192247 |    66756    35552    106 | 22.269 % |
12.99/13.07	|     42878 |    8981    77213   192247 |    73432    41211    113 | 22.737 % |
12.99/13.07	|     51527 |    8776    77213   192247 |    80775    49846    122 | 23.386 % |
12.99/13.07	|     64501 |    8469    77213   192247 |    88853    62603    132 | 24.358 % |
12.99/13.07	===============================================================================
12.99/13.07	c Found solution: -38
12.99/13.08	c ---[   0]---> Sorter-cost:    0     Base:
76.78/76.82	|  Eliminated clauses:           0.51 Mb                                      |
76.78/76.82	============================[ Search Statistics ]==============================
76.78/76.82	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
76.78/76.82	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
76.78/76.82	===============================================================================
76.78/76.82	|     68627 |    8212    74600   181835 |    27353    22609    123 | 24.558 % |
76.78/76.82	|     68777 |    8212    74600   181835 |    30088    22759    123 | 24.558 % |
76.78/76.82	|     69002 |    8128    74600   181835 |    33097    22979    123 | 24.823 % |
76.78/76.82	|     69339 |    8054    74600   181835 |    36407    23312    123 | 25.057 % |
76.78/76.82	|     69845 |    8054    74600   181835 |    40048    23818    124 | 25.057 % |
76.78/76.82	|     70604 |    8042    74600   181835 |    44052    24576    123 | 25.095 % |
76.78/76.82	|     71743 |    8030    74600   181835 |    48458    25714    125 | 25.133 % |
76.78/76.82	|     73451 |    8030    74600   181835 |    53303    27422    125 | 25.133 % |
76.78/76.82	|     76013 |    7979    74600   181835 |    58634    29981    129 | 25.294 % |
76.78/76.82	|     79857 |    7842    74600   181835 |    64497    33818    130 | 25.727 % |
76.78/76.82	|     85623 |    7750    74600   181835 |    70947    39578    135 | 26.018 % |
76.78/76.82	|     94272 |    7658    74600   181835 |    78042    48220    140 | 26.308 % |
76.78/76.82	|    107246 |    7469    74600   181835 |    85846    61048    146 | 26.905 % |
76.78/76.82	|    126707 |    6945    74600   181835 |    94431    80478    155 | 28.561 % |
76.78/76.82	|    155899 |    6535    74600   181835 |   103874    32995    131 | 29.857 % |
76.78/76.82	|    199688 |    6140    74600   181835 |   114261    76753    163 | 31.105 % |
76.78/76.82	|    265372 |    5698    74600   181835 |   125687    47417    159 | 32.501 % |
76.78/76.82	===============================================================================
76.78/76.82	c Found solution: -39
76.78/76.83	c ---[   0]---> Sorter-cost:    0     Base:
101.78/101.86	|  Eliminated clauses:           0.52 Mb                                      |
101.78/101.86	============================[ Search Statistics ]==============================
101.78/101.86	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
101.78/101.86	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
101.78/101.86	===============================================================================
101.78/101.86	|    276182 |    5379    68646   157474 |    25170    22617    174 | 33.194 % |
101.78/101.86	|    276332 |    5379    68646   157474 |    27687    22767    173 | 33.194 % |
101.78/101.86	|    276557 |    5379    68646   157474 |    30455    22992    172 | 33.194 % |
101.78/101.86	|    276894 |    5367    68646   157474 |    33501    23328    172 | 33.231 % |
101.78/101.86	|    277400 |    5367    68646   157474 |    36851    23834    171 | 33.231 % |
101.78/101.86	|    278159 |    5348    68646   157474 |    40536    24591    170 | 33.290 % |
101.78/101.86	|    279298 |    5348    68646   157474 |    44590    25730    169 | 33.290 % |
101.78/101.86	|    281006 |    5284    68646   157474 |    49049    27433    165 | 33.488 % |
101.78/101.86	|    283568 |    5261    68646   157474 |    53954    29993    165 | 33.560 % |
101.78/101.86	|    287412 |    5242    68646   157474 |    59350    33834    162 | 33.619 % |
101.78/101.86	|    293178 |    5106    68646   157474 |    65285    39591    163 | 34.040 % |
101.78/101.86	|    301827 |    5027    68646   157474 |    71813    48234    164 | 34.285 % |
101.78/101.86	|    314801 |    4957    68646   157474 |    78994    61200    167 | 34.502 % |
101.78/101.86	|    334262 |    4911    68646   157474 |    86894    80656    178 | 34.644 % |
101.78/101.86	|    363454 |    4809    68646   157474 |    95583    37503    153 | 34.960 % |
101.78/101.86	===============================================================================
101.78/101.86	c Found solution: -40
101.78/101.87	c ---[   0]---> Sorter-cost:    0     Base:
326.34/326.42	|  Eliminated clauses:           0.53 Mb                                      |
326.34/326.42	============================[ Search Statistics ]==============================
326.34/326.42	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
326.34/326.42	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
326.34/326.42	===============================================================================
326.34/326.42	|    369212 |    4699    67176   151442 |    24631    20700    180 | 35.023 % |
326.34/326.42	|    369362 |    4699    67176   151442 |    27094    20850    180 | 35.023 % |
326.34/326.42	|    369587 |    4699    67176   151442 |    29803    21075    179 | 35.023 % |
326.34/326.42	|    369924 |    4699    67176   151442 |    32784    21412    179 | 35.023 % |
326.34/326.42	|    370430 |    4699    67176   151442 |    36062    21918    179 | 35.023 % |
326.34/326.42	|    371189 |    4699    67176   151442 |    39668    22677    178 | 35.023 % |
326.34/326.42	|    372328 |    4699    67176   151442 |    43635    23816    177 | 35.023 % |
326.34/326.42	|    374036 |    4699    67176   151442 |    47999    25524    175 | 35.023 % |
326.34/326.42	|    376598 |    4699    67176   151442 |    52799    28086    172 | 35.023 % |
326.34/326.42	|    380442 |    4676    67176   151442 |    58079    31928    169 | 35.095 % |
326.34/326.42	|    386208 |    4645    67176   151442 |    63886    37691    169 | 35.191 % |
326.34/326.42	|    394857 |    4537    67176   151442 |    70275    46329    170 | 35.526 % |
326.34/326.42	|    407831 |    4522    67176   151442 |    77303    59301    173 | 35.572 % |
326.34/326.42	|    427292 |    4460    67176   151442 |    85033    78757    174 | 35.764 % |
326.34/326.42	|    456484 |    4389    67176   151442 |    93536    37923    150 | 35.984 % |
326.34/326.42	|    500273 |    4233    67176   151442 |   102890    81352    174 | 36.468 % |
326.34/326.42	|    565957 |    4135    67176   151442 |   113179    57723    170 | 36.771 % |
326.34/326.42	|    664483 |    4017    67176   151442 |   124497    58573    170 | 37.137 % |
326.34/326.42	|    812272 |    3749    67176   151442 |   136947    93093    188 | 37.968 % |
326.34/326.42	===============================================================================
326.34/326.42	c Found solution: -41
326.34/326.43	c ---[   0]---> Sorter-cost:    0     Base:
1250.29/1250.59	|  Eliminated clauses:           0.53 Mb                                      |
1250.29/1250.59	============================[ Search Statistics ]==============================
1250.29/1250.59	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1250.29/1250.59	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1250.29/1250.59	===============================================================================
1250.29/1250.59	|   1019661 |    3249    64112   139180 |    23507    22679    167 | 39.058 % |
1250.29/1250.59	|   1019811 |    3249    64112   139180 |    25858    22829    167 | 39.058 % |
1250.29/1250.59	|   1020036 |    3249    64112   139180 |    28444    23054    167 | 39.058 % |
1250.29/1250.59	|   1020373 |    3249    64112   139180 |    31288    23391    166 | 39.058 % |
1250.29/1250.59	|   1020879 |    3249    64112   139180 |    34417    23897    166 | 39.058 % |
1250.29/1250.59	|   1021638 |    3249    64112   139180 |    37859    24656    165 | 39.058 % |
1250.29/1250.59	|   1022777 |    3249    64112   139180 |    41645    25795    165 | 39.058 % |
1250.29/1250.59	|   1024485 |    3249    64112   139180 |    45809    27503    164 | 39.058 % |
1250.29/1250.59	|   1027047 |    3237    64112   139180 |    50390    30064    165 | 39.095 % |
1250.29/1250.59	|   1030891 |    3237    64112   139180 |    55430    33908    163 | 39.095 % |
1250.29/1250.59	|   1036657 |    3237    64112   139180 |    60973    39674    162 | 39.095 % |
1250.29/1250.59	|   1045306 |    3227    64112   139180 |    67070    48322    165 | 39.126 % |
1250.29/1250.59	|   1058280 |    3201    64112   139180 |    73777    61293    166 | 39.207 % |
1250.29/1250.59	|   1077741 |    3138    64112   139180 |    81155    80747    167 | 39.401 % |
1250.29/1250.59	|   1106933 |    3113    64112   139180 |    89270    41153    160 | 39.479 % |
1250.29/1250.59	|   1150722 |    3091    64112   139180 |    98197    84940    171 | 39.547 % |
1250.29/1250.59	|   1216406 |    3016    64112   139180 |   108017    66701    164 | 39.779 % |
1250.29/1250.59	|   1314932 |    2945    64112   139180 |   118819    70636    165 | 39.998 % |
1250.29/1250.59	|   1462721 |    2829    64112   139180 |   130701   113895    174 | 40.357 % |
1250.29/1250.59	|   1684404 |    2716    64112   139180 |   143771    90098    171 | 40.706 % |
1250.29/1250.59	|   2016929 |    2592    64112   139180 |   158148   157741    170 | 41.090 % |
1250.29/1250.59	|   2515717 |    2447    64112   139180 |   173963    59936    160 | 41.538 % |
1250.29/1250.59	|   3263899 |    2205    64112   139180 |   191359   149418    154 | 42.286 % |
1250.29/1250.59	===============================================================================
1250.29/1250.59	c Found solution: -42
1250.39/1250.60	c ---[   0]---> Sorter-cost:    0     Base:
1800.01/1800.30	|  Eliminated clauses:           0.54 Mb                                      |
1800.01/1800.30	============================[ Search Statistics ]==============================
1800.01/1800.30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.01/1800.30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.01/1800.30	===============================================================================
1800.01/1800.30	|   3935094 |    1974    61369   128763 |    22501    18725    227 | 42.575 % |
1800.01/1800.30	|   3935244 |    1974    61369   128763 |    24752    18875    226 | 42.575 % |
1800.01/1800.30	|   3935469 |    1974    61369   128763 |    27227    19100    224 | 42.575 % |
1800.01/1800.30	|   3935806 |    1973    61369   128763 |    29950    19436    221 | 42.579 % |
1800.01/1800.30	|   3936312 |    1973    61369   128763 |    32945    19942    219 | 42.579 % |
1800.01/1800.30	|   3937071 |    1973    61369   128763 |    36239    20701    214 | 42.579 % |
1800.01/1800.30	|   3938210 |    1973    61369   128763 |    39863    21840    208 | 42.579 % |
1800.01/1800.30	|   3939918 |    1973    61369   128763 |    43849    23548    200 | 42.579 % |
1800.01/1800.30	|   3942480 |    1973    61369   128763 |    48234    26110    193 | 42.579 % |
1800.01/1800.30	|   3946324 |    1973    61369   128763 |    53058    29954    183 | 42.579 % |
1800.01/1800.30	|   3952090 |    1973    61369   128763 |    58364    35720    173 | 42.579 % |
1800.01/1800.30	|   3960739 |    1973    61369   128763 |    64200    44369    164 | 42.579 % |
1800.01/1800.30	|   3973713 |    1973    61369   128763 |    70620    57343    157 | 42.579 % |
1800.01/1800.30	|   3993174 |    1973    61369   128763 |    77682    76804    149 | 42.579 % |
1800.01/1800.30	|   4022366 |    1958    61369   128763 |    85451    37215    158 | 42.625 % |
1800.01/1800.30	|   4066155 |    1940    61369   128763 |    93996    80994    147 | 42.681 % |
1800.01/1800.30	|   4131839 |    1940    61369   128763 |   103395    64015    136 | 42.681 % |
1800.01/1800.30	|   4230365 |    1926    61369   128763 |   113735    70915    139 | 42.724 % |
1800.01/1800.30	|   4378154 |    1924    61369   128763 |   125109   117430    133 | 42.730 % |
1800.01/1800.30	|   4599837 |    1895    61369   128763 |   137619   107483    137 | 42.820 % |
1800.01/1800.30	|   4932362 |    1875    61369   128763 |   151381    48822    185 | 42.881 % |
1800.01/1800.30	|   5431150 |    1846    61369   128763 |   166520   121094    129 | 42.971 % |
1800.01/1800.30	c 
1800.01/1800.30	c *** TERMINATED ***
1800.01/1800.30	s SATISFIABLE
1800.01/1800.30	v -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	-42

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4112542-1466540485/watcher-4112542-1466540485 -o /tmp/evaluation-result-4112542-1466540485/solver-4112542-1466540485 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466517708-20657 --watchdog 1960 minisatp HOME/instance-4112542-1466540485.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.99 2.12 2.11 3/176 23580
/proc/meminfo: memFree=30241180/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=6632 CPUtime=0 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 388 0 0 0 0 0 0 0 20 0 1 0 56095244 6791168 265 33554432000 4194304 5646918 140734793701216 140736914109960 4251320 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 1658 265 94 355 0 1299 0

[startup+0.100158 s]
/proc/loadavg: 1.99 2.12 2.11 3/176 23580
/proc/meminfo: memFree=30241180/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=12356 CPUtime=0.09 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 1811 0 0 0 9 0 0 0 20 0 1 0 56095244 12652544 1688 33554432000 4194304 5646918 140734793701216 140736914109960 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 3089 1688 94 355 0 2730 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12356

[startup+0.200334 s]
/proc/loadavg: 1.99 2.12 2.11 3/176 23580
/proc/meminfo: memFree=30241180/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=18540 CPUtime=0.19 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 3341 0 0 0 19 0 0 0 20 0 1 0 56095244 18984960 3218 33554432000 4194304 5646918 140734793701216 140736914109960 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 4635 3218 94 355 0 4276 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18540

[startup+0.300314 s]
/proc/loadavg: 1.99 2.12 2.11 3/176 23580
/proc/meminfo: memFree=30241180/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=24740 CPUtime=0.29 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 4867 0 0 0 29 0 0 0 20 0 1 0 56095244 25333760 4744 33554432000 4194304 5646918 140734793701216 140734793700584 4267484 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 6185 4745 94 355 0 5826 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24740

[startup+0.700298 s]
/proc/loadavg: 1.99 2.12 2.11 3/176 23580
/proc/meminfo: memFree=30241180/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=51100 CPUtime=0.69 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 11893 0 0 0 66 3 0 0 20 0 1 0 56095244 52326400 11947 33554432000 4194304 5646918 140734793701216 140734793700584 4430317 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 12775 11948 134 355 0 12416 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51100

[startup+1.50029 s]
/proc/loadavg: 1.99 2.12 2.11 3/177 23581
/proc/meminfo: memFree=30188956/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=52528 CPUtime=1.49 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 12768 0 0 0 145 4 0 0 20 0 1 0 56095244 53788672 12514 33554432000 4194304 5646918 140734793701216 140734793699976 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 13132 12514 155 355 0 12773 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52528

[startup+3.1003 s]
/proc/loadavg: 1.99 2.12 2.11 3/177 23581
/proc/meminfo: memFree=30186864/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=56924 CPUtime=3.09 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 13758 0 0 0 305 4 0 0 20 0 1 0 56095244 58290176 13493 33554432000 4194304 5646918 140734793701216 140734793699496 4402788 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 14231 13493 155 355 0 13872 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56924

[startup+6.30027 s]
/proc/loadavg: 1.99 2.12 2.11 3/177 23581
/proc/meminfo: memFree=30175168/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=68524 CPUtime=6.29 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 14506 0 0 0 625 4 0 0 20 0 1 0 56095244 70168576 16283 33554432000 4194304 5646918 140734793701216 140734793699912 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 17131 16283 155 355 0 16772 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68524

[startup+12.7003 s]
/proc/loadavg: 1.99 2.11 2.11 3/177 23581
/proc/meminfo: memFree=30148076/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=99168 CPUtime=12.69 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 15548 0 0 0 1265 4 0 0 20 0 1 0 56095244 101548032 21403 33554432000 4194304 5646918 140734793701216 140734793699912 4403544 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 24792 21403 155 355 0 24433 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 99168

[startup+25.5004 s]
/proc/loadavg: 1.99 2.11 2.11 3/177 23581
/proc/meminfo: memFree=30131016/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=99168 CPUtime=25.49 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 16511 0 0 0 2543 6 0 0 20 0 1 0 56095244 101548032 23632 33554432000 4194304 5646918 140734793701216 140734793699912 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 24792 23632 155 355 0 24433 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 99168

[startup+51.1004 s]
/proc/loadavg: 1.99 2.10 2.10 3/177 23581
/proc/meminfo: memFree=30080116/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=129988 CPUtime=51.08 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 19009 0 0 0 5101 7 0 0 20 0 1 0 56095244 133107712 24643 33554432000 4194304 5646918 140734793701216 140734793699912 4416598 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 32497 24643 155 355 0 32138 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 129988

[startup+102.3 s]
/proc/loadavg: 2.04 2.09 2.10 3/177 23582
/proc/meminfo: memFree=30234928/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=69336 CPUtime=102.28 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 23370 0 0 0 10216 12 0 0 20 0 1 0 56095244 71000064 15540 33554432000 4194304 5646918 140734793701216 140734793699928 4399838 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 17334 15540 156 355 0 16975 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 69336

[startup+162.3 s]
/proc/loadavg: 2.01 2.08 2.09 3/177 23583
/proc/meminfo: memFree=30068300/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=148524 CPUtime=162.27 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 26821 0 0 0 16210 17 0 0 20 0 1 0 56095244 152088576 29576 33554432000 4194304 5646918 140734793701216 140734793699512 4403104 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 37131 29576 156 355 0 36772 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 148524

[startup+222.307 s]
/proc/loadavg: 2.06 2.07 2.09 3/177 23584
/proc/meminfo: memFree=30078040/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=229432 CPUtime=222.26 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 29110 0 0 0 22205 21 0 0 20 0 1 0 56095244 234938368 42746 33554432000 4194304 5646918 140734793701216 140734793699912 4403167 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 57358 42746 156 355 0 56999 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 229432

[startup+282.3 s]
/proc/loadavg: 2.06 2.07 2.09 3/177 23586
/proc/meminfo: memFree=30161356/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=179344 CPUtime=282.24 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 31213 0 0 0 28199 25 0 0 20 0 1 0 56095244 183648256 33389 33554432000 4194304 5646918 140734793701216 140734793699912 4403040 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 44836 33389 156 355 0 44477 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 179344

[startup+342.3 s]
/proc/loadavg: 2.18 2.10 2.10 3/177 23587
/proc/meminfo: memFree=30057248/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=179344 CPUtime=342.24 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 33042 0 0 0 34194 30 0 0 20 0 1 0 56095244 183648256 37400 33554432000 4194304 5646918 140734793701216 140734793699912 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 44836 37400 156 355 0 44477 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 179344

[startup+402.3 s]
/proc/loadavg: 2.08 2.08 2.09 3/177 23643
/proc/meminfo: memFree=30429060/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=99204 CPUtime=402.23 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 35183 0 0 0 40189 34 0 0 20 0 1 0 56095244 101584896 24080 33554432000 4194304 5646918 140734793701216 140734793699928 4402918 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 24801 24080 156 355 0 24442 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 99204

[startup+462.3 s]
/proc/loadavg: 2.16 2.11 2.09 4/177 23644
/proc/meminfo: memFree=30289572/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=229432 CPUtime=462.22 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 37932 0 0 0 46184 38 0 0 20 0 1 0 56095244 234938368 45381 33554432000 4194304 5646918 140734793701216 140734793699912 4403178 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 57358 45381 156 355 0 56999 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 229432

[startup+522.3 s]
/proc/loadavg: 2.16 2.12 2.09 3/178 23648
/proc/meminfo: memFree=30315048/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=179344 CPUtime=522.21 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 40060 0 0 0 52178 43 0 0 20 0 1 0 56095244 183648256 36570 33554432000 4194304 5646918 140734793701216 140734793699912 4403147 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 44836 36570 156 355 0 44477 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 179344

[startup+582.3 s]
/proc/loadavg: 2.17 2.12 2.09 4/177 23650
/proc/meminfo: memFree=30290164/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=179344 CPUtime=582.2 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 41788 0 0 0 58174 46 0 0 20 0 1 0 56095244 183648256 43551 33554432000 4194304 5646918 140734793701216 140734793699912 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 44836 43551 156 355 0 44477 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 179344


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


[startup+942.3 s]
/proc/loadavg: 2.15 2.16 2.10 3/177 23657
/proc/meminfo: memFree=30214228/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=229432 CPUtime=942.14 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 51863 0 0 0 94148 66 0 0 20 0 1 0 56095244 234938368 48011 33554432000 4194304 5646918 140734793701216 140734793699912 4403176 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 57358 48011 156 355 0 56999 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 229432

[startup+1002.3 s]
/proc/loadavg: 2.12 2.14 2.10 3/177 23658
/proc/meminfo: memFree=30234460/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=229432 CPUtime=1002.13 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 53251 0 0 0 100144 69 0 0 20 0 1 0 56095244 234938368 50059 33554432000 4194304 5646918 140734793701216 140734793699912 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 57358 50059 156 355 0 56999 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 229432

[startup+1062.3 s]
/proc/loadavg: 2.04 2.11 2.09 3/177 23659
/proc/meminfo: memFree=30288748/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=206856 CPUtime=1062.12 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 56544 0 0 0 106138 74 0 0 20 0 1 0 56095244 211820544 43929 33554432000 4194304 5646918 140734793701216 140734793699912 4416598 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 51714 43929 156 355 0 51355 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 206856

[startup+1122.3 s]
/proc/loadavg: 2.06 2.11 2.09 3/178 23663
/proc/meminfo: memFree=30329852/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=206856 CPUtime=1122.12 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 58574 0 0 0 112133 79 0 0 20 0 1 0 56095244 211820544 45060 33554432000 4194304 5646918 140734793701216 140734793699912 4402661 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 51714 45060 156 355 0 51355 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 206856

[startup+1182.3 s]
/proc/loadavg: 2.27 2.15 2.10 3/177 23665
/proc/meminfo: memFree=30241408/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=176036 CPUtime=1182.1 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 59378 0 0 0 118129 81 0 0 20 0 1 0 56095244 180260864 41409 33554432000 4194304 5646918 140734793701216 140734793699512 4403167 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 44009 41409 156 355 0 43650 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 176036

[startup+1242.3 s]
/proc/loadavg: 2.14 2.13 2.09 3/177 23666
/proc/meminfo: memFree=30306496/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=126716 CPUtime=1242.09 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 60300 0 0 0 124126 83 0 0 20 0 1 0 56095244 129757184 31228 33554432000 4194304 5646918 140734793701216 140734793699928 4403411 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 31679 31228 156 355 0 31320 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 126716

[startup+1302.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/177 23667
/proc/meminfo: memFree=30311196/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=206856 CPUtime=1302.09 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 63795 0 0 0 130120 89 0 0 20 0 1 0 56095244 211820544 43948 33554432000 4194304 5646918 140734793701216 140734793699912 4403495 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 51714 43948 156 355 0 51355 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 206856

[startup+1362.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/177 23668
/proc/meminfo: memFree=30232364/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=126716 CPUtime=1362.08 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 66018 0 0 0 136115 93 0 0 20 0 1 0 56095244 129757184 31229 33554432000 4194304 5646918 140734793701216 140734793699928 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 31679 31229 156 355 0 31320 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 126716

[startup+1422.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/177 23669
/proc/meminfo: memFree=30216752/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=206856 CPUtime=1422.07 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 68163 0 0 0 142111 96 0 0 20 0 1 0 56095244 211820544 49669 33554432000 4194304 5646918 140734793701216 140734793699912 4402806 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 51714 49669 156 355 0 51355 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 206856

[startup+1482.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/177 23671
/proc/meminfo: memFree=30262624/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=206856 CPUtime=1482.05 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 70612 0 0 0 148105 100 0 0 20 0 1 0 56095244 211820544 47621 33554432000 4194304 5646918 140734793701216 140734793699912 4403173 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 51714 47621 156 355 0 51355 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 206856

[startup+1542.31 s]
/proc/loadavg: 2.11 2.11 2.09 3/177 23672
/proc/meminfo: memFree=30193344/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=176036 CPUtime=1542.06 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 72788 0 0 0 154101 105 0 0 20 0 1 0 56095244 180260864 42434 33554432000 4194304 5646918 140734793701216 140734793699512 4403368 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 44009 42434 156 355 0 43650 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 176036

[startup+1602.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/177 23673
/proc/meminfo: memFree=30235412/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=206856 CPUtime=1602.04 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 74767 0 0 0 160096 108 0 0 20 0 1 0 56095244 211820544 47621 33554432000 4194304 5646918 140734793701216 140734793699912 4403136 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 51714 47621 156 355 0 51355 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 206856

[startup+1662.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/177 23674
/proc/meminfo: memFree=30390380/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=126716 CPUtime=1662.03 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 76149 0 0 0 166092 111 0 0 20 0 1 0 56095244 129757184 31229 33554432000 4194304 5646918 140734793701216 140734793699928 4403091 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 31679 31229 156 355 0 31320 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 126716

[startup+1722.3 s]
/proc/loadavg: 2.17 2.12 2.09 3/178 23678
/proc/meminfo: memFree=30220900/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=206856 CPUtime=1722.02 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 78286 0 0 0 172088 114 0 0 20 0 1 0 56095244 211820544 45573 33554432000 4194304 5646918 140734793701216 140734793699912 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 51714 45573 156 355 0 51355 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 206856

[startup+1782.3 s]
/proc/loadavg: 2.18 2.13 2.09 3/177 23680
/proc/meminfo: memFree=30258080/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=256944 CPUtime=1782.02 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 79976 0 0 0 178084 118 0 0 20 0 1 0 56095244 263110656 52018 33554432000 4194304 5646918 140734793701216 140734793699912 4402776 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 64236 52018 156 355 0 63877 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 256944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.21 2.14 2.10 3/177 23680
/proc/meminfo: memFree=30270280/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=176036 CPUtime=1800.01 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 80452 0 0 0 179882 119 0 0 20 0 1 0 56095244 180260864 42434 33554432000 4194304 5646918 140734793701216 140734793699512 4402778 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 44009 42434 156 355 0 43650 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 176036

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23580 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.21 2.14 2.10 3/177 23680
/proc/meminfo: memFree=30270280/32872528 swapFree=1286912/1434080
[pid=23580] ppid=23577 vsize=176036 CPUtime=1800.01 cores=1,3,5,7
/proc/23580/stat : 23580 (minisatp) R 23577 23580 20640 0 -1 4202496 80452 0 0 0 179882 119 0 0 20 0 1 0 56095244 180260864 42434 33554432000 4194304 5646918 140734793701216 140734793699512 4402778 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23580/statm: 44009 42434 156 355 0 43650 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 176036

Child status: 0
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1798.83
CPU system time (s): 1.19382
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 338332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.83
system time used= 1.19382
maximum resident set size= 269508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80452
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= 31
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.41457 second user time and 15.7166 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-21 22:21:25
IDJOB=4112542
IDBENCH=2252
IDSOLVER=2555
FILE ID=node130/4112542-1466540485
RUNJOBID= node130-1466517708-20657
PBS_JOBID= 19942878
Free space on /tmp= 71720 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112542-1466540485/watcher-4112542-1466540485 -o /tmp/evaluation-result-4112542-1466540485/solver-4112542-1466540485 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466517708-20657 --watchdog 1960  minisatp HOME/instance-4112542-1466540485.opb

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

MD5SUM BENCH= 05ceccb8ea9c274c844c39df1472d3cc
RANDOM SEED=290150028

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30241484 kB
Buffers:           15636 kB
Cached:            68960 kB
SwapCached:         2600 kB
Active:           432260 kB
Inactive:          57584 kB
Active(anon):     405912 kB
Inactive(anon):     1932 kB
Active(file):      26348 kB
Inactive(file):    55652 kB
Unevictable:     1434080 kB
Mlocked:         1286912 kB
SwapTotal:      67108856 kB
SwapFree:       67099012 kB
Dirty:              5064 kB
Writeback:             4 kB
AnonPages:       1838596 kB
Mapped:             9516 kB
Shmem:                 0 kB
Slab:             574396 kB
SReclaimable:      17952 kB
SUnreclaim:       556444 kB
KernelStack:        1440 kB
PageTables:         7420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2001908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    454656 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4112542-1466540485.opb

Free space on /tmp at the end= 71712 MiB
End job on node130 at 2016-06-21 22:51:25