Trace number 4114777

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)-43 1800.1 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-4.opb
MD5SUMe1b2be59a127acc8d929395698929541
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 benchmark474.372
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -45
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58549
Number of constraints which are clauses58549
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 58549 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: -33
0.59/0.64	c ---[   0]---> Sorter-cost:44290     Base:
2.09/2.15	|  Eliminated clauses:           0.47 Mb                                      |
2.09/2.15	============================[ Search Statistics ]==============================
2.09/2.15	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.09/2.15	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.09/2.15	===============================================================================
2.09/2.15	|       100 |   16505    91660   255341 |    33608       88     46 |  0.381 % |
2.09/2.15	|       250 |   16353    91660   255341 |    36969      228     36 |  0.869 % |
2.09/2.15	|       475 |   16191    91660   255341 |    40666      431     32 |  1.388 % |
2.09/2.15	|       812 |   15774    91660   255341 |    44733      699     33 |  2.725 % |
2.09/2.15	|      1318 |   15378    91660   255341 |    49206     1146     34 |  3.994 % |
2.09/2.15	|      2077 |   14817    91660   255341 |    54127     1854     35 |  5.792 % |
2.09/2.15	|      3216 |   14220    91660   255341 |    59539     2927     38 |  7.706 % |
2.09/2.15	|      4924 |   13314    91660   255341 |    65493     4481     38 | 10.610 % |
2.09/2.15	|      7486 |   12666    91660   255341 |    72043     6974     41 | 12.687 % |
2.09/2.15	===============================================================================
2.09/2.15	c Found solution: -35
2.09/2.16	c ---[   0]---> Sorter-cost:    0     Base:
4.29/4.36	|  Eliminated clauses:           0.49 Mb                                      |
4.29/4.36	============================[ Search Statistics ]==============================
4.29/4.36	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.29/4.36	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.29/4.36	===============================================================================
4.29/4.36	|     10227 |   11846    81547   210912 |    29900     9565     55 | 14.600 % |
4.29/4.36	|     10377 |   11830    81547   210912 |    32890     9714     55 | 14.651 % |
4.29/4.36	|     10602 |   11725    81547   210912 |    36179     9931     55 | 14.983 % |
4.29/4.36	|     10939 |   11694    81547   210912 |    39797    10266     55 | 15.081 % |
4.29/4.36	|     11445 |   11599    81547   210912 |    43777    10662     56 | 15.381 % |
4.29/4.36	|     12204 |   11538    81547   210912 |    48155    11416     58 | 15.574 % |
4.29/4.36	|     13343 |   11221    81547   210912 |    52970    12488     59 | 16.577 % |
4.29/4.36	|     15051 |   10935    81547   210912 |    58267    14177     61 | 17.482 % |
4.29/4.36	|     17613 |   10556    81547   210912 |    64094    16584     67 | 18.681 % |
4.29/4.36	|     21457 |   10179    81547   210912 |    70503    20333     75 | 19.873 % |
4.29/4.36	===============================================================================
4.29/4.36	c Found solution: -37
4.29/4.37	c ---[   0]---> Sorter-cost:    0     Base:
11.78/11.81	|  Eliminated clauses:           0.50 Mb                                      |
11.78/11.81	============================[ Search Statistics ]==============================
11.78/11.81	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.78/11.81	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
11.78/11.81	===============================================================================
11.78/11.81	|     26674 |    9361    76401   190109 |    28013    25327     87 | 21.590 % |
11.78/11.81	|     26824 |    9361    76401   190109 |    30815    25477     87 | 21.590 % |
11.78/11.81	|     27049 |    9347    76401   190109 |    33896    25701     87 | 21.634 % |
11.78/11.81	|     27386 |    9324    76401   190109 |    37286    26037     87 | 21.707 % |
11.78/11.81	|     27892 |    9307    76401   190109 |    41014    26542     88 | 21.761 % |
11.78/11.81	|     28651 |    9207    76401   190109 |    45116    27295     88 | 22.076 % |
11.78/11.81	|     29790 |    9154    76401   190109 |    49627    28309     89 | 22.244 % |
11.78/11.81	|     31498 |    8887    76401   190109 |    54590    29996     88 | 23.087 % |
11.78/11.81	|     34060 |    8741    76401   190109 |    60049    32550     91 | 23.548 % |
11.78/11.81	|     37904 |    8694    76401   190109 |    66054    36389     95 | 23.696 % |
11.78/11.81	|     43670 |    8512    76401   190109 |    72660    42031    102 | 24.271 % |
11.78/11.81	|     52319 |    8183    76401   190109 |    79926    50654    109 | 25.310 % |
11.78/11.81	|     65293 |    7921    76401   190109 |    87918    63134    121 | 26.138 % |
11.78/11.81	===============================================================================
11.78/11.81	c Found solution: -38
11.78/11.81	c ---[   0]---> Sorter-cost:    0     Base:
21.09/21.12	|  Eliminated clauses:           0.51 Mb                                      |
21.09/21.12	============================[ Search Statistics ]==============================
21.09/21.12	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.09/21.12	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
21.09/21.12	===============================================================================
21.09/21.12	|     65653 |    7716    72808   175707 |    26696    22989    111 | 26.153 % |
21.09/21.12	|     65803 |    7716    72808   175707 |    29365    23139    111 | 26.152 % |
21.09/21.12	|     66028 |    7715    72808   175707 |    32302    23363    111 | 26.156 % |
21.09/21.12	|     66365 |    7559    72808   175707 |    35532    23686    111 | 26.648 % |
21.09/21.12	|     66871 |    7559    72808   175707 |    39086    24192    111 | 26.648 % |
21.09/21.12	|     67630 |    7544    72808   175707 |    42994    24950    112 | 26.696 % |
21.09/21.12	|     68769 |    7472    72808   175707 |    47294    26084    112 | 26.923 % |
21.09/21.12	|     70477 |    7452    72808   175707 |    52023    27790    114 | 26.986 % |
21.09/21.12	|     73039 |    7452    72808   175707 |    57225    30352    119 | 26.986 % |
21.09/21.12	|     76883 |    7384    72808   175707 |    62948    34191    121 | 27.201 % |
21.09/21.12	|     82649 |    7291    72808   175707 |    69243    39951    128 | 27.494 % |
21.09/21.12	|     91298 |    7086    72808   175707 |    76167    48382    135 | 28.142 % |
21.09/21.12	|    104272 |    7000    72808   175707 |    83784    61351    146 | 28.413 % |
21.09/21.12	===============================================================================
21.09/21.12	c Found solution: -39
21.09/21.13	c ---[   0]---> Sorter-cost:    0     Base:
101.58/101.64	|  Eliminated clauses:           0.52 Mb                                      |
101.58/101.64	============================[ Search Statistics ]==============================
101.58/101.64	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
101.58/101.64	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
101.58/101.64	===============================================================================
101.58/101.64	|    109446 |    6912    71204   169403 |    26108    22702    140 | 28.838 % |
101.58/101.64	|    109596 |    6912    71204   169403 |    28718    22852    139 | 28.838 % |
101.58/101.64	|    109821 |    6912    71204   169403 |    31590    23077    140 | 28.838 % |
101.58/101.64	|    110158 |    6912    71204   169403 |    34749    23414    140 | 28.838 % |
101.58/101.64	|    110664 |    6912    71204   169403 |    38224    23920    140 | 28.838 % |
101.58/101.64	|    111423 |    6870    71204   169403 |    42047    24676    139 | 28.967 % |
101.58/101.64	|    112562 |    6765    71204   169403 |    46252    25807    138 | 29.291 % |
101.58/101.64	|    114270 |    6726    71204   169403 |    50877    27511    137 | 29.411 % |
101.58/101.64	|    116832 |    6687    71204   169403 |    55965    30069    140 | 29.532 % |
101.58/101.64	|    120676 |    6538    71204   169403 |    61561    33764    143 | 29.991 % |
101.58/101.64	|    126442 |    6322    71204   169403 |    67717    39513    147 | 30.657 % |
101.58/101.64	|    135091 |    6236    71204   169403 |    74489    48156    151 | 30.922 % |
101.58/101.64	|    148065 |    6127    71204   169403 |    81938    60824    157 | 31.258 % |
101.58/101.64	|    167526 |    5926    71204   169403 |    90132    80273    165 | 31.877 % |
101.58/101.64	|    196718 |    5858    71204   169403 |    99145    36000    142 | 32.087 % |
101.58/101.64	|    240507 |    5605    71204   169403 |   109060    79744    172 | 32.867 % |
101.58/101.64	|    306191 |    5150    71204   169403 |   119966    53762    169 | 34.269 % |
101.58/101.64	===============================================================================
101.58/101.64	c Found solution: -40
101.58/101.65	c ---[   0]---> Sorter-cost:    0     Base:
108.48/108.52	|  Eliminated clauses:           0.53 Mb                                      |
108.48/108.52	============================[ Search Statistics ]==============================
108.48/108.52	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
108.48/108.52	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
108.48/108.52	===============================================================================
108.48/108.52	|    367161 |    4713    66633   150787 |    24432    26840    142 | 34.708 % |
108.48/108.52	|    367311 |    4713    66633   150787 |    26875    26990    142 | 34.708 % |
108.48/108.52	|    367536 |    4713    66633   150787 |    29562    27215    142 | 34.708 % |
108.48/108.52	|    367873 |    4713    66633   150787 |    32519    27552    142 | 34.708 % |
108.48/108.52	|    368379 |    4713    66633   150787 |    35771    28058    143 | 34.708 % |
108.48/108.52	|    369138 |    4712    66633   150787 |    39348    28816    143 | 34.711 % |
108.48/108.52	|    370277 |    4682    66633   150787 |    43282    29952    144 | 34.804 % |
108.48/108.52	|    371985 |    4667    66633   150787 |    47611    31659    144 | 34.850 % |
108.48/108.52	|    374547 |    4665    66633   150787 |    52372    34220    147 | 34.856 % |
108.48/108.52	|    378391 |    4604    66633   150787 |    57609    38059    149 | 35.044 % |
108.48/108.52	|    384157 |    4604    66633   150787 |    63370    43511    153 | 35.044 % |
108.48/108.52	|    392806 |    4590    66633   150787 |    69707    52158    156 | 35.087 % |
108.48/108.52	===============================================================================
108.48/108.52	c Found solution: -41
108.48/108.53	c ---[   0]---> Sorter-cost:    0     Base:
434.61/434.73	|  Eliminated clauses:           0.53 Mb                                      |
434.61/434.73	============================[ Search Statistics ]==============================
434.61/434.73	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
434.61/434.73	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
434.61/434.73	===============================================================================
434.61/434.73	|    397096 |    4552    66292   149592 |    24307    23869    137 | 35.107 % |
434.61/434.73	|    397246 |    4552    66292   149592 |    26737    24019    137 | 35.107 % |
434.61/434.73	|    397471 |    4552    66292   149592 |    29411    24244    137 | 35.107 % |
434.61/434.73	|    397808 |    4552    66292   149592 |    32352    24581    137 | 35.107 % |
434.61/434.73	|    398314 |    4552    66292   149592 |    35587    25087    137 | 35.107 % |
434.61/434.73	|    399073 |    4528    66292   149592 |    39146    25843    136 | 35.181 % |
434.61/434.73	|    400212 |    4528    66292   149592 |    43061    26982    136 | 35.181 % |
434.61/434.73	|    401920 |    4527    66292   149592 |    47367    28689    137 | 35.184 % |
434.61/434.73	|    404482 |    4527    66292   149592 |    52104    31251    139 | 35.184 % |
434.61/434.73	|    408326 |    4473    66292   149592 |    57314    35090    140 | 35.350 % |
434.61/434.73	|    414092 |    4448    66292   149592 |    63046    40855    143 | 35.427 % |
434.61/434.73	|    422741 |    4406    66292   149592 |    69350    49278    148 | 35.557 % |
434.61/434.73	|    435715 |    4283    66292   149592 |    76285    62241    155 | 35.935 % |
434.61/434.73	|    455176 |    4231    66292   149592 |    83914    81698    160 | 36.095 % |
434.61/434.73	|    484368 |    4081    66292   149592 |    92306    41575    149 | 36.556 % |
434.61/434.73	|    528157 |    3810    66292   149592 |   101536    85337    161 | 37.390 % |
434.61/434.73	|    593841 |    3622    66292   149592 |   111690    65424    152 | 37.968 % |
434.61/434.73	|    692367 |    3530    66292   149592 |   122859    66932    157 | 38.251 % |
434.61/434.73	|    840156 |    3391    66292   149592 |   135145   108298    163 | 38.679 % |
434.61/434.73	|   1061839 |    3136    66292   149592 |   148659    76409    165 | 39.464 % |
434.61/434.73	|   1394364 |    2917    66292   149592 |   163525   134899    170 | 40.137 % |
434.61/434.73	===============================================================================
434.61/434.73	c Found solution: -42
434.61/434.73	c ---[   0]---> Sorter-cost:    0     Base:
714.56/714.71	|  Eliminated clauses:           0.54 Mb                                      |
714.56/714.71	============================[ Search Statistics ]==============================
714.56/714.71	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
714.56/714.71	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
714.56/714.71	===============================================================================
714.56/714.71	|   1410754 |    2670    62269   133485 |    22831    20920    208 | 40.151 % |
714.56/714.71	|   1410904 |    2670    62269   133485 |    25115    21070    207 | 40.151 % |
714.56/714.71	|   1411129 |    2661    62269   133485 |    27626    21294    206 | 40.179 % |
714.56/714.71	|   1411466 |    2661    62269   133485 |    30389    21631    204 | 40.179 % |
714.56/714.71	|   1411972 |    2661    62269   133485 |    33428    22137    202 | 40.179 % |
714.56/714.71	|   1412731 |    2661    62269   133485 |    36771    22896    199 | 40.179 % |
714.56/714.71	|   1413870 |    2661    62269   133485 |    40448    24035    197 | 40.179 % |
714.56/714.71	|   1415578 |    2652    62269   133485 |    44493    25741    191 | 40.207 % |
714.56/714.71	|   1418140 |    2639    62269   133485 |    48942    28302    185 | 40.247 % |
714.56/714.71	|   1421984 |    2639    62269   133485 |    53836    32146    177 | 40.247 % |
714.56/714.71	|   1427750 |    2639    62269   133485 |    59220    37912    171 | 40.247 % |
714.56/714.71	|   1436399 |    2638    62269   133485 |    65142    46560    165 | 40.250 % |
714.56/714.71	|   1449373 |    2613    62269   133485 |    71656    59532    159 | 40.327 % |
714.56/714.71	|   1468834 |    2613    62269   133485 |    78822    78993    157 | 40.327 % |
714.56/714.71	|   1498026 |    2601    62269   133485 |    86704    38250    141 | 40.364 % |
714.56/714.71	|   1541815 |    2533    62269   133485 |    95374    82034    144 | 40.573 % |
714.56/714.71	|   1607499 |    2497    62269   133485 |   104912    64947    140 | 40.683 % |
714.56/714.71	|   1706025 |    2478    62269   133485 |   115403    71181    144 | 40.742 % |
714.56/714.71	|   1853814 |    2424    62269   133485 |   126943   117314    145 | 40.908 % |
714.56/714.71	|   2075497 |    2371    62269   133485 |   139638   106087    139 | 41.071 % |
714.56/714.71	|   2408022 |    2191    62269   133485 |   153602    41181    174 | 41.625 % |
714.56/714.71	===============================================================================
714.56/714.71	c Found solution: -43
714.56/714.72	c ---[   0]---> Sorter-cost:    0     Base:
1800.08/1800.40	|  Eliminated clauses:           0.54 Mb                                      |
1800.08/1800.40	============================[ Search Statistics ]==============================
1800.08/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.08/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.08/1800.40	===============================================================================
1800.08/1800.40	|   2420001 |    2127    61063   128744 |    22389    18487    204 | 42.417 % |
1800.08/1800.40	|   2420151 |    2127    61063   128744 |    24628    18637    203 | 42.417 % |
1800.08/1800.40	|   2420376 |    2127    61063   128744 |    27091    18862    202 | 42.417 % |
1800.08/1800.40	|   2420713 |    2127    61063   128744 |    29800    19199    199 | 42.417 % |
1800.08/1800.40	|   2421219 |    2127    61063   128744 |    32780    19705    196 | 42.417 % |
1800.08/1800.40	|   2421978 |    2127    61063   128744 |    36058    20464    192 | 42.417 % |
1800.08/1800.40	|   2423117 |    2127    61063   128744 |    39664    21603    188 | 42.417 % |
1800.08/1800.40	|   2424825 |    2127    61063   128744 |    43631    23311    181 | 42.417 % |
1800.08/1800.40	|   2427387 |    2127    61063   128744 |    47994    25873    173 | 42.417 % |
1800.08/1800.40	|   2431231 |    2127    61063   128744 |    52793    29717    166 | 42.417 % |
1800.08/1800.40	|   2436997 |    2127    61063   128744 |    58073    35483    160 | 42.417 % |
1800.08/1800.40	|   2445646 |    2127    61063   128744 |    63880    44132    151 | 42.417 % |
1800.08/1800.40	|   2458620 |    2127    61063   128744 |    70268    57106    146 | 42.417 % |
1800.08/1800.40	|   2478081 |    2127    61063   128744 |    77295    76567    140 | 42.417 % |
1800.08/1800.40	|   2507273 |    2116    61063   128744 |    85025    36594    133 | 42.450 % |
1800.08/1800.40	|   2551062 |    2107    61063   128744 |    93527    80373    134 | 42.477 % |
1800.08/1800.40	|   2616746 |    2081    61063   128744 |   102880    64029    128 | 42.556 % |
1800.08/1800.40	|   2715272 |    2075    61063   128744 |   113168    71917    130 | 42.574 % |
1800.08/1800.40	|   2863061 |    1998    61063   128744 |   124485   118170    120 | 42.807 % |
1800.08/1800.40	|   3084744 |    1972    61063   128744 |   136933   108816    132 | 42.885 % |
1800.08/1800.40	|   3417269 |    1959    61063   128744 |   150627    55075    159 | 42.925 % |
1800.08/1800.40	|   3916057 |    1909    61063   128744 |   165689   135770    118 | 43.076 % |
1800.08/1800.40	|   4664239 |    1867    61063   128744 |   182258   118042    114 | 43.203 % |
1800.08/1800.40	|   5786513 |    1821    61063   128744 |   200484    37363    123 | 43.342 % |
1800.08/1800.40	c 
1800.08/1800.40	c *** TERMINATED ***
1800.08/1800.40	s SATISFIABLE
1800.08/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	-43

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-4114777-1466540706/watcher-4114777-1466540706 -o /tmp/evaluation-result-4114777-1466540706/solver-4114777-1466540706 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466515278-7444 --watchdog 1960 minisatp HOME/instance-4114777-1466540706.opb 

pid=11794
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.02 2.09 2.08 3/176 11797
/proc/meminfo: memFree=31170000/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=6632 CPUtime=0 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 385 0 0 0 0 0 0 0 20 0 1 0 56120726 6791168 261 33554432000 4194304 5646918 140734797356544 140734991371640 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 1658 261 94 355 0 1299 0

[startup+0.10021 s]
/proc/loadavg: 2.02 2.09 2.08 3/176 11797
/proc/meminfo: memFree=31170000/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=12356 CPUtime=0.09 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 1810 0 0 0 9 0 0 0 20 0 1 0 56120726 12652544 1686 33554432000 4194304 5646918 140734797356544 140734991371640 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 3089 1686 94 355 0 2730 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12356

[startup+0.200307 s]
/proc/loadavg: 2.02 2.09 2.08 3/176 11797
/proc/meminfo: memFree=31170000/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=18540 CPUtime=0.19 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 3333 0 0 0 19 0 0 0 20 0 1 0 56120726 18984960 3209 33554432000 4194304 5646918 140734797356544 140734991371640 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 4635 3210 94 355 0 4276 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18540

[startup+0.30033 s]
/proc/loadavg: 2.02 2.09 2.08 3/176 11797
/proc/meminfo: memFree=31170000/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=24740 CPUtime=0.29 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 4866 0 0 0 29 0 0 0 20 0 1 0 56120726 25333760 4742 33554432000 4194304 5646918 140734797356544 140734991371640 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 6185 4742 94 355 0 5826 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24740

[startup+0.700237 s]
/proc/loadavg: 2.02 2.09 2.08 3/176 11797
/proc/meminfo: memFree=31170000/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=51500 CPUtime=0.69 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 12287 0 0 0 66 3 0 0 20 0 1 0 56120726 52736000 11727 33554432000 4194304 5646918 140734797356544 140734797355800 4438024 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 12875 11727 134 355 0 12516 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51500

[startup+1.50024 s]
/proc/loadavg: 2.02 2.09 2.08 3/177 11798
/proc/meminfo: memFree=31120896/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=52120 CPUtime=1.49 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 13472 0 0 0 146 3 0 0 20 0 1 0 56120726 53370880 12384 33554432000 4194304 5646918 140734797356544 140734797355304 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 13030 12384 155 355 0 12671 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52120

[startup+3.10024 s]
/proc/loadavg: 2.02 2.09 2.08 3/177 11798
/proc/meminfo: memFree=31118792/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=56516 CPUtime=3.09 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 14488 0 0 0 305 4 0 0 20 0 1 0 56120726 57872384 13384 33554432000 4194304 5646918 140734797356544 140734797354824 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 14129 13384 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.02 2.09 2.08 3/177 11798
/proc/meminfo: memFree=31105980/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=68116 CPUtime=6.29 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 15509 0 0 0 625 4 0 0 20 0 1 0 56120726 69750784 15932 33554432000 4194304 5646918 140734797356544 140734797355240 4397494 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 17029 15932 155 355 0 16670 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68116

[startup+12.7002 s]
/proc/loadavg: 2.02 2.09 2.08 3/177 11798
/proc/meminfo: memFree=31106876/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=68116 CPUtime=12.69 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 16779 0 0 0 1264 5 0 0 20 0 1 0 56120726 69750784 15139 33554432000 4194304 5646918 140734797356544 140734797355256 4402829 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 17029 15139 156 355 0 16670 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68116

[startup+25.5004 s]
/proc/loadavg: 2.16 2.12 2.09 3/177 11798
/proc/meminfo: memFree=31088572/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=79792 CPUtime=25.48 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 18449 0 0 0 2542 6 0 0 20 0 1 0 56120726 81707008 18646 33554432000 4194304 5646918 140734797356544 140734797355240 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 19948 18646 156 355 0 19589 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 79792

[startup+51.1004 s]
/proc/loadavg: 2.10 2.11 2.09 3/177 11798
/proc/meminfo: memFree=31069748/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=98760 CPUtime=51.08 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 20829 0 0 0 5100 8 0 0 20 0 1 0 56120726 101130240 21312 33554432000 4194304 5646918 140734797356544 140734797355240 4403416 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 24690 21312 156 355 0 24331 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 98760

[startup+102.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/177 11799
/proc/meminfo: memFree=31070124/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=68116 CPUtime=102.28 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 25018 0 0 0 10215 13 0 0 20 0 1 0 56120726 69750784 15699 33554432000 4194304 5646918 140734797356544 140734797355240 4402863 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 17029 15699 156 355 0 16670 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 68116

[startup+162.3 s]
/proc/loadavg: 2.03 2.08 2.08 3/177 11800
/proc/meminfo: memFree=31141212/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=80192 CPUtime=162.27 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 31912 0 0 0 16209 18 0 0 20 0 1 0 56120726 82116608 18555 33554432000 4194304 5646918 140734797356544 140734797355240 4403427 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 20048 18555 156 355 0 19689 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 80192

[startup+222.307 s]
/proc/loadavg: 2.01 2.06 2.08 3/177 11802
/proc/meminfo: memFree=31071364/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=182400 CPUtime=222.27 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 36101 0 0 0 22205 22 0 0 20 0 1 0 56120726 186777600 32900 33554432000 4194304 5646918 140734797356544 140734797355240 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 45600 32900 156 355 0 45241 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 182400

[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/177 11859
/proc/meminfo: memFree=31278476/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=133932 CPUtime=282.25 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 41683 0 0 0 28197 28 0 0 20 0 1 0 56120726 137146368 27698 33554432000 4194304 5646918 140734797356544 140734797355240 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 33483 27698 156 355 0 33124 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 133932

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/178 11863
/proc/meminfo: memFree=31255592/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=185952 CPUtime=342.22 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 45575 0 0 0 34192 30 0 0 20 0 1 0 56120726 190414848 36247 33554432000 4194304 5646918 140734797356544 140734797354680 4403167 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 46488 36247 156 355 0 46129 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 185952

[startup+402.3 s]
/proc/loadavg: 2.04 2.04 2.06 3/177 11864
/proc/meminfo: memFree=31271212/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=87912 CPUtime=402.21 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 50037 0 0 0 40186 35 0 0 20 0 1 0 56120726 90021888 19353 33554432000 4194304 5646918 140734797356544 140734797355240 4397622 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 21978 19353 156 355 0 21619 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 87912

[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.06 3/177 11865
/proc/meminfo: memFree=31250352/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=107360 CPUtime=462.2 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 55470 0 0 0 46181 39 0 0 20 0 1 0 56120726 109936640 24605 33554432000 4194304 5646918 140734797356544 140734797355240 4403167 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 26840 24605 156 355 0 26481 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 107360

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/177 11867
/proc/meminfo: memFree=31132564/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=138760 CPUtime=522.19 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 61409 0 0 0 52176 43 0 0 20 0 1 0 56120726 142090240 30441 33554432000 4194304 5646918 140734797356544 140734797354680 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 34690 30441 156 355 0 34331 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 138760

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/177 11868
/proc/meminfo: memFree=31138004/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=139544 CPUtime=582.18 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 66808 0 0 0 58171 47 0 0 20 0 1 0 56120726 142893056 30112 33554432000 4194304 5646918 140734797356544 140734797355240 4403478 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 34886 30112 156 355 0 34527 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 139544


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


[startup+882.307 s]
/proc/loadavg: 2.05 2.04 2.04 3/177 11874
/proc/meminfo: memFree=31203992/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=142996 CPUtime=882.14 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 96885 0 0 0 88148 66 0 0 20 0 1 0 56120726 146427904 30188 33554432000 4194304 5646918 140734797356544 140734797354680 4403124 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 35749 30188 156 355 0 35390 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 142996

[startup+942.3 s]
/proc/loadavg: 2.02 2.03 2.04 3/178 11878
/proc/meminfo: memFree=31212336/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=112864 CPUtime=942.12 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 101661 0 0 0 94143 69 0 0 20 0 1 0 56120726 115572736 24536 33554432000 4194304 5646918 140734797356544 140734797355240 4403040 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 28216 24536 156 355 0 27857 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 112864

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/177 11879
/proc/meminfo: memFree=31170588/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=194396 CPUtime=1002.11 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 105513 0 0 0 100138 73 0 0 20 0 1 0 56120726 199061504 36506 33554432000 4194304 5646918 140734797356544 140734797355240 4402821 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 48599 36506 156 355 0 48240 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 194396

[startup+1062.3 s]
/proc/loadavg: 2.11 2.05 2.04 3/177 11880
/proc/meminfo: memFree=31276032/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=114068 CPUtime=1062.1 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 110081 0 0 0 106134 76 0 0 20 0 1 0 56120726 116805632 27363 33554432000 4194304 5646918 140734797356544 140734797355240 4402821 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 28517 27363 156 355 0 28158 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 114068

[startup+1122.3 s]
/proc/loadavg: 2.12 2.05 2.04 3/176 11881
/proc/meminfo: memFree=31106712/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=145828 CPUtime=1122.09 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 113486 0 0 0 112130 79 0 0 20 0 1 0 56120726 149327872 32753 33554432000 4194304 5646918 140734797356544 140734797354680 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 36457 32753 156 355 0 36098 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 145828

[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 2.03 3/177 11883
/proc/meminfo: memFree=31197888/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=85532 CPUtime=1182.09 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 117703 0 0 0 118126 83 0 0 20 0 1 0 56120726 87584768 19479 33554432000 4194304 5646918 140734797356544 140734797355256 4403138 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 21383 19479 156 355 0 21024 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 85532

[startup+1242.3 s]
/proc/loadavg: 2.05 2.04 2.03 3/177 11884
/proc/meminfo: memFree=31232260/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=116352 CPUtime=1242.07 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 121344 0 0 0 124122 85 0 0 20 0 1 0 56120726 119144448 28358 33554432000 4194304 5646918 140734797356544 140734797354680 4403408 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 29088 28358 156 355 0 28729 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 116352

[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.02 4/177 11885
/proc/meminfo: memFree=31164820/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=147780 CPUtime=1302.07 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 124789 0 0 0 130119 88 0 0 20 0 1 0 56120726 151326720 32992 33554432000 4194304 5646918 140734797356544 140734797354680 4402863 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 36945 32992 156 355 0 36586 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 147780

[startup+1362.3 s]
/proc/loadavg: 2.13 2.06 2.03 3/177 11886
/proc/meminfo: memFree=31200660/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=89412 CPUtime=1362.05 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 130249 0 0 0 136114 91 0 0 20 0 1 0 56120726 91557888 20711 33554432000 4194304 5646918 140734797356544 140734797355256 4402784 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 22353 20711 156 355 0 21994 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 89412

[startup+1422.3 s]
/proc/loadavg: 2.05 2.04 2.02 3/177 11887
/proc/meminfo: memFree=31150736/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=122108 CPUtime=1422.05 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 134639 0 0 0 142110 95 0 0 20 0 1 0 56120726 125038592 28090 33554432000 4194304 5646918 140734797356544 140734797355240 4403454 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 30527 28090 156 355 0 30168 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 122108

[startup+1482.3 s]
/proc/loadavg: 2.09 2.05 2.02 3/177 11889
/proc/meminfo: memFree=31157876/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=153348 CPUtime=1482.03 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 138375 0 0 0 148105 98 0 0 20 0 1 0 56120726 157028352 31444 33554432000 4194304 5646918 140734797356544 140734797355240 4398798 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 38337 31444 156 355 0 37978 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 153348

[startup+1542.31 s]
/proc/loadavg: 2.03 2.04 2.02 3/178 11893
/proc/meminfo: memFree=31244020/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=154284 CPUtime=1542.04 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 141541 0 0 0 154103 101 0 0 20 0 1 0 56120726 157986816 33009 33554432000 4194304 5646918 140734797356544 140734797354680 4403372 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 38571 33009 156 355 0 38212 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 154284

[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.02 3/177 11894
/proc/meminfo: memFree=31161972/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=154708 CPUtime=1602.02 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 144219 0 0 0 160099 103 0 0 20 0 1 0 56120726 158420992 35823 33554432000 4194304 5646918 140734797356544 140734797355240 4402963 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 38677 35823 156 355 0 38318 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 154708

[startup+1662.3 s]
/proc/loadavg: 2.13 2.06 2.02 3/177 11895
/proc/meminfo: memFree=31132316/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=204964 CPUtime=1662.01 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 147420 0 0 0 166096 105 0 0 20 0 1 0 56120726 209883136 38958 33554432000 4194304 5646918 140734797356544 140734797355240 4402661 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 51241 38958 156 355 0 50882 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 204964

[startup+1722.3 s]
/proc/loadavg: 2.08 2.06 2.02 3/177 11896
/proc/meminfo: memFree=31157336/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=124940 CPUtime=1721.99 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 152920 0 0 0 172092 107 0 0 20 0 1 0 56120726 127938560 26640 33554432000 4194304 5646918 140734797356544 140734797355240 4402751 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 31235 26640 156 355 0 30876 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 124940

[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.02 3/177 11898
/proc/meminfo: memFree=31157812/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=125076 CPUtime=1781.99 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 155835 0 0 0 178088 111 0 0 20 0 1 0 56120726 128077824 29396 33554432000 4194304 5646918 140734797356544 140734797355240 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 31269 29396 156 355 0 30910 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 125076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.05 2.01 3/177 11898
/proc/meminfo: memFree=31102580/32872528 swapFree=527360/560064
[pid=11797] ppid=11794 vsize=156048 CPUtime=1800.08 cores=0,2,4,6
/proc/11797/stat : 11797 (minisatp) R 11794 11797 7428 0 -1 4202496 156435 0 0 0 179897 111 0 0 20 0 1 0 56120726 159793152 35616 33554432000 4194304 5646918 140734797356544 140734797354680 4403408 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/11797/statm: 39012 35616 156 355 0 38653 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 156048

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 11797 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.1
CPU user time (s): 1798.98
CPU system time (s): 1.12183
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 205984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.12183
maximum resident set size= 179956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156435
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= 46
involuntary context switches= 1978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77912 second user time and 6.65099 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-21 22:25:06
IDJOB=4114777
IDBENCH=2253
IDSOLVER=2555
FILE ID=node106/4114777-1466540706
RUNJOBID= node106-1466515278-7444
PBS_JOBID= 19942889
Free space on /tmp= 71696 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-4.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4114777-1466540706/watcher-4114777-1466540706 -o /tmp/evaluation-result-4114777-1466540706/solver-4114777-1466540706 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466515278-7444 --watchdog 1960  minisatp HOME/instance-4114777-1466540706.opb

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

MD5SUM BENCH= e1b2be59a127acc8d929395698929541
RANDOM SEED=2072803278

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31170188 kB
Buffers:           21428 kB
Cached:            79540 kB
SwapCached:         2536 kB
Active:           344108 kB
Inactive:          74264 kB
Active(anon):     316472 kB
Inactive(anon):     3776 kB
Active(file):      27636 kB
Inactive(file):    70488 kB
Unevictable:      560064 kB
Mlocked:          527360 kB
SwapTotal:      67108856 kB
SwapFree:       67097112 kB
Dirty:              5048 kB
Writeback:             0 kB
AnonPages:        893188 kB
Mapped:             9468 kB
Shmem:                 0 kB
Slab:             576504 kB
SReclaimable:      20492 kB
SUnreclaim:       556012 kB
KernelStack:        1416 kB
PageTables:         5868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1018680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    346112 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-4114777-1466540706.opb

Free space on /tmp at the end= 71692 MiB
End job on node106 at 2016-06-21 22:55:07