Trace number 4112543

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
MD5SUMaabc023158e10c9511062af8ac97c515
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-45
Best CPU time to get the best result obtained on this benchmark1389.77
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 constraints58624
Number of constraints which are clauses58624
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.54	c Converting 58624 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.64	============================[ Search Statistics ]==============================
0.59/0.64	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.64	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.59/0.64	===============================================================================
0.59/0.64	===============================================================================
0.59/0.64	c Found solution: -31
0.59/0.64	c ---[   0]---> Sorter-cost:44290     Base:
1.39/1.49	|  Eliminated clauses:           0.47 Mb                                      |
1.39/1.49	============================[ Search Statistics ]==============================
1.39/1.49	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.49	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.39/1.49	===============================================================================
1.39/1.49	|       100 |   16476    91726   255359 |    33632       85     13 |  0.510 % |
1.39/1.49	|       250 |   16398    91726   255359 |    36996      228     45 |  0.760 % |
1.39/1.49	|       475 |   16274    91726   255359 |    40695      445     40 |  1.158 % |
1.39/1.49	|       812 |   15836    91726   255359 |    44765      737     35 |  2.563 % |
1.39/1.49	|      1318 |   15364    91726   255359 |    49241     1209     36 |  4.077 % |
1.39/1.49	|      2077 |   14836    91726   255359 |    54166     1906     37 |  5.770 % |
1.39/1.49	|      3216 |   14305    91726   255359 |    59582     2994     39 |  7.473 % |
1.39/1.49	===============================================================================
1.39/1.49	c Found solution: -34
1.49/1.50	c ---[   0]---> Sorter-cost:    0     Base:
3.30/3.35	|  Eliminated clauses:           0.48 Mb                                      |
3.30/3.35	============================[ Search Statistics ]==============================
3.30/3.35	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.30/3.35	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.30/3.35	===============================================================================
3.30/3.35	|      4227 |   13761    85659   228282 |    31408     3951     39 |  8.577 % |
3.30/3.35	|      4377 |   13697    85659   228282 |    34549     4096     39 |  8.782 % |
3.30/3.35	|      4602 |   13530    85659   228282 |    38004     4272     40 |  9.316 % |
3.30/3.35	|      4939 |   13310    85659   228282 |    41804     4596     40 | 10.021 % |
3.30/3.35	|      5445 |   13230    85659   228282 |    45984     5056     45 | 10.277 % |
3.30/3.35	|      6204 |   12976    85659   228282 |    50583     5783     45 | 11.090 % |
3.30/3.35	|      7343 |   12653    85659   228282 |    55641     6900     46 | 12.124 % |
3.30/3.35	|      9051 |   12444    85659   228282 |    61205     8562     49 | 12.793 % |
3.30/3.35	|     11613 |   11646    85659   228282 |    67326    11008     55 | 15.348 % |
3.30/3.35	|     15457 |   10989    85659   228282 |    74059    14569     62 | 17.451 % |
3.30/3.35	===============================================================================
3.30/3.35	c Found solution: -36
3.30/3.36	c ---[   0]---> Sorter-cost:    0     Base:
5.60/5.67	|  Eliminated clauses:           0.50 Mb                                      |
5.60/5.67	============================[ Search Statistics ]==============================
5.60/5.67	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.60/5.67	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
5.60/5.67	===============================================================================
5.60/5.67	|     18931 |   10326    78556   198969 |    28803    17987     68 | 18.748 % |
5.60/5.67	|     19081 |   10326    78556   198969 |    31684    18137     68 | 18.748 % |
5.60/5.67	|     19306 |   10326    78556   198969 |    34852    18362     69 | 18.748 % |
5.60/5.67	|     19643 |   10260    78556   198969 |    38337    18694     69 | 18.956 % |
5.60/5.67	|     20149 |   10092    78556   198969 |    42171    19191     69 | 19.487 % |
5.60/5.67	|     20908 |    9965    78556   198969 |    46388    19943     69 | 19.888 % |
5.60/5.67	|     22047 |    9849    78556   198969 |    51027    20970     71 | 20.255 % |
5.60/5.67	|     23755 |    9790    78556   198969 |    56130    22674     75 | 20.441 % |
5.60/5.67	|     26317 |    9692    78556   198969 |    61743    25228     77 | 20.751 % |
5.60/5.67	|     30161 |    9610    78556   198969 |    67918    28990     85 | 21.010 % |
5.60/5.67	===============================================================================
5.60/5.67	c Found solution: -37
5.60/5.68	c ---[   0]---> Sorter-cost:    0     Base:
12.89/12.96	|  Eliminated clauses:           0.50 Mb                                      |
12.89/12.96	============================[ Search Statistics ]==============================
12.89/12.96	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.89/12.96	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
12.89/12.96	===============================================================================
12.89/12.96	|     34641 |    9177    76055   188776 |    27886    16775     85 | 22.001 % |
12.89/12.96	|     34791 |    9160    76055   188776 |    30675    16870     85 | 22.055 % |
12.89/12.96	|     35016 |    9160    76055   188776 |    33743    17095     86 | 22.055 % |
12.89/12.96	|     35353 |    9145    76055   188776 |    37117    17431     85 | 22.102 % |
12.89/12.96	|     35859 |    9133    76055   188776 |    40829    17936     86 | 22.140 % |
12.89/12.96	|     36618 |    9018    76055   188776 |    44912    18687     85 | 22.503 % |
12.89/12.96	|     37757 |    8921    76055   188776 |    49403    19817     86 | 22.809 % |
12.89/12.96	|     39465 |    8796    76055   188776 |    54343    21517     88 | 23.203 % |
12.89/12.96	|     42027 |    8584    76055   188776 |    59777    23992     93 | 23.871 % |
12.89/12.96	|     45871 |    8423    76055   188776 |    65755    27825     98 | 24.379 % |
12.89/12.96	|     51637 |    8283    76055   188776 |    72331    33527    108 | 24.820 % |
12.89/12.96	|     60286 |    8050    76055   188776 |    79564    42164    115 | 25.555 % |
12.89/12.96	|     73260 |    7805    76055   188776 |    87520    54937    126 | 26.328 % |
12.89/12.96	===============================================================================
12.89/12.96	c Found solution: -38
12.89/12.97	c ---[   0]---> Sorter-cost:    0     Base:
50.79/50.81	|  Eliminated clauses:           0.51 Mb                                      |
50.79/50.81	============================[ Search Statistics ]==============================
50.79/50.81	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
50.79/50.81	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
50.79/50.81	===============================================================================
50.79/50.81	|     74576 |    7588    72740   175238 |    26671    23099    102 | 26.403 % |
50.79/50.81	|     74726 |    7588    72740   175238 |    29338    23249    101 | 26.403 % |
50.79/50.81	|     74951 |    7572    72740   175238 |    32272    23473    101 | 26.454 % |
50.79/50.81	|     75288 |    7572    72740   175238 |    35499    23810    102 | 26.454 % |
50.79/50.81	|     75794 |    7562    72740   175238 |    39049    24315    102 | 26.485 % |
50.79/50.81	|     76553 |    7531    72740   175238 |    42954    25072    104 | 26.583 % |
50.79/50.81	|     77692 |    7531    72740   175238 |    47249    26211    106 | 26.583 % |
50.79/50.81	|     79400 |    7498    72740   175238 |    51974    27917    108 | 26.687 % |
50.79/50.81	|     81962 |    7451    72740   175238 |    57172    30476    111 | 26.835 % |
50.79/50.81	|     85806 |    7332    72740   175238 |    62889    34012    116 | 27.210 % |
50.79/50.81	|     91572 |    7154    72740   175238 |    69178    39765    121 | 27.772 % |
50.79/50.81	|    100221 |    6979    72740   175238 |    76096    48401    126 | 28.323 % |
50.79/50.81	|    113195 |    6827    72740   175238 |    83706    61255    136 | 28.803 % |
50.79/50.81	|    132656 |    6759    72740   175238 |    92076    80710    146 | 29.017 % |
50.79/50.81	|    161848 |    6488    72740   175238 |   101284    35233    123 | 29.871 % |
50.79/50.81	|    205637 |    6219    72740   175238 |   111412    79000    166 | 30.720 % |
50.79/50.81	===============================================================================
50.79/50.81	c Found solution: -39
50.79/50.81	c ---[   0]---> Sorter-cost:    0     Base:
110.95/111.08	|  Eliminated clauses:           0.52 Mb                                      |
110.95/111.08	============================[ Search Statistics ]==============================
110.95/111.08	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
110.95/111.08	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
110.95/111.08	===============================================================================
110.95/111.08	|    214027 |    5988    69413   161535 |    25451    27259    116 | 31.229 % |
110.95/111.08	|    214177 |    5988    69413   161535 |    27996    27409    117 | 31.229 % |
110.95/111.08	|    214402 |    5988    69413   161535 |    30796    27634    117 | 31.229 % |
110.95/111.08	|    214739 |    5988    69413   161535 |    33875    27971    117 | 31.229 % |
110.95/111.08	|    215245 |    5976    69413   161535 |    37263    28476    118 | 31.266 % |
110.95/111.08	|    216004 |    5939    69413   161535 |    40989    29095    119 | 31.381 % |
110.95/111.08	|    217143 |    5894    69413   161535 |    45088    30230    121 | 31.520 % |
110.95/111.08	|    218851 |    5859    69413   161535 |    49597    31935    122 | 31.628 % |
110.95/111.08	|    221413 |    5850    69413   161535 |    54557    34496    127 | 31.656 % |
110.95/111.08	|    225257 |    5850    69413   161535 |    60013    38340    132 | 31.656 % |
110.95/111.08	|    231023 |    5787    69413   161535 |    66014    44102    136 | 31.851 % |
110.95/111.08	|    239672 |    5671    69413   161535 |    72615    52675    141 | 32.210 % |
110.95/111.08	|    252646 |    5539    69413   161535 |    79877    65640    148 | 32.619 % |
110.95/111.08	|    272107 |    5322    69413   161535 |    87865    85086    160 | 33.290 % |
110.95/111.08	|    301299 |    5162    69413   161535 |    96651    42456    153 | 33.785 % |
110.95/111.08	|    345088 |    4917    69413   161535 |   106316    86229    175 | 34.543 % |
110.95/111.08	|    410772 |    4512    69413   161535 |   116948    62168    172 | 35.796 % |
110.95/111.08	===============================================================================
110.95/111.08	c Found solution: -40
110.95/111.08	c ---[   0]---> Sorter-cost:    0     Base:
263.83/263.95	|  Eliminated clauses:           0.53 Mb                                      |
263.83/263.95	============================[ Search Statistics ]==============================
263.83/263.95	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
263.83/263.95	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
263.83/263.95	===============================================================================
263.83/263.95	|    424487 |    4303    65848   147090 |    24144    23320    165 | 35.813 % |
263.83/263.95	|    424637 |    4303    65848   147090 |    26558    23470    165 | 35.813 % |
263.83/263.95	|    424862 |    4303    65848   147090 |    29214    23695    165 | 35.813 % |
263.83/263.95	|    425199 |    4265    65848   147090 |    32136    24028    164 | 35.930 % |
263.83/263.95	|    425705 |    4265    65848   147090 |    35349    24534    164 | 35.930 % |
263.83/263.95	|    426464 |    4265    65848   147090 |    38884    25293    164 | 35.930 % |
263.83/263.95	|    427603 |    4227    65848   147090 |    42773    26429    163 | 36.048 % |
263.83/263.95	|    429311 |    4227    65848   147090 |    47050    28137    163 | 36.048 % |
263.83/263.95	|    431873 |    4227    65848   147090 |    51755    30699    164 | 36.048 % |
263.83/263.95	|    435717 |    4214    65848   147090 |    56930    34541    163 | 36.088 % |
263.83/263.95	|    441483 |    4214    65848   147090 |    62624    40307    165 | 36.088 % |
263.83/263.95	|    450132 |    4188    65848   147090 |    68886    48954    167 | 36.168 % |
263.83/263.95	|    463106 |    4096    65848   147090 |    75775    61922    172 | 36.453 % |
263.83/263.95	|    482567 |    4001    65848   147090 |    83352    80437    173 | 36.747 % |
263.83/263.95	|    511759 |    3942    65848   147090 |    91687    39683    155 | 36.930 % |
263.83/263.95	|    555548 |    3900    65848   147090 |   100856    83422    175 | 37.060 % |
263.83/263.95	|    621232 |    3651    65848   147090 |   110942    64257    166 | 37.830 % |
263.83/263.95	|    719758 |    3514    65848   147090 |   122036    66140    171 | 38.254 % |
263.83/263.95	|    867547 |    3354    65848   147090 |   134240   108036    174 | 38.749 % |
263.83/263.95	===============================================================================
263.83/263.95	c Found solution: -41
263.83/263.96	c ---[   0]---> Sorter-cost:    0     Base:
708.06/708.26	|  Eliminated clauses:           0.54 Mb                                      |
708.06/708.26	============================[ Search Statistics ]==============================
708.06/708.26	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
708.06/708.26	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
708.06/708.26	===============================================================================
708.06/708.26	|    921887 |    3181    63480   137892 |    23276    17964    210 | 38.771 % |
708.06/708.26	|    922037 |    3181    63480   137892 |    25603    18114    209 | 38.771 % |
708.06/708.26	|    922262 |    3181    63480   137892 |    28163    18339    208 | 38.771 % |
708.06/708.26	|    922599 |    3181    63480   137892 |    30980    18676    206 | 38.771 % |
708.06/708.26	|    923105 |    3167    63480   137892 |    34078    19181    204 | 38.814 % |
708.06/708.26	|    923864 |    3167    63480   137892 |    37486    19940    199 | 38.814 % |
708.06/708.26	|    925003 |    3154    63480   137892 |    41234    21078    198 | 38.854 % |
708.06/708.26	|    926711 |    3154    63480   137892 |    45358    22786    192 | 38.854 % |
708.06/708.26	|    929273 |    3154    63480   137892 |    49894    25348    189 | 38.854 % |
708.06/708.26	|    933117 |    3150    63480   137892 |    54883    29191    182 | 38.866 % |
708.06/708.26	|    938883 |    3136    63480   137892 |    60371    34954    171 | 38.910 % |
708.06/708.26	|    947532 |    3136    63480   137892 |    66409    43603    165 | 38.910 % |
708.06/708.26	|    960506 |    3075    63480   137892 |    73050    56571    161 | 39.098 % |
708.06/708.26	|    979967 |    3037    63480   137892 |    80355    75997    159 | 39.215 % |
708.06/708.26	|   1009159 |    3008    63480   137892 |    88390    36976    145 | 39.305 % |
708.06/708.26	|   1052948 |    2930    63480   137892 |    97229    80669    153 | 39.546 % |
708.06/708.26	|   1118632 |    2844    63480   137892 |   106952    62875    151 | 39.811 % |
708.06/708.26	|   1217158 |    2798    63480   137892 |   117647    67766    152 | 39.953 % |
708.06/708.26	|   1364947 |    2689    63480   137892 |   129412   111367    153 | 40.290 % |
708.06/708.26	|   1586630 |    2581    63480   137892 |   142353    95071    161 | 40.623 % |
708.06/708.26	|   1919155 |    2462    63480   137892 |   156589    29429    163 | 40.990 % |
708.06/708.26	|   2417943 |    2341    63480   137892 |   172248    97817    138 | 41.364 % |
708.06/708.26	===============================================================================
708.06/708.26	c Found solution: -42
708.06/708.27	c ---[   0]---> Sorter-cost:    0     Base:
1800.09/1800.40	|  Eliminated clauses:           0.54 Mb                                      |
1800.09/1800.40	============================[ Search Statistics ]==============================
1800.09/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.09/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.09/1800.40	===============================================================================
1800.09/1800.40	|   2559564 |    2198    61336   129768 |    22489    19890    234 | 41.410 % |
1800.09/1800.40	|   2559714 |    2198    61336   129768 |    24738    20040    233 | 41.410 % |
1800.09/1800.40	|   2559939 |    2198    61336   129768 |    27212    20265    232 | 41.411 % |
1800.09/1800.40	|   2560276 |    2198    61336   129768 |    29934    20602    229 | 41.411 % |
1800.09/1800.40	|   2560782 |    2198    61336   129768 |    32927    21108    225 | 41.411 % |
1800.09/1800.40	|   2561541 |    2197    61336   129768 |    36220    21866    220 | 41.414 % |
1800.09/1800.40	|   2562680 |    2197    61336   129768 |    39842    23005    212 | 41.414 % |
1800.09/1800.40	|   2564388 |    2197    61336   129768 |    43826    24713    204 | 41.414 % |
1800.09/1800.40	|   2566950 |    2197    61336   129768 |    48209    27275    194 | 41.414 % |
1800.09/1800.40	|   2570794 |    2174    61336   129768 |    53029    31116    183 | 41.485 % |
1800.09/1800.40	|   2576560 |    2165    61336   129768 |    58332    36880    171 | 41.512 % |
1800.09/1800.40	|   2585209 |    2148    61336   129768 |    64166    45526    161 | 41.565 % |
1800.09/1800.40	|   2598183 |    2142    61336   129768 |    70582    58497    152 | 41.583 % |
1800.09/1800.40	|   2617644 |    2134    61336   129768 |    77641    77887    142 | 41.608 % |
1800.09/1800.40	|   2646836 |    2123    61336   129768 |    85405    37732    132 | 41.642 % |
1800.09/1800.40	|   2690625 |    2122    61336   129768 |    93945    81514    126 | 41.645 % |
1800.09/1800.40	|   2756309 |    2089    61336   129768 |   103340    65197    125 | 41.747 % |
1800.09/1800.40	|   2854835 |    2058    61336   129768 |   113674    70962    121 | 41.843 % |
1800.09/1800.40	|   3002624 |    2045    61336   129768 |   125041   117257    120 | 41.883 % |
1800.09/1800.40	|   3224307 |    2027    61336   129768 |   137545   106963    119 | 41.938 % |
1800.09/1800.40	|   3556832 |    1982    61336   129768 |   151300    47182    183 | 42.077 % |
1800.09/1800.40	|   4055620 |    1905    61336   129768 |   166430   123423    110 | 42.315 % |
1800.09/1800.40	|   4803802 |    1839    61336   129768 |   183073    85079    129 | 42.519 % |
1800.09/1800.40	|   5926076 |    1797    61336   129768 |   201381   186940    112 | 42.648 % |
1800.09/1800.40	c 
1800.09/1800.40	c *** TERMINATED ***
1800.09/1800.40	s SATISFIABLE
1800.09/1800.40	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-4112543-1466540381/watcher-4112543-1466540381 -o /tmp/evaluation-result-4112543-1466540381/solver-4112543-1466540381 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466514726-11357 --watchdog 1960 minisatp HOME/instance-4112543-1466540381.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.07 2.11 2.09 3/176 16664
/proc/meminfo: memFree=31172708/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=6632 CPUtime=0 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 385 0 0 0 0 0 0 0 20 0 1 0 56087303 6791168 262 33554432000 4194304 5646918 140736315410576 140734241285496 4953072 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 1658 262 94 355 0 1299 0

[startup+0.100203 s]
/proc/loadavg: 2.07 2.11 2.09 3/176 16664
/proc/meminfo: memFree=31172708/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=12356 CPUtime=0.09 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 1807 0 0 0 9 0 0 0 20 0 1 0 56087303 12652544 1684 33554432000 4194304 5646918 140736315410576 140734241285496 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 3089 1685 94 355 0 2730 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12356

[startup+0.20028 s]
/proc/loadavg: 2.07 2.11 2.09 3/176 16664
/proc/meminfo: memFree=31172708/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=18540 CPUtime=0.19 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 3331 0 0 0 18 1 0 0 20 0 1 0 56087303 18984960 3208 33554432000 4194304 5646918 140736315410576 140734241285496 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 4635 3208 94 355 0 4276 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18540

[startup+0.300327 s]
/proc/loadavg: 2.07 2.11 2.09 3/176 16664
/proc/meminfo: memFree=31172708/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=24740 CPUtime=0.29 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 4863 0 0 0 28 1 0 0 20 0 1 0 56087303 25333760 4740 33554432000 4194304 5646918 140736315410576 140734241285496 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 6185 4742 94 355 0 5826 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24740

[startup+0.700238 s]
/proc/loadavg: 2.07 2.11 2.09 3/176 16664
/proc/meminfo: memFree=31172708/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=51500 CPUtime=0.69 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 12288 0 0 0 65 4 0 0 20 0 1 0 56087303 52736000 11734 33554432000 4194304 5646918 140736315410576 140736315409240 4438368 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 12875 11734 134 355 0 12516 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51500

[startup+1.50026 s]
/proc/loadavg: 2.07 2.11 2.09 3/177 16665
/proc/meminfo: memFree=31121504/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=52120 CPUtime=1.49 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 13388 0 0 0 145 4 0 0 20 0 1 0 56087303 53370880 12388 33554432000 4194304 5646918 140736315410576 140736315409240 4460947 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 13030 12388 155 355 0 12671 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52120

[startup+3.10027 s]
/proc/loadavg: 2.07 2.11 2.09 3/177 16665
/proc/meminfo: memFree=31117448/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=56516 CPUtime=3.09 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 14309 0 0 0 305 4 0 0 20 0 1 0 56087303 57872384 13297 33554432000 4194304 5646918 140736315410576 140736315409272 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 14129 13297 155 355 0 13770 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56516

[startup+6.30029 s]
/proc/loadavg: 2.06 2.11 2.09 3/177 16665
/proc/meminfo: memFree=31102816/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=60936 CPUtime=6.29 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 15775 0 0 0 625 4 0 0 20 0 1 0 56087303 62398464 14305 33554432000 4194304 5646918 140736315410576 140736315409272 4402818 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 15234 14305 156 355 0 14875 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60936

[startup+12.7002 s]
/proc/loadavg: 2.06 2.11 2.09 3/177 16665
/proc/meminfo: memFree=31144976/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=79792 CPUtime=12.69 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 16781 0 0 0 1264 5 0 0 20 0 1 0 56087303 81707008 19394 33554432000 4194304 5646918 140736315410576 140736315409272 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 19948 19394 156 355 0 19589 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 79792

[startup+25.5004 s]
/proc/loadavg: 2.04 2.10 2.08 3/178 16668
/proc/meminfo: memFree=31049320/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=147720 CPUtime=25.49 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 17877 0 0 0 2542 7 0 0 20 0 1 0 56087303 151265280 31335 33554432000 4194304 5646918 140736315410576 140736315408872 4402815 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 36930 31335 156 355 0 36571 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 147720

[startup+51.1003 s]
/proc/loadavg: 2.16 2.13 2.09 3/178 16668
/proc/meminfo: memFree=31035656/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=98400 CPUtime=51.08 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 19267 0 0 0 5099 9 0 0 20 0 1 0 56087303 100761600 19475 33554432000 4194304 5646918 140736315410576 140736315409272 4402736 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 24600 19475 156 355 0 24241 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 98400

[startup+102.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/177 16669
/proc/meminfo: memFree=31067536/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=98400 CPUtime=102.27 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 21612 0 0 0 10213 14 0 0 20 0 1 0 56087303 100761600 19741 33554432000 4194304 5646918 140736315410576 140736315409288 4402863 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 24600 19741 156 355 0 24241 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 98400

[startup+162.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/177 16670
/proc/meminfo: memFree=31065804/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=98400 CPUtime=162.25 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 23861 0 0 0 16206 19 0 0 20 0 1 0 56087303 100761600 19742 33554432000 4194304 5646918 140736315410576 140736315409288 4403454 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 24600 19742 156 355 0 24241 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 98400

[startup+222.307 s]
/proc/loadavg: 2.05 2.09 2.08 3/177 16671
/proc/meminfo: memFree=31016060/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=228628 CPUtime=222.25 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 27017 0 0 0 22201 24 0 0 20 0 1 0 56087303 234115072 43287 33554432000 4194304 5646918 140736315410576 140736315409272 4403368 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 57157 43287 156 355 0 56798 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 228628

[startup+282.3 s]
/proc/loadavg: 2.26 2.13 2.10 3/177 16673
/proc/meminfo: memFree=31093348/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=98400 CPUtime=282.23 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 29361 0 0 0 28194 29 0 0 20 0 1 0 56087303 100761600 23841 33554432000 4194304 5646918 140736315410576 140736315409288 4402772 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 24600 23841 156 355 0 24241 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 98400

[startup+342.3 s]
/proc/loadavg: 2.16 2.12 2.09 3/177 16674
/proc/meminfo: memFree=31006092/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=178540 CPUtime=342.22 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 31616 0 0 0 34188 34 0 0 20 0 1 0 56087303 182824960 37869 33554432000 4194304 5646918 140736315410576 140736315409272 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 44635 37869 156 355 0 44276 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 178540

[startup+402.3 s]
/proc/loadavg: 2.17 2.13 2.09 3/177 16675
/proc/meminfo: memFree=31041688/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=178540 CPUtime=402.21 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 33957 0 0 0 40183 38 0 0 20 0 1 0 56087303 182824960 37357 33554432000 4194304 5646918 140736315410576 140736315409272 4397445 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 44635 37357 156 355 0 44276 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 178540

[startup+462.3 s]
/proc/loadavg: 2.21 2.15 2.10 3/177 16676
/proc/meminfo: memFree=31038032/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=116836 CPUtime=462.2 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 37082 0 0 0 46177 43 0 0 20 0 1 0 56087303 119640064 28758 33554432000 4194304 5646918 140736315410576 140736315409288 4403091 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 29209 28758 156 355 0 28850 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 116836

[startup+522.3 s]
/proc/loadavg: 2.13 2.13 2.09 3/177 16677
/proc/meminfo: memFree=30965692/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=196976 CPUtime=522.2 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 39412 0 0 0 52172 48 0 0 20 0 1 0 56087303 201703424 46370 33554432000 4194304 5646918 140736315410576 140736315409272 4398888 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 49244 46370 156 355 0 48885 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 196976

[startup+582.3 s]
/proc/loadavg: 2.17 2.14 2.09 3/177 16735
/proc/meminfo: memFree=31080060/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=166156 CPUtime=582.18 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 41980 0 0 0 58166 52 0 0 20 0 1 0 56087303 170143744 40159 33554432000 4194304 5646918 140736315410576 140736315408872 4403178 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 41539 40159 156 355 0 41180 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 166156


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


[startup+882.307 s]
/proc/loadavg: 2.00 2.07 2.07 3/177 16744
/proc/meminfo: memFree=30982424/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=196976 CPUtime=882.14 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 52237 0 0 0 88142 72 0 0 20 0 1 0 56087303 201703424 43818 33554432000 4194304 5646918 140736315410576 140736315409272 4397533 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 49244 43818 156 355 0 48885 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 196976

[startup+942.3 s]
/proc/loadavg: 2.04 2.07 2.07 3/177 16745
/proc/meminfo: memFree=30972320/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=196976 CPUtime=942.13 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 53755 0 0 0 94137 76 0 0 20 0 1 0 56087303 201703424 46378 33554432000 4194304 5646918 140736315410576 140736315409272 4403113 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 49244 46378 156 355 0 48885 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 196976

[startup+1002.3 s]
/proc/loadavg: 2.01 2.05 2.07 3/177 16746
/proc/meminfo: memFree=31091528/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=116836 CPUtime=1002.12 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 55343 0 0 0 100132 80 0 0 20 0 1 0 56087303 119640064 28766 33554432000 4194304 5646918 140736315410576 140736315409288 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 29209 28766 156 355 0 28850 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 116836

[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/177 16747
/proc/meminfo: memFree=30880672/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=196976 CPUtime=1062.11 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 56849 0 0 0 106128 83 0 0 20 0 1 0 56087303 201703424 45354 33554432000 4194304 5646918 140736315410576 140736315409272 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 49244 45354 156 355 0 48885 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 196976

[startup+1122.3 s]
/proc/loadavg: 2.07 2.05 2.06 3/177 16748
/proc/meminfo: memFree=30934304/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=166156 CPUtime=1122.1 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 57767 0 0 0 112123 87 0 0 20 0 1 0 56087303 170143744 40167 33554432000 4194304 5646918 140736315410576 140736315408872 4402821 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 41539 40167 156 355 0 41180 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 166156

[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.06 3/177 16750
/proc/meminfo: memFree=31023316/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=116836 CPUtime=1182.09 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 59121 0 0 0 118120 89 0 0 20 0 1 0 56087303 119640064 28766 33554432000 4194304 5646918 140736315410576 140736315409288 4403544 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 29209 28766 156 355 0 28850 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 116836

[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/178 16754
/proc/meminfo: memFree=30852708/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=247064 CPUtime=1242.08 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 61433 0 0 0 124114 94 0 0 20 0 1 0 56087303 252993536 49213 33554432000 4194304 5646918 140736315410576 140736315409272 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 61766 49214 156 355 0 61407 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 247064

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/177 16755
/proc/meminfo: memFree=30902748/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=166156 CPUtime=1302.07 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 63209 0 0 0 130109 98 0 0 20 0 1 0 56087303 170143744 37095 33554432000 4194304 5646918 140736315410576 140736315408872 4388947 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 41539 37095 156 355 0 41180 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 166156

[startup+1362.3 s]
/proc/loadavg: 2.06 2.03 2.04 3/177 16756
/proc/meminfo: memFree=30967360/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=196976 CPUtime=1362.06 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 64557 0 0 0 136106 100 0 0 20 0 1 0 56087303 201703424 42282 33554432000 4194304 5646918 140736315410576 140736315409272 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 49244 42282 156 355 0 48885 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 196976

[startup+1422.3 s]
/proc/loadavg: 2.12 2.05 2.05 3/177 16757
/proc/meminfo: memFree=30927672/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=116836 CPUtime=1422.06 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 65323 0 0 0 142104 102 0 0 20 0 1 0 56087303 119640064 28766 33554432000 4194304 5646918 140736315410576 140736315409288 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 29209 28766 156 355 0 28850 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 116836

[startup+1482.3 s]
/proc/loadavg: 2.16 2.07 2.05 3/176 16758
/proc/meminfo: memFree=30925136/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=196976 CPUtime=1482.05 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 66844 0 0 0 148100 105 0 0 20 0 1 0 56087303 201703424 42282 33554432000 4194304 5646918 140736315410576 140736315409272 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 49244 42282 156 355 0 48885 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 196976

[startup+1542.31 s]
/proc/loadavg: 2.13 2.07 2.05 3/177 16760
/proc/meminfo: memFree=30919212/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=196976 CPUtime=1542.04 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 68441 0 0 0 154096 108 0 0 20 0 1 0 56087303 201703424 47402 33554432000 4194304 5646918 140736315410576 140736315409272 4403136 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 49244 47402 156 355 0 48885 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 196976

[startup+1602.3 s]
/proc/loadavg: 2.12 2.07 2.05 3/177 16761
/proc/meminfo: memFree=31001832/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=196976 CPUtime=1602.02 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 70406 0 0 0 160091 111 0 0 20 0 1 0 56087303 201703424 48801 33554432000 4194304 5646918 140736315410576 140736315409272 4402815 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 49244 48801 156 355 0 48885 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 196976

[startup+1662.3 s]
/proc/loadavg: 2.19 2.10 2.06 3/177 16762
/proc/meminfo: memFree=31080704/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=116836 CPUtime=1662.01 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 71970 0 0 0 166087 114 0 0 20 0 1 0 56087303 119640064 28776 33554432000 4194304 5646918 140736315410576 140736315409288 4402616 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 29209 28776 156 355 0 28850 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 116836

[startup+1722.3 s]
/proc/loadavg: 2.07 2.08 2.06 3/177 16763
/proc/meminfo: memFree=31028948/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=196976 CPUtime=1722.01 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 73478 0 0 0 172084 117 0 0 20 0 1 0 56087303 201703424 42292 33554432000 4194304 5646918 140736315410576 140736315409272 4403136 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 49244 42292 156 355 0 48885 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 196976

[startup+1782.3 s]
/proc/loadavg: 2.07 2.08 2.06 3/177 16764
/proc/meminfo: memFree=30886844/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=196976 CPUtime=1782 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 74600 0 0 0 178081 119 0 0 20 0 1 0 56087303 201703424 44852 33554432000 4194304 5646918 140736315410576 140736315409272 4403136 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 49244 44852 156 355 0 48885 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 196976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.05 2.07 2.05 3/177 16765
/proc/meminfo: memFree=31080340/32872528 swapFree=682476/737664
[pid=16664] ppid=16661 vsize=116836 CPUtime=1800.09 cores=0,2,4,6
/proc/16664/stat : 16664 (minisatp) R 16661 16664 11341 0 -1 4202496 74607 0 0 0 179890 119 0 0 20 0 1 0 56087303 119640064 28776 33554432000 4194304 5646918 140736315410576 140736315409288 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/16664/statm: 29209 28776 156 355 0 28850 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 116836

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

Child status: 0
Real time (s): 1800.4
CPU time (s): 1800.11
CPU user time (s): 1798.91
CPU system time (s): 1.20082
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 247064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.20082
maximum resident set size= 221500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74607
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= 28
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.62514 second user time and 7.07492 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-21 22:19:41
IDJOB=4112543
IDBENCH=2251
IDSOLVER=2555
FILE ID=node112/4112543-1466540381
RUNJOBID= node112-1466514726-11357
PBS_JOBID= 19942877
Free space on /tmp= 71700 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-2.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112543-1466540381/watcher-4112543-1466540381 -o /tmp/evaluation-result-4112543-1466540381/solver-4112543-1466540381 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466514726-11357 --watchdog 1960  minisatp HOME/instance-4112543-1466540381.opb

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

MD5SUM BENCH= aabc023158e10c9511062af8ac97c515
RANDOM SEED=687300179

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31173276 kB
Buffers:           23524 kB
Cached:            83864 kB
SwapCached:         2472 kB
Active:           176884 kB
Inactive:          80396 kB
Active(anon):     149748 kB
Inactive(anon):     2724 kB
Active(file):      27136 kB
Inactive(file):    77672 kB
Unevictable:      737664 kB
Mlocked:          682476 kB
SwapTotal:      67108856 kB
SwapFree:       67097116 kB
Dirty:              5060 kB
Writeback:             0 kB
AnonPages:        886952 kB
Mapped:             9360 kB
Shmem:                 0 kB
Slab:             571852 kB
SReclaimable:      15604 kB
SUnreclaim:       556248 kB
KernelStack:        1424 kB
PageTables:         5760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1021052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    186368 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-4112543-1466540381.opb

Free space on /tmp at the end= 71696 MiB
End job on node112 at 2016-06-21 22:49:41