Trace number 4112137

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-d91742b? (TO) 1800.02 1800.4

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-opm2-z11-s8.opb
MD5SUM9014f307b4266a1d3ed4d1915c3fbd07
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-26981
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8019
Total number of constraints223082
Number of constraints which are clauses223074
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint2
Maximum length of a constraint8018
Number of terms in the objective function 7959
Biggest coefficient in the objective function 526
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 1025025
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 2853664
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 19481292
Number of bits of the biggest sum of numbers25
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...
2.49/2.52	c Converting 223082 PB-constraints to clauses...
2.49/2.53	c   -- Unit propagations: (none)
2.49/2.53	c   -- Detecting intervals from adjacent constraints: (none)
2.49/2.54	c   -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
2.69/2.75	c ---[223081]---> Adder-cost: 79534   maxlim: 13773963   bits: 24/24
90.29/90.39	c ---[223080]---> Adder-cost: 79006   maxlim: 13545095   bits: 24/24
176.26/176.30	c ---[223079]---> Adder-cost: 80016   maxlim: 13405140   bits: 24/24
260.25/260.38	c ---[223078]---> Adder-cost: 78670   maxlim: 13658622   bits: 24/24
345.14/345.28	c ---[223077]---> Adder-cost: 78564   maxlim: 13618707   bits: 24/24
430.92/431.05	c ---[223076]---> Adder-cost: 80432   maxlim: 13516658   bits: 24/24
517.01/517.17	c ---[223075]---> Adder-cost: 79854   maxlim: 13509956   bits: 24/24
602.09/602.25	c ---[223074]---> Adder-cost: 77550   maxlim: 13592783   bits: 24/24
1800.01/1800.40	|  Eliminated clauses:           0.01 Mb                                      |
1800.01/1800.40	============================[ Search Statistics ]==============================
1800.01/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.01/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.01/1800.40	===============================================================================
1800.01/1800.40	|       100 |  641488  4651419 16254263 |  1705520      100      4 |  0.021 % |
1800.01/1800.40	|       250 |  641488  4651419 16254263 |  1876072      250      4 |  0.021 % |
1800.01/1800.40	|       475 |  641488  4651419 16254263 |  2063679      475     12 |  0.021 % |
1800.01/1800.40	|       812 |  641488  4651419 16254263 |  2270047      812     11 |  0.021 % |
1800.01/1800.40	|      1318 |  641488  4651419 16254263 |  2497052     1318     10 |  0.021 % |
1800.01/1800.40	|      2077 |  641488  4651419 16254263 |  2746757     2077     10 |  0.021 % |
1800.01/1800.40	|      3216 |  641488  4651419 16254263 |  3021433     3216     14 |  0.021 % |
1800.01/1800.40	|      4924 |  641488  4651419 16254263 |  3323576     4924     19 |  0.021 % |
1800.01/1800.40	|      7486 |  641488  4651419 16254263 |  3655934     7486     21 |  0.021 % |
1800.01/1800.40	|     11330 |  641488  4651419 16254263 |  4021527    11330     27 |  0.021 % |
1800.01/1800.40	|     17096 |  641488  4651419 16254263 |  4423680    17096     32 |  0.021 % |
1800.01/1800.40	|     25745 |  641488  4651419 16254263 |  4866048    25745     37 |  0.021 % |
1800.01/1800.40	|     38719 |  641488  4651419 16254263 |  5352653    38719     46 |  0.021 % |
1800.01/1800.40	|     58180 |  641488  4651419 16254263 |  5887918    58180     59 |  0.021 % |
1800.01/1800.40	|     87372 |  641488  4651419 16254263 |  6476710    87372     70 |  0.021 % |
1800.01/1800.40	|    131161 |  641488  4651419 16254263 |  7124381   131161     72 |  0.021 % |
1800.01/1800.40	|    196845 |  641488  4651419 16254263 |  7836819   196845     80 |  0.021 % |
1800.01/1800.40	c 
1800.01/1800.40	c *** TERMINATED ***
1800.01/1800.40	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

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-4112137-1466600182/watcher-4112137-1466600182 -o /tmp/evaluation-result-4112137-1466600182/solver-4112137-1466600182 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466586446-15023 --watchdog 1960 minisatp HOME/instance-4112137-1466600182.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.31 2.24 2.23 4/176 17318
/proc/meminfo: memFree=30322064/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=8016 CPUtime=0 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 659 0 0 0 0 0 0 0 20 0 1 0 62066658 8208384 535 33554432000 4194304 5646918 140734677835296 140735590326120 4953072 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 2004 536 84 355 0 1645 0

[startup+0.100144 s]
/proc/loadavg: 2.31 2.24 2.23 4/176 17318
/proc/meminfo: memFree=30322064/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=14088 CPUtime=0.09 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 2678 0 0 0 9 0 0 0 20 0 1 0 62066658 14426112 2089 33554432000 4194304 5646918 140734677835296 140735590326120 4817450 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 3522 2089 94 355 0 3163 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14088

[startup+0.200254 s]
/proc/loadavg: 2.31 2.24 2.23 4/176 17318
/proc/meminfo: memFree=30322064/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=16596 CPUtime=0.19 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 4481 0 0 0 19 0 0 0 20 0 1 0 62066658 16994304 2388 33554432000 4194304 5646918 140734677835296 140734677833496 4293178 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 4149 2388 94 355 0 3790 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16596

[startup+0.345656 s]
/proc/loadavg: 2.31 2.24 2.23 4/176 17318
/proc/meminfo: memFree=30322064/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=17092 CPUtime=0.33 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 6374 0 0 0 33 0 0 0 20 0 1 0 62066658 17502208 2026 33554432000 4194304 5646918 140734677835296 140734677833496 4953072 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 4273 2026 94 355 0 3914 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 17092

[startup+0.700287 s]
/proc/loadavg: 2.31 2.24 2.23 4/176 17318
/proc/meminfo: memFree=30322064/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=33880 CPUtime=0.69 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 11729 0 0 0 68 1 0 0 20 0 1 0 62066658 34693120 5877 33554432000 4194304 5646918 140734677835296 140734677833496 4251039 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 8470 5877 94 355 0 8111 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33880

[startup+1.50025 s]
/proc/loadavg: 2.31 2.24 2.23 3/177 17319
/proc/meminfo: memFree=30274316/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=83232 CPUtime=1.49 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 24026 0 0 0 145 4 0 0 20 0 1 0 62066658 85229568 18174 33554432000 4194304 5646918 140734677835296 140734677834760 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 20808 18175 94 355 0 20449 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83232

[startup+3.10031 s]
/proc/loadavg: 2.31 2.24 2.23 3/177 17319
/proc/meminfo: memFree=30206136/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=187888 CPUtime=3.08 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 51462 0 0 0 294 14 0 0 20 0 1 0 62066658 192397312 44968 33554432000 4194304 5646918 140734677835296 140734677834664 4831331 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 46972 44968 116 355 0 46613 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 187888

[startup+6.30023 s]
/proc/loadavg: 2.28 2.24 2.23 3/177 17319
/proc/meminfo: memFree=30134416/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=190680 CPUtime=6.29 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 52739 0 0 0 614 15 0 0 20 0 1 0 62066658 195256320 45586 33554432000 4194304 5646918 140734677835296 140734677834056 4817397 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 47670 45586 119 355 0 47311 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 190680

[startup+12.7002 s]
/proc/loadavg: 2.34 2.25 2.23 4/177 17319
/proc/meminfo: memFree=30132772/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=190680 CPUtime=12.69 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 52739 0 0 0 1254 15 0 0 20 0 1 0 62066658 195256320 45586 33554432000 4194304 5646918 140734677835296 140734677834056 4831266 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 47670 45586 119 355 0 47311 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 190680

[startup+25.5002 s]
/proc/loadavg: 2.26 2.24 2.23 4/177 17319
/proc/meminfo: memFree=30128720/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=190680 CPUtime=25.49 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 52739 0 0 0 2534 15 0 0 20 0 1 0 62066658 195256320 45586 33554432000 4194304 5646918 140734677835296 140734677834056 4823257 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 47670 45586 119 355 0 47311 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 190680

[startup+51.1003 s]
/proc/loadavg: 2.29 2.25 2.23 3/177 17319
/proc/meminfo: memFree=30150360/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=190680 CPUtime=51.08 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 52739 0 0 0 5093 15 0 0 20 0 1 0 62066658 195256320 45586 33554432000 4194304 5646918 140734677835296 140734677834056 4560697 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 47670 45586 119 355 0 47311 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 190680

[startup+102.3 s]
/proc/loadavg: 2.24 2.24 2.23 4/177 17320
/proc/meminfo: memFree=30062612/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=252916 CPUtime=102.28 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 63510 0 0 0 10212 16 0 0 20 0 1 0 62066658 258985984 60431 33554432000 4194304 5646918 140734677835296 140734676259320 4309871 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 63229 60431 153 355 0 62870 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 252916

[startup+162.3 s]
/proc/loadavg: 2.27 2.24 2.22 4/177 17321
/proc/meminfo: memFree=29997148/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=252916 CPUtime=162.26 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 63510 0 0 0 16210 16 0 0 20 0 1 0 62066658 258985984 60431 33554432000 4194304 5646918 140734677835296 140734676259320 4831339 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 63229 60431 153 355 0 62870 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 252916

[startup+222.307 s]
/proc/loadavg: 2.31 2.25 2.23 3/178 17326
/proc/meminfo: memFree=30019988/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=255160 CPUtime=222.26 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 64080 0 0 0 22210 16 0 0 20 0 1 0 62066658 261283840 61512 33554432000 4194304 5646918 140734677835296 140734674992120 4459920 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 63790 61512 153 355 0 63431 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 255160

[startup+282.3 s]
/proc/loadavg: 2.26 2.25 2.23 3/178 17350
/proc/meminfo: memFree=29972260/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=277832 CPUtime=282.25 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 64820 0 0 0 28208 17 0 0 20 0 1 0 62066658 284499968 67199 33554432000 4194304 5646918 140734677835296 140734675576920 4831307 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 69458 67199 153 355 0 69099 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 277832

[startup+342.3 s]
/proc/loadavg: 2.20 2.23 2.22 4/177 17351
/proc/meminfo: memFree=30016272/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=277832 CPUtime=342.24 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 64820 0 0 0 34207 17 0 0 20 0 1 0 62066658 284499968 67199 33554432000 4194304 5646918 140734677835296 140734675576920 4560633 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 69458 67199 153 355 0 69099 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 277832

[startup+402.3 s]
/proc/loadavg: 2.27 2.25 2.22 3/177 17352
/proc/meminfo: memFree=29939016/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=279548 CPUtime=402.23 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 65231 0 0 0 40206 17 0 0 20 0 1 0 62066658 286257152 67610 33554432000 4194304 5646918 140734677835296 140734674672056 4311127 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 69887 67610 153 355 0 69528 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 279548

[startup+462.3 s]
/proc/loadavg: 2.25 2.24 2.22 3/177 17353
/proc/meminfo: memFree=29889700/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=282188 CPUtime=462.22 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 66176 0 0 0 46205 17 0 0 20 0 1 0 62066658 288960512 68555 33554432000 4194304 5646918 140734677835296 140734676092920 4824670 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 70547 68555 153 355 0 70188 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 282188

[startup+522.3 s]
/proc/loadavg: 2.22 2.24 2.22 4/177 17355
/proc/meminfo: memFree=29966468/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=292868 CPUtime=522.21 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 66729 0 0 0 52204 17 0 0 20 0 1 0 62066658 299896832 69108 33554432000 4194304 5646918 140734677835296 140734675783320 4824253 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 73217 69108 153 355 0 72858 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 292868

[startup+582.3 s]
/proc/loadavg: 2.32 2.26 2.23 3/177 17356
/proc/meminfo: memFree=29899024/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=292868 CPUtime=582.2 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 66729 0 0 0 58203 17 0 0 20 0 1 0 62066658 299896832 69108 33554432000 4194304 5646918 140734677835296 140734675783320 4565280 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 73217 69108 153 355 0 72858 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 292868


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


[startup+882.307 s]
/proc/loadavg: 2.21 2.25 2.22 4/177 17365
/proc/meminfo: memFree=29456908/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=714232 CPUtime=882.1 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 124134 0 0 0 88176 34 0 0 20 0 1 0 62066658 731373568 169253 33554432000 4194304 5646918 140734677835296 140734677833336 4402764 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 178558 169253 183 355 0 178199 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 714232

[startup+942.3 s]
/proc/loadavg: 2.24 2.25 2.22 3/177 17366
/proc/meminfo: memFree=29508352/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=715308 CPUtime=942.07 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 124446 0 0 0 94172 35 0 0 20 0 1 0 62066658 732475392 171228 33554432000 4194304 5646918 140734677835296 140734677833432 4402764 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 178827 171228 183 355 0 178468 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 715308

[startup+1002.3 s]
/proc/loadavg: 2.25 2.24 2.22 3/177 17367
/proc/meminfo: memFree=29503612/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=716800 CPUtime=1002.04 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 124835 0 0 0 100169 35 0 0 20 0 1 0 62066658 734003200 172099 33554432000 4194304 5646918 140734677835296 140734677833544 4402764 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 179200 172099 183 355 0 178841 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 716800

[startup+1062.3 s]
/proc/loadavg: 2.19 2.23 2.21 4/177 17368
/proc/meminfo: memFree=29489360/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=717856 CPUtime=1062.02 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 125121 0 0 0 106167 35 0 0 20 0 1 0 62066658 735084544 173512 33554432000 4194304 5646918 140734677835296 140734677833432 4402684 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 179464 173512 183 355 0 179105 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 717856

[startup+1122.3 s]
/proc/loadavg: 2.31 2.25 2.22 3/177 17370
/proc/meminfo: memFree=29407376/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=719044 CPUtime=1122.02 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 125435 0 0 0 112166 36 0 0 20 0 1 0 62066658 736301056 174842 33554432000 4194304 5646918 140734677835296 140734677833400 4402661 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 179761 174842 183 355 0 179402 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 719044

[startup+1182.3 s]
/proc/loadavg: 2.28 2.24 2.22 4/177 17371
/proc/meminfo: memFree=29380064/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=719672 CPUtime=1182.01 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 125545 0 0 0 118165 36 0 0 20 0 1 0 62066658 736944128 175974 33554432000 4194304 5646918 140734677835296 140734677833544 4402829 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 179918 175974 183 355 0 179559 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 719672

[startup+1242.3 s]
/proc/loadavg: 2.24 2.24 2.21 4/177 17372
/proc/meminfo: memFree=29381644/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=803356 CPUtime=1241.99 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 126683 0 0 0 124163 36 0 0 20 0 1 0 62066658 822636544 178124 33554432000 4194304 5646918 140734677835296 140734677833432 4402650 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 200839 178124 183 355 0 200480 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 803356

[startup+1302.3 s]
/proc/loadavg: 2.34 2.27 2.22 4/177 17373
/proc/meminfo: memFree=29332064/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=804824 CPUtime=1301.98 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 126968 0 0 0 130162 36 0 0 20 0 1 0 62066658 824139776 179431 33554432000 4194304 5646918 140734677835296 140734677833544 4388947 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 201206 179431 183 355 0 200847 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 804824

[startup+1362.3 s]
/proc/loadavg: 2.32 2.28 2.23 3/177 17374
/proc/meminfo: memFree=29290796/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=805360 CPUtime=1361.97 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 127116 0 0 0 136161 36 0 0 20 0 1 0 62066658 824688640 180601 33554432000 4194304 5646918 140734677835296 140734677833400 4403393 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 201340 180601 183 355 0 200981 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 805360

[startup+1422.3 s]
/proc/loadavg: 2.32 2.29 2.23 4/178 17379
/proc/meminfo: memFree=29250504/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=805780 CPUtime=1421.97 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 127261 0 0 0 142161 36 0 0 20 0 1 0 62066658 825118720 182279 33554432000 4194304 5646918 140734677835296 140734677833432 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 201445 182279 183 355 0 201086 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 805780

[startup+1482.3 s]
/proc/loadavg: 2.41 2.31 2.24 3/177 17380
/proc/meminfo: memFree=29351488/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=806724 CPUtime=1481.96 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 127481 0 0 0 148159 37 0 0 20 0 1 0 62066658 826085376 183010 33554432000 4194304 5646918 140734677835296 140734677833432 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 201681 183010 183 355 0 201322 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 806724

[startup+1542.31 s]
/proc/loadavg: 2.20 2.27 2.23 3/177 17381
/proc/meminfo: memFree=29301528/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=807260 CPUtime=1541.96 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 127627 0 0 0 154159 37 0 0 20 0 1 0 62066658 826634240 184689 33554432000 4194304 5646918 140734677835296 140734677833400 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 201815 184689 183 355 0 201456 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 807260

[startup+1602.3 s]
/proc/loadavg: 2.27 2.27 2.23 4/177 17382
/proc/meminfo: memFree=29270624/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=808036 CPUtime=1601.94 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 127830 0 0 0 160157 37 0 0 20 0 1 0 62066658 827428864 185914 33554432000 4194304 5646918 140734677835296 140734677833432 4402736 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 202009 185914 183 355 0 201650 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 808036

[startup+1662.3 s]
/proc/loadavg: 2.20 2.25 2.23 3/177 17439
/proc/meminfo: memFree=29648740/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=809328 CPUtime=1661.93 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 128077 0 0 0 166155 38 0 0 20 0 1 0 62066658 828751872 187183 33554432000 4194304 5646918 140734677835296 140734677833544 4402684 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 202332 187183 183 355 0 201973 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 809328

[startup+1722.3 s]
/proc/loadavg: 2.25 2.25 2.22 3/177 17441
/proc/meminfo: memFree=29640988/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=809476 CPUtime=1721.92 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 128142 0 0 0 172154 38 0 0 20 0 1 0 62066658 828903424 188781 33554432000 4194304 5646918 140734677835296 140734677833432 4402764 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 202369 188781 183 355 0 202010 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 809476

[startup+1782.3 s]
/proc/loadavg: 2.17 2.23 2.22 4/177 17442
/proc/meminfo: memFree=29595376/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=809740 CPUtime=1781.91 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 128226 0 0 0 178153 38 0 0 20 0 1 0 62066658 829173760 190398 33554432000 4194304 5646918 140734677835296 140734677833432 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 202435 190398 183 355 0 202076 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 809740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.19 2.23 2.22 3/177 17442
/proc/meminfo: memFree=29594776/32872528 swapFree=1534436/1655032
[pid=17318] ppid=17315 vsize=809872 CPUtime=1800.01 cores=1,3,5,7
/proc/17318/stat : 17318 (minisatp) R 17315 17318 15006 0 -1 4202496 128263 0 0 0 179962 39 0 0 20 0 1 0 62066658 829308928 190435 33554432000 4194304 5646918 140734677835296 140734677833432 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/17318/statm: 202468 190435 183 355 0 202109 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 809872

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 17318 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.02
CPU user time (s): 1799.63
CPU system time (s): 0.394939
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 809872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.394939
maximum resident set size= 761740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128263
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= 173
involuntary context switches= 1846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.72728 second user time and 6.94994 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-22 14:56:22
IDJOB=4112137
IDBENCH=89893
IDSOLVER=2555
FILE ID=node122/4112137-1466600182
RUNJOBID= node122-1466586446-15023
PBS_JOBID= 19953366
Free space on /tmp= 71728 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-opm2-z11-s8.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112137-1466600182/watcher-4112137-1466600182 -o /tmp/evaluation-result-4112137-1466600182/solver-4112137-1466600182 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466586446-15023 --watchdog 1960  minisatp HOME/instance-4112137-1466600182.opb

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

MD5SUM BENCH= 9014f307b4266a1d3ed4d1915c3fbd07
RANDOM SEED=1074971612

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30323476 kB
Buffers:            2732 kB
Cached:            37872 kB
SwapCached:         1640 kB
Active:           142672 kB
Inactive:          20644 kB
Active(anon):     119908 kB
Inactive(anon):     5300 kB
Active(file):      22764 kB
Inactive(file):    15344 kB
Unevictable:     1655032 kB
Mlocked:         1534436 kB
SwapTotal:      67108856 kB
SwapFree:       67097104 kB
Dirty:             10128 kB
Writeback:             0 kB
AnonPages:       1777396 kB
Mapped:             9416 kB
Shmem:                 0 kB
Slab:             597472 kB
SReclaimable:      41048 kB
SUnreclaim:       556424 kB
KernelStack:        1440 kB
PageTables:         7668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1900104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    145408 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-4112137-1466600182.opb

Free space on /tmp at the end= 71728 MiB
End job on node122 at 2016-06-22 15:26:23