Trace number 4112138

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

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-opm2-z12-s14.opb
MD5SUMf1849946ff16a8dbd3f6ed4bfe3f33be
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38774
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10800
Total number of constraints319508
Number of constraints which are clauses319500
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 constraint10798
Number of terms in the objective function 10733
Biggest coefficient in the objective function 575
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 1508059
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 3704832
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 26039669
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...
3.49/3.57	c Converting 319508 PB-constraints to clauses...
3.49/3.59	c   -- Unit propagations: (none)
3.49/3.59	c   -- Detecting intervals from adjacent constraints: (none)
3.49/3.60	c   -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
3.79/3.89	c ---[319507]---> Adder-cost: 104794   maxlim: 18362847   bits: 25/25
119.47/119.55	c ---[319506]---> Adder-cost: 105504   maxlim: 18318152   bits: 25/25
237.05/237.16	c ---[319505]---> Adder-cost: 105330   maxlim: 18402181   bits: 25/25
353.53/353.68	c ---[319504]---> Adder-cost: 105806   maxlim: 18246233   bits: 25/25
467.01/467.10	c ---[319503]---> Adder-cost: 104944   maxlim: 18578340   bits: 25/25
582.09/582.26	c ---[319502]---> Adder-cost: 105936   maxlim: 18630004   bits: 25/25
698.48/698.61	c ---[319501]---> Adder-cost: 104750   maxlim: 18233116   bits: 25/25
813.66/813.85	c ---[319500]---> Adder-cost: 105160   maxlim: 18324406   bits: 25/25
1800.04/1800.40	|  Eliminated clauses:           0.01 Mb                                      |
1800.04/1800.40	============================[ Search Statistics ]==============================
1800.04/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.04/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.04/1800.40	===============================================================================
1800.04/1800.40	|       100 |  852878  6207922 21661954 |  2276238      100      3 |  0.014 % |
1800.04/1800.40	|       250 |  852878  6207922 21661954 |  2503861      250      5 |  0.014 % |
1800.04/1800.40	|       475 |  852878  6207922 21661954 |  2754248      475      6 |  0.014 % |
1800.04/1800.40	|       812 |  852878  6207922 21661954 |  3029672      812      6 |  0.014 % |
1800.04/1800.40	|      1318 |  852878  6207922 21661954 |  3332640     1318      7 |  0.014 % |
1800.04/1800.40	|      2077 |  852878  6207922 21661954 |  3665904     2077      8 |  0.014 % |
1800.04/1800.40	|      3216 |  852878  6207922 21661954 |  4032494     3216     12 |  0.014 % |
1800.04/1800.40	|      4924 |  852878  6207922 21661954 |  4435744     4924     14 |  0.014 % |
1800.04/1800.40	|      7486 |  852878  6207922 21661954 |  4879318     7486     17 |  0.014 % |
1800.04/1800.40	|     11330 |  852878  6207922 21661954 |  5367250    11330     21 |  0.014 % |
1800.04/1800.40	|     17096 |  852878  6207922 21661954 |  5903975    17096     36 |  0.014 % |
1800.04/1800.40	|     25745 |  852878  6207922 21661954 |  6494372    25745     43 |  0.014 % |
1800.04/1800.40	|     38719 |  852878  6207922 21661954 |  7143810    38719     66 |  0.014 % |
1800.04/1800.40	|     58180 |  852878  6207922 21661954 |  7858191    58180     61 |  0.014 % |
1800.04/1800.40	|     87372 |  852878  6207922 21661954 |  8644010    87372     71 |  0.014 % |
1800.04/1800.40	c 
1800.04/1800.40	c *** TERMINATED ***
1800.04/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-4112138-1466599973/watcher-4112138-1466599973 -o /tmp/evaluation-result-4112138-1466599973/solver-4112138-1466599973 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466586399-27095 --watchdog 1960 minisatp HOME/instance-4112138-1466599973.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.17 2.22 2.18 3/178 28996
/proc/meminfo: memFree=30205040/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=8016 CPUtime=0 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 658 0 0 0 0 0 0 0 20 0 1 0 62043729 8208384 534 33554432000 4194304 5646918 140737253612464 140735682538104 4248842 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 2004 534 84 355 0 1645 0

[startup+0.100168 s]
/proc/loadavg: 2.17 2.22 2.18 3/178 28996
/proc/meminfo: memFree=30205040/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=12908 CPUtime=0.09 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 2586 0 0 0 9 0 0 0 20 0 1 0 62043729 13217792 1753 33554432000 4194304 5646918 140737253612464 140735682538104 4953072 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 3227 1753 94 355 0 2868 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12908

[startup+0.200344 s]
/proc/loadavg: 2.17 2.22 2.18 3/178 28996
/proc/meminfo: memFree=30205040/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=19088 CPUtime=0.19 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 4871 0 0 0 19 0 0 0 20 0 1 0 62043729 19546112 3043 33554432000 4194304 5646918 140737253612464 140735682538104 4823315 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 4772 3043 94 355 0 4413 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19088

[startup+0.300322 s]
/proc/loadavg: 2.17 2.22 2.18 3/178 28996
/proc/meminfo: memFree=30205040/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=20776 CPUtime=0.29 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 6067 0 0 0 29 0 0 0 20 0 1 0 62043729 21274624 3244 33554432000 4194304 5646918 140737253612464 140735682538104 4832065 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 5194 3244 94 355 0 4835 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20776

[startup+0.700265 s]
/proc/loadavg: 2.17 2.22 2.18 3/178 28996
/proc/meminfo: memFree=30205040/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=28288 CPUtime=0.69 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 11829 0 0 0 68 1 0 0 20 0 1 0 62043729 28966912 4031 33554432000 4194304 5646918 140737253612464 140737253611720 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 7072 4031 94 355 0 6713 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28288

[startup+1.50028 s]
/proc/loadavg: 2.17 2.22 2.18 3/179 28997
/proc/meminfo: memFree=30164708/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=77912 CPUtime=1.49 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 24145 0 0 0 146 3 0 0 20 0 1 0 62043729 79781888 16347 33554432000 4194304 5646918 140737253612464 140737253610504 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 19478 16348 94 355 0 19119 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77912

[startup+3.10025 s]
/proc/loadavg: 2.23 2.24 2.18 3/179 28997
/proc/meminfo: memFree=30095904/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=176760 CPUtime=3.09 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 48860 0 0 0 302 7 0 0 20 0 1 0 62043729 181002240 41062 33554432000 4194304 5646918 140737253612464 140737253611896 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 44190 41062 94 355 0 43831 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 176760

[startup+6.30023 s]
/proc/loadavg: 2.23 2.24 2.18 3/179 28997
/proc/meminfo: memFree=29937704/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=271216 CPUtime=6.29 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 74307 0 0 0 608 21 0 0 20 0 1 0 62043729 277725184 64949 33554432000 4194304 5646918 140737253612464 140737253611224 4309438 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 67804 64949 119 355 0 67445 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 271216

[startup+12.7002 s]
/proc/loadavg: 2.27 2.24 2.19 4/179 28997
/proc/meminfo: memFree=29933636/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=271216 CPUtime=12.69 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 74307 0 0 0 1248 21 0 0 20 0 1 0 62043729 277725184 64949 33554432000 4194304 5646918 140737253612464 140737253611224 4461031 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 67804 64949 119 355 0 67445 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 271216

[startup+25.5003 s]
/proc/loadavg: 2.30 2.25 2.19 4/179 28997
/proc/meminfo: memFree=29933072/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=271216 CPUtime=25.49 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 74307 0 0 0 2528 21 0 0 20 0 1 0 62043729 277725184 64949 33554432000 4194304 5646918 140737253612464 140737253611224 4817528 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 67804 64949 119 355 0 67445 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 271216

[startup+51.1003 s]
/proc/loadavg: 2.34 2.26 2.19 3/179 28997
/proc/meminfo: memFree=29928048/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=271216 CPUtime=51.08 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 74307 0 0 0 5087 21 0 0 20 0 1 0 62043729 277725184 64949 33554432000 4194304 5646918 140737253612464 140737253611224 4310949 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 67804 64949 119 355 0 67445 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 271216

[startup+102.3 s]
/proc/loadavg: 2.22 2.25 2.19 3/179 28998
/proc/meminfo: memFree=29927488/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=271216 CPUtime=102.28 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 74307 0 0 0 10207 21 0 0 20 0 1 0 62043729 277725184 64984 33554432000 4194304 5646918 140737253612464 140737253611224 4823346 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 67804 64984 119 355 0 67445 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 271216

[startup+162.3 s]
/proc/loadavg: 2.18 2.23 2.18 4/179 28999
/proc/meminfo: memFree=29830724/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=374404 CPUtime=162.27 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 87418 0 0 0 16202 25 0 0 20 0 1 0 62043729 383389696 89308 33554432000 4194304 5646918 140737253612464 140737252866088 4461012 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 93601 89308 153 355 0 93242 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 374404

[startup+222.307 s]
/proc/loadavg: 2.22 2.23 2.18 4/179 29000
/proc/meminfo: memFree=29830736/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=374404 CPUtime=222.26 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 87427 0 0 0 22201 25 0 0 20 0 1 0 62043729 383389696 89325 33554432000 4194304 5646918 140737253612464 140737252866088 4460915 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 93601 89325 153 355 0 93242 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 374404

[startup+282.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/178 29001
/proc/meminfo: memFree=29823924/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=376624 CPUtime=282.24 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 87976 0 0 0 28199 25 0 0 20 0 1 0 62043729 385662976 90875 33554432000 4194304 5646918 140737253612464 140737250263288 4819040 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 94156 90875 153 355 0 93797 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 376624

[startup+342.3 s]
/proc/loadavg: 2.29 2.23 2.19 4/179 29003
/proc/meminfo: memFree=29824184/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=376624 CPUtime=342.23 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 87976 0 0 0 34198 25 0 0 20 0 1 0 62043729 385662976 90875 33554432000 4194304 5646918 140737253612464 140737250263288 4565089 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 94156 90875 153 355 0 93797 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 376624

[startup+402.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/179 29004
/proc/meminfo: memFree=29818964/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=379812 CPUtime=402.22 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 88263 0 0 0 40197 25 0 0 20 0 1 0 62043729 388927488 92184 33554432000 4194304 5646918 140737253612464 140737249347288 4464060 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 94953 92184 153 355 0 94594 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 379812

[startup+462.3 s]
/proc/loadavg: 2.31 2.25 2.19 4/180 29008
/proc/meminfo: memFree=29819160/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=379812 CPUtime=462.21 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 88263 0 0 0 46196 25 0 0 20 0 1 0 62043729 388927488 92184 33554432000 4194304 5646918 140737253612464 140737249347288 4309296 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 94953 92184 153 355 0 94594 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 379812

[startup+522.3 s]
/proc/loadavg: 2.25 2.25 2.19 4/180 29088
/proc/meminfo: memFree=29833296/32872528 swapFree=1482640/1662512
[pid=28996] ppid=28993 vsize=381776 CPUtime=522.2 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 88754 0 0 0 52195 25 0 0 20 0 1 0 62043729 390938624 92675 33554432000 4194304 5646918 140737253612464 140737250266488 4824627 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 95444 92675 153 355 0 95085 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 381776

[startup+582.3 s]
/proc/loadavg: 2.31 2.27 2.20 3/179 29089
/proc/meminfo: memFree=29536056/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=381776 CPUtime=582.19 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 88755 0 0 0 58194 25 0 0 20 0 1 0 62043729 390938624 93187 33554432000 4194304 5646918 140737253612464 140737250266488 4459304 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 95444 93187 153 355 0 95085 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 381776


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


[startup+882.307 s]
/proc/loadavg: 2.25 2.23 2.18 4/179 29095
/proc/meminfo: memFree=29498884/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=389236 CPUtime=882.16 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 90621 0 0 0 88190 26 0 0 20 0 1 0 62043729 398577664 95564 33554432000 4194304 5646918 140737253612464 140737249503688 4831232 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 97309 95564 153 355 0 96950 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 389236

[startup+942.3 s]
/proc/loadavg: 2.32 2.25 2.19 3/179 29097
/proc/meminfo: memFree=29055816/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=913964 CPUtime=942.14 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 135998 0 0 0 94174 40 0 0 20 0 1 0 62043729 935899136 202643 33554432000 4194304 5646918 140737253612464 140737253610600 4403196 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 228491 202643 182 355 0 228132 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 913964

[startup+1002.3 s]
/proc/loadavg: 2.24 2.24 2.19 4/179 29098
/proc/meminfo: memFree=28996120/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=963464 CPUtime=1002.13 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 148382 0 0 0 100168 45 0 0 20 0 1 0 62043729 986587136 215027 33554432000 4194304 5646918 140737253612464 140737253610600 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 240866 215027 183 355 0 240507 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 963464

[startup+1062.3 s]
/proc/loadavg: 2.32 2.26 2.19 3/180 29102
/proc/meminfo: memFree=28986276/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=971284 CPUtime=1062.12 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 150326 0 0 0 106165 47 0 0 20 0 1 0 62043729 994594816 217482 33554432000 4194304 5646918 140737253612464 140737253610600 4402684 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 242821 217482 183 355 0 242462 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 971284

[startup+1122.3 s]
/proc/loadavg: 2.27 2.26 2.19 3/178 29103
/proc/meminfo: memFree=28976800/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=973924 CPUtime=1122.11 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 150967 0 0 0 112164 47 0 0 20 0 1 0 62043729 997298176 218634 33554432000 4194304 5646918 140737253612464 140737253610600 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 243481 218634 183 355 0 243122 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 973924

[startup+1182.3 s]
/proc/loadavg: 2.31 2.27 2.20 3/178 29104
/proc/meminfo: memFree=28967044/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=976604 CPUtime=1182.1 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 151646 0 0 0 118162 48 0 0 20 0 1 0 62043729 1000042496 219824 33554432000 4194304 5646918 140737253612464 140737253610600 4402788 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 244151 219824 183 355 0 243792 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 976604

[startup+1242.3 s]
/proc/loadavg: 2.29 2.26 2.19 4/179 29107
/proc/meminfo: memFree=28958360/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=978060 CPUtime=1242.09 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 152025 0 0 0 124161 48 0 0 20 0 1 0 62043729 1001533440 220714 33554432000 4194304 5646918 140737253612464 140737253610600 4397622 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 244515 220714 183 355 0 244156 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 978060

[startup+1302.3 s]
/proc/loadavg: 2.50 2.32 2.21 3/179 29108
/proc/meminfo: memFree=28930252/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=979448 CPUtime=1302.08 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 152379 0 0 0 130160 48 0 0 20 0 1 0 62043729 1002954752 222090 33554432000 4194304 5646918 140737253612464 140737253610600 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 244862 222090 183 355 0 244503 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 979448

[startup+1362.3 s]
/proc/loadavg: 2.24 2.28 2.20 3/179 29109
/proc/meminfo: memFree=28921192/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=980944 CPUtime=1362.07 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 152726 0 0 0 136159 48 0 0 20 0 1 0 62043729 1004486656 222948 33554432000 4194304 5646918 140737253612464 140737253610712 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 245236 222948 183 355 0 244877 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 980944

[startup+1422.3 s]
/proc/loadavg: 2.23 2.28 2.20 3/179 29110
/proc/meminfo: memFree=28916292/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=982020 CPUtime=1422.07 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 152981 0 0 0 142158 49 0 0 20 0 1 0 62043729 1005588480 223714 33554432000 4194304 5646918 140737253612464 140737253610600 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 245505 223714 183 355 0 245146 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 982020

[startup+1482.3 s]
/proc/loadavg: 2.31 2.29 2.21 4/179 29111
/proc/meminfo: memFree=28880208/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=983208 CPUtime=1482.06 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 153313 0 0 0 148157 49 0 0 20 0 1 0 62043729 1006804992 224549 33554432000 4194304 5646918 140737253612464 140737253610600 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 245802 224549 183 355 0 245443 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 983208

[startup+1542.31 s]
/proc/loadavg: 2.25 2.28 2.21 3/179 29113
/proc/meminfo: memFree=28866488/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=984012 CPUtime=1542.04 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 153549 0 0 0 154155 49 0 0 20 0 1 0 62043729 1007628288 225595 33554432000 4194304 5646918 140737253612464 140737253610600 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 246003 225595 183 355 0 245644 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 984012

[startup+1602.3 s]
/proc/loadavg: 2.18 2.26 2.20 3/179 29114
/proc/meminfo: memFree=28855900/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=984836 CPUtime=1602 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 153737 0 0 0 160151 49 0 0 20 0 1 0 62043729 1008472064 227243 33554432000 4194304 5646918 140737253612464 140737253610712 4402901 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 246209 227243 183 355 0 245850 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 984836

[startup+1662.3 s]
/proc/loadavg: 2.26 2.27 2.20 3/180 29118
/proc/meminfo: memFree=28801232/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=986484 CPUtime=1661.97 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 154226 0 0 0 166147 50 0 0 20 0 1 0 62043729 1010159616 228738 33554432000 4194304 5646918 140737253612464 140737253610600 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 246621 228738 183 355 0 246262 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 986484

[startup+1722.3 s]
/proc/loadavg: 2.19 2.25 2.20 3/179 29119
/proc/meminfo: memFree=28787768/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=987340 CPUtime=1721.96 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 154432 0 0 0 172146 50 0 0 20 0 1 0 62043729 1011036160 229445 33554432000 4194304 5646918 140737253612464 140737253610600 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 246835 229445 183 355 0 246476 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 987340

[startup+1782.3 s]
/proc/loadavg: 2.15 2.23 2.19 3/179 29120
/proc/meminfo: memFree=28405732/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=988012 CPUtime=1781.94 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 154598 0 0 0 178144 50 0 0 20 0 1 0 62043729 1011724288 230937 33554432000 4194304 5646918 140737253612464 140737253610568 4397505 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 247003 230937 183 355 0 246644 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 988012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.18 2.23 2.19 4/179 29120
/proc/meminfo: memFree=28402960/32872528 swapFree=1482636/1662508
[pid=28996] ppid=28993 vsize=988940 CPUtime=1800.04 cores=0,2,4,6
/proc/28996/stat : 28996 (minisatp) R 28993 28996 27079 0 -1 4202496 154756 0 0 0 179954 50 0 0 20 0 1 0 62043729 1012674560 231095 33554432000 4194304 5646918 140737253612464 140737253610712 4402661 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28996/statm: 247235 231095 183 355 0 246876 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 988940

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 28996 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.06
CPU user time (s): 1799.54
CPU system time (s): 0.510922
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 988940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.510922
maximum resident set size= 924380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154756
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= 125
involuntary context switches= 1871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.56731 second user time and 7.2069 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-22 14:52:53
IDJOB=4112138
IDBENCH=89886
IDSOLVER=2555
FILE ID=node134/4112138-1466599973
RUNJOBID= node134-1466586399-27095
PBS_JOBID= 19953364
Free space on /tmp= 71684 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-opm2-z12-s14.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112138-1466599973/watcher-4112138-1466599973 -o /tmp/evaluation-result-4112138-1466599973/solver-4112138-1466599973 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466586399-27095 --watchdog 1960  minisatp HOME/instance-4112138-1466599973.opb

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

MD5SUM BENCH= f1849946ff16a8dbd3f6ed4bfe3f33be
RANDOM SEED=875910214

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30204832 kB
Buffers:           66828 kB
Cached:           124836 kB
SwapCached:         2332 kB
Active:           146736 kB
Inactive:         105856 kB
Active(anon):      60056 kB
Inactive(anon):     3256 kB
Active(file):      86680 kB
Inactive(file):   102600 kB
Unevictable:     1662508 kB
Mlocked:         1482636 kB
SwapTotal:      67108856 kB
SwapFree:       67099204 kB
Dirty:             12540 kB
Writeback:             0 kB
AnonPages:       1724640 kB
Mapped:             9408 kB
Shmem:                 0 kB
Slab:             618596 kB
SReclaimable:      62516 kB
SUnreclaim:       556080 kB
KernelStack:        1456 kB
PageTables:         7232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1853716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 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-4112138-1466599973.opb

Free space on /tmp at the end= 71660 MiB
End job on node134 at 2016-06-22 15:22:54