Trace number 4112019

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

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866-max.opb
MD5SUM0d68396ddd3adb481a49ce1422ebcaec
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables126251
Total number of constraints376501
Number of constraints which are clauses376500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint125500
Number of terms in the objective function 251
Biggest coefficient in the objective function 1809251394333065553493296640760748560207343510400633813116524750123642650624
Number of bits for the biggest coefficient in the objective function 251
Sum of the numbers in the objective function 3618502788666131106986593281521497120414687020801267626233049500247285301247
Number of bits of the sum of numbers in the objective function 251
Biggest number in a constraint 2961193260766427870080908753323559866441509279473679754522422863056280045864824078237301652581494289303756200212728639995902214134435299666298460531313288000496778442422580538845568248046109094286466596972878396512780851085312
Number of bits of the biggest number in a constraint 750
Biggest sum of numbers in a constraint 11844773043065711480323635013294239465766037117894719018089691452225120183456110041724762364928147817377348326880268577133927465386787427201119947336445574431204393880301774478140662910839812661887447658656553291795701871486491
Number of bits of the biggest sum of numbers751
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...
8.89/8.91	c Converting 376502 PB-constraints to clauses...
8.89/8.96	c   -- Unit propagations: (none)
126.07/126.15	c   -- Detecting intervals from adjacent constraints: #
126.07/126.19	c   -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
126.37/126.49	c ---[   0]---> Adder-cost: 185238   maxlim: 25588538197233466320732106825340355668628626852288615803980046764481810457944832050187767321529981066179947831601783577186146793468397353963644072942055   bits: 503/503
1800.09/1800.40	|  Eliminated clauses:           0.01 Mb                                      |
1800.09/1800.40	============================[ Search Statistics ]==============================
1800.09/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.09/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.09/1800.40	===============================================================================
1800.09/1800.40	|       100 |  277446  1597761  5307862 |   585845      100      3 | 11.015 % |
1800.09/1800.40	|       250 |  277446  1597761  5307862 |   644430      250     12 | 11.015 % |
1800.09/1800.40	|       475 |  277446  1597761  5307862 |   708873      475     54 | 11.015 % |
1800.09/1800.40	|       812 |  277446  1597761  5307862 |   779760      812     43 | 11.015 % |
1800.09/1800.40	|      1318 |  277446  1597761  5307862 |   857736     1318     59 | 11.015 % |
1800.09/1800.40	|      2077 |  277446  1597761  5307862 |   943510     2077     50 | 11.015 % |
1800.09/1800.40	|      3216 |  277446  1597761  5307862 |  1037861     3216     48 | 11.015 % |
1800.09/1800.40	|      4924 |  277446  1597761  5307862 |  1141647     4924     48 | 11.015 % |
1800.09/1800.40	|      7486 |  277446  1597761  5307862 |  1255812     7486     53 | 11.015 % |
1800.09/1800.40	|     11330 |  277446  1597761  5307862 |  1381393    11330     55 | 11.015 % |
1800.09/1800.40	|     17096 |  277446  1597761  5307862 |  1519532    17096     72 | 11.015 % |
1800.09/1800.40	|     25745 |  277432  1597761  5307862 |  1671486    25731     95 | 11.020 % |
1800.09/1800.40	|     38719 |  277411  1597761  5307862 |  1838634    38684     94 | 11.027 % |
1800.09/1800.40	|     58180 |  277383  1597761  5307862 |  2022498    58117     87 | 11.036 % |
1800.09/1800.40	|     87372 |  277366  1597761  5307862 |  2224748    87292     91 | 11.041 % |
1800.09/1800.40	|    131161 |  277349  1597761  5307862 |  2447222   131064     92 | 11.047 % |
1800.09/1800.40	|    196845 |  277348  1597761  5307862 |  2691945   196747     96 | 11.047 % |
1800.09/1800.40	|    295371 |  277348  1597761  5307862 |  2961139   295273    104 | 11.047 % |
1800.09/1800.40	|    443160 |  277346  1597761  5307862 |  3257253   442835    106 | 11.047 % |
1800.09/1800.40	|    664843 |  277340  1597761  5307862 |  3582979   664498    123 | 11.049 % |
1800.09/1800.40	|    997368 |  277340  1597761  5307862 |  3941276   997023    124 | 11.049 % |
1800.09/1800.40	c 
1800.09/1800.40	c *** TERMINATED ***
1800.09/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-4112019-1467021194/watcher-4112019-1467021194 -o /tmp/evaluation-result-4112019-1467021194/solver-4112019-1467021194 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467019393-25035 --watchdog 1960 -S 80 minisatp HOME/instance-4112019-1467021194.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing Stack size limit: 81920 KiB
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: 81920 KiB


[startup+0 s]
/proc/loadavg: 2.33 2.28 1.97 3/176 25235
/proc/meminfo: memFree=30061924/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=6456 CPUtime=0 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 334 0 0 0 0 0 0 0 20 0 1 0 35158857 6610944 210 33554432000 4194304 5646918 140733436425168 140736043540536 4953072 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 1614 210 94 355 0 1255 0

[startup+0.100161 s]
/proc/loadavg: 2.33 2.28 1.97 3/176 25235
/proc/meminfo: memFree=30061924/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=12308 CPUtime=0.09 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 1762 0 0 0 9 0 0 0 20 0 1 0 35158857 12603392 1638 33554432000 4194304 5646918 140733436425168 140736043540536 4251320 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 3077 1638 94 355 0 2718 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12308

[startup+0.20031 s]
/proc/loadavg: 2.33 2.28 1.97 3/176 25235
/proc/meminfo: memFree=30061924/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=18380 CPUtime=0.19 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 3272 0 0 0 19 0 0 0 20 0 1 0 35158857 18821120 3148 33554432000 4194304 5646918 140733436425168 140733436423368 4821510 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 4595 3149 94 355 0 4236 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18380

[startup+0.300313 s]
/proc/loadavg: 2.33 2.28 1.97 3/176 25235
/proc/meminfo: memFree=30061924/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=24492 CPUtime=0.29 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 4775 0 0 0 29 0 0 0 20 0 1 0 35158857 25079808 4651 33554432000 4194304 5646918 140733436425168 140733436423368 4823442 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 6123 4652 94 355 0 5764 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24492

[startup+0.700275 s]
/proc/loadavg: 2.33 2.28 1.97 3/176 25235
/proc/meminfo: memFree=30061924/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=49132 CPUtime=0.69 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 10979 0 0 0 68 1 0 0 20 0 1 0 35158857 50311168 10730 33554432000 4194304 5646918 140733436425168 140733436423368 4292240 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 12283 10731 94 355 0 11924 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49132

[startup+1.50029 s]
/proc/loadavg: 2.33 2.28 1.97 3/177 25236
/proc/meminfo: memFree=29925004/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=99692 CPUtime=1.49 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 23606 0 0 0 146 3 0 0 20 0 1 0 35158857 102084608 23181 33554432000 4194304 5646918 140733436425168 140733436424536 4251039 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 24923 23181 94 355 0 24564 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99692

[startup+3.1003 s]
/proc/loadavg: 2.39 2.29 1.97 3/177 25236
/proc/meminfo: memFree=29810948/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=204004 CPUtime=3.09 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 49391 0 0 0 301 8 0 0 20 0 1 0 35158857 208900096 48593 33554432000 4194304 5646918 140733436425168 140733436424536 4460912 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 51001 48593 94 355 0 50642 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 204004

[startup+6.30029 s]
/proc/loadavg: 2.39 2.29 1.97 3/177 25236
/proc/meminfo: memFree=29668372/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=281280 CPUtime=6.29 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 68567 0 0 0 619 10 0 0 20 0 1 0 35158857 288030720 67730 33554432000 4194304 5646918 140733436425168 140733436424424 4824634 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 70320 67730 94 355 0 69961 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 281280

[startup+12.7003 s]
/proc/loadavg: 2.40 2.30 1.98 3/177 25236
/proc/meminfo: memFree=29551592/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=400612 CPUtime=12.69 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 97773 0 0 0 1254 15 0 0 20 0 1 0 35158857 410226688 96072 33554432000 4194304 5646918 140733436425168 140733436423848 4464751 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 100153 96072 105 355 0 99794 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 400612

[startup+25.5004 s]
/proc/loadavg: 2.34 2.29 1.98 3/177 25236
/proc/meminfo: memFree=29549916/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=400612 CPUtime=25.48 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 97773 0 0 0 2533 15 0 0 20 0 1 0 35158857 410226688 96072 33554432000 4194304 5646918 140733436425168 140733436423848 4457018 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 100153 96072 105 355 0 99794 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 400612

[startup+51.1004 s]
/proc/loadavg: 2.29 2.28 1.98 3/177 25236
/proc/meminfo: memFree=28884384/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=400612 CPUtime=51.08 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 97773 0 0 0 5093 15 0 0 20 0 1 0 35158857 410226688 96072 33554432000 4194304 5646918 140733436425168 140733436423848 4464817 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 100153 96072 105 355 0 99794 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 400612

[startup+102.3 s]
/proc/loadavg: 2.29 2.28 2.00 3/177 25237
/proc/meminfo: memFree=28883732/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=400612 CPUtime=102.28 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 97773 0 0 0 10213 15 0 0 20 0 1 0 35158857 410226688 96072 33554432000 4194304 5646918 140733436425168 140733436423848 4464805 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 100153 96072 105 355 0 99794 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 400612

[startup+162.3 s]
/proc/loadavg: 2.38 2.29 2.02 3/177 25294
/proc/meminfo: memFree=27277704/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=2658372 CPUtime=162.27 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 651495 0 0 0 16133 94 0 0 20 0 1 0 35158857 2722172928 651897 33554432000 4194304 5646918 140733436425168 140733436250216 4817512 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 664593 651897 120 355 0 664234 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 2658372

[startup+222.307 s]
/proc/loadavg: 2.42 2.31 2.04 3/177 25295
/proc/meminfo: memFree=26347500/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=2658372 CPUtime=222.26 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 651736 0 0 0 22132 94 0 0 20 0 1 0 35158857 2722172928 652138 33554432000 4194304 5646918 140733436425168 140733436250216 4817369 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 664593 652138 120 355 0 664234 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 2658372

[startup+282.3 s]
/proc/loadavg: 2.28 2.29 2.04 3/177 25297
/proc/meminfo: memFree=26341468/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=2658372 CPUtime=282.24 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 653153 0 0 0 28130 94 0 0 20 0 1 0 35158857 2722172928 653555 33554432000 4194304 5646918 140733436425168 140733436250216 4817458 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 664593 653555 120 355 0 664234 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2658372

[startup+342.3 s]
/proc/loadavg: 2.19 2.26 2.05 3/177 25298
/proc/meminfo: memFree=26437148/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=2658372 CPUtime=342.24 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 653806 0 0 0 34129 95 0 0 20 0 1 0 35158857 2722172928 654208 33554432000 4194304 5646918 140733436425168 140733436250216 4823374 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 664593 654208 120 355 0 664234 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 2658372

[startup+402.3 s]
/proc/loadavg: 2.30 2.27 2.06 3/177 25299
/proc/meminfo: memFree=26386308/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=2667908 CPUtime=402.23 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 658916 0 0 0 40127 96 0 0 20 0 1 0 35158857 2731937792 659538 33554432000 4194304 5646918 140733436425168 140733436364632 4824645 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 666977 659538 123 355 0 666618 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2667908

[startup+462.3 s]
/proc/loadavg: 2.20 2.25 2.07 4/178 25303
/proc/meminfo: memFree=26722264/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=2298404 CPUtime=462.21 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 667756 0 0 0 46121 100 0 0 20 0 1 0 35158857 2353565696 563553 33554432000 4194304 5646918 140733436425168 140733436423864 4398892 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 574601 563553 183 355 0 574242 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2298404

[startup+522.3 s]
/proc/loadavg: 2.13 2.22 2.07 3/178 25327
/proc/meminfo: memFree=26652652/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=2348492 CPUtime=522.19 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 668309 0 0 0 52118 101 0 0 20 0 1 0 35158857 2404855808 571240 33554432000 4194304 5646918 140733436425168 140733436423864 4403235 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 587123 571240 183 355 0 586764 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 2348492

[startup+582.3 s]
/proc/loadavg: 2.16 2.20 2.07 4/177 25329
/proc/meminfo: memFree=26553832/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=2348492 CPUtime=582.18 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 668318 0 0 0 58117 101 0 0 20 0 1 0 35158857 2404855808 575891 33554432000 4194304 5646918 140733436425168 140733436423864 4402774 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 587123 575891 183 355 0 586764 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 2348492

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


[startup+882.307 s]
/proc/loadavg: 2.28 2.26 2.12 3/177 25335
/proc/meminfo: memFree=26286148/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=2429880 CPUtime=882.15 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 668883 0 0 0 88111 104 0 0 20 0 1 0 35158857 2488197120 601609 33554432000 4194304 5646918 140733436425168 140733436423864 4402684 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 607470 601609 183 355 0 607111 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 2429880

[startup+942.3 s]
/proc/loadavg: 2.27 2.26 2.13 3/177 25336
/proc/meminfo: memFree=26093480/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=2562140 CPUtime=942.12 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 669442 0 0 0 94107 105 0 0 20 0 1 0 35158857 2623631360 623113 33554432000 4194304 5646918 140733436425168 140733436423864 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 640535 623113 183 355 0 640176 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 2562140

[startup+1002.3 s]
/proc/loadavg: 2.22 2.24 2.12 3/177 25337
/proc/meminfo: memFree=26040020/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=2562140 CPUtime=1002.12 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 669454 0 0 0 100106 106 0 0 20 0 1 0 35158857 2623631360 629257 33554432000 4194304 5646918 140733436425168 140733436423864 4402764 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 640535 629257 183 355 0 640176 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 2562140

[startup+1062.3 s]
/proc/loadavg: 2.19 2.22 2.12 3/178 25341
/proc/meminfo: memFree=25984476/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=2562140 CPUtime=1062.11 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 669705 0 0 0 106105 106 0 0 20 0 1 0 35158857 2623631360 636661 33554432000 4194304 5646918 140733436425168 140733436423864 4402764 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 640535 636661 183 355 0 640176 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 2562140

[startup+1122.3 s]
/proc/loadavg: 2.29 2.24 2.13 3/177 25342
/proc/meminfo: memFree=25935060/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=2777064 CPUtime=1122.1 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 669992 0 0 0 112103 107 0 0 20 0 1 0 35158857 2843713536 642057 33554432000 4194304 5646918 140733436425168 140733436423864 4402684 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 694266 642057 183 355 0 693907 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 2777064

[startup+1182.3 s]
/proc/loadavg: 2.18 2.21 2.13 3/177 25344
/proc/meminfo: memFree=25871104/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=2777064 CPUtime=1182.1 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 670014 0 0 0 118102 108 0 0 20 0 1 0 35158857 2843713536 652809 33554432000 4194304 5646918 140733436425168 140733436423864 4402764 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 694266 652809 183 355 0 693907 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 2777064

[startup+1242.3 s]
/proc/loadavg: 2.18 2.21 2.13 3/177 25345
/proc/meminfo: memFree=25834020/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=2777064 CPUtime=1242.08 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 670026 0 0 0 124100 108 0 0 20 0 1 0 35158857 2843713536 657417 33554432000 4194304 5646918 140733436425168 140733436423864 4397625 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 694266 657417 183 355 0 693907 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 2777064

[startup+1302.3 s]
/proc/loadavg: 2.31 2.23 2.14 3/177 25346
/proc/meminfo: memFree=25793160/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=2777064 CPUtime=1302.07 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 670034 0 0 0 130099 108 0 0 20 0 1 0 35158857 2843713536 661001 33554432000 4194304 5646918 140733436425168 140733436423864 4402815 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 694266 661001 183 355 0 693907 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 2777064

[startup+1362.3 s]
/proc/loadavg: 2.17 2.20 2.14 3/177 25347
/proc/meminfo: memFree=25739104/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=2777064 CPUtime=1362.06 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 670045 0 0 0 136098 108 0 0 20 0 1 0 35158857 2843713536 666135 33554432000 4194304 5646918 140733436425168 140733436423864 4399784 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 694266 666135 183 355 0 693907 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 2777064

[startup+1422.3 s]
/proc/loadavg: 2.20 2.21 2.14 3/177 25348
/proc/meminfo: memFree=25671056/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=2777064 CPUtime=1422.06 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 670056 0 0 0 142097 109 0 0 20 0 1 0 35158857 2843713536 671287 33554432000 4194304 5646918 140733436425168 140733436423864 4403118 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 694266 671287 183 355 0 693907 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 2777064

[startup+1482.3 s]
/proc/loadavg: 2.27 2.23 2.15 3/176 25349
/proc/meminfo: memFree=25541636/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=3126312 CPUtime=1482.04 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 670622 0 0 0 148094 110 0 0 20 0 1 0 35158857 3201343488 697922 33554432000 4194304 5646918 140733436425168 140733436423864 4398908 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 781578 697922 183 355 0 781219 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 3126312

[startup+1542.31 s]
/proc/loadavg: 2.15 2.20 2.14 3/177 25351
/proc/meminfo: memFree=25448208/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=3126312 CPUtime=1542.04 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 670650 0 0 0 154093 111 0 0 20 0 1 0 35158857 3201343488 712261 33554432000 4194304 5646918 140733436425168 140733436423864 4397501 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 781578 712261 183 355 0 781219 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 3126312

[startup+1602.3 s]
/proc/loadavg: 2.24 2.21 2.15 3/177 25352
/proc/meminfo: memFree=25406440/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=3126312 CPUtime=1602.02 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 670666 0 0 0 160091 111 0 0 20 0 1 0 35158857 3201343488 716027 33554432000 4194304 5646918 140733436425168 140733436423864 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 781578 716027 183 355 0 781219 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 3126312

[startup+1662.3 s]
/proc/loadavg: 2.23 2.21 2.15 3/178 25356
/proc/meminfo: memFree=25361860/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=3126312 CPUtime=1662.01 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 670679 0 0 0 166090 111 0 0 20 0 1 0 35158857 3201343488 722171 33554432000 4194304 5646918 140733436425168 140733436423864 4389017 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 781578 722171 183 355 0 781219 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 3126312

[startup+1722.3 s]
/proc/loadavg: 2.24 2.22 2.16 3/177 25357
/proc/meminfo: memFree=25324392/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=3126312 CPUtime=1722 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 670689 0 0 0 172089 111 0 0 20 0 1 0 35158857 3201343488 726779 33554432000 4194304 5646918 140733436425168 140733436423864 4402751 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 781578 726779 183 355 0 781219 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 3126312

[startup+1782.3 s]
/proc/loadavg: 2.18 2.20 2.16 3/177 25358
/proc/meminfo: memFree=25254268/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=3126312 CPUtime=1782 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 670709 0 0 0 178087 113 0 0 20 0 1 0 35158857 3201343488 737019 33554432000 4194304 5646918 140733436425168 140733436423864 4402736 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 781578 737019 183 355 0 781219 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 3126312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.20 2.21 2.16 3/177 25359
/proc/meminfo: memFree=25239992/32872528 swapFree=1437460/1543748
[pid=25235] ppid=25232 vsize=3126312 CPUtime=1800.09 cores=1,3,5,7
/proc/25235/stat : 25235 (minisatp) R 25232 25235 25018 0 -1 4202496 670712 0 0 0 179896 113 0 0 20 0 1 0 35158857 3201343488 738555 33554432000 4194304 5646918 140733436425168 140733436423864 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/25235/statm: 781578 738555 183 355 0 781219 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3126312

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1798.97
CPU system time (s): 1.14482
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 3126312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.14482
maximum resident set size= 2954220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 670712
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= 54
involuntary context switches= 1846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.32273 second user time and 14.5208 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-27 11:53:15
IDJOB=4112019
IDBENCH=2965
IDSOLVER=2555
FILE ID=node116/4112019-1467021194
RUNJOBID= node116-1467019393-25035
PBS_JOBID= 19976973
Free space on /tmp= 71652 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866-max.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112019-1467021194/watcher-4112019-1467021194 -o /tmp/evaluation-result-4112019-1467021194/solver-4112019-1467021194 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467019393-25035 --watchdog 1960 -S 80 minisatp HOME/instance-4112019-1467021194.opb

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

MD5SUM BENCH= 0d68396ddd3adb481a49ce1422ebcaec
RANDOM SEED=630027152

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.206
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:        30070180 kB
Buffers:          106824 kB
Cached:           375744 kB
SwapCached:         2020 kB
Active:           132840 kB
Inactive:         391904 kB
Active(anon):      43276 kB
Inactive(anon):     1680 kB
Active(file):      89564 kB
Inactive(file):   390224 kB
Unevictable:     1543748 kB
Mlocked:         1437460 kB
SwapTotal:      67108856 kB
SwapFree:       67098756 kB
Dirty:             42304 kB
Writeback:             0 kB
AnonPages:       1587428 kB
Mapped:             7672 kB
Shmem:                 0 kB
Slab:             599968 kB
SReclaimable:      43404 kB
SUnreclaim:       556564 kB
KernelStack:        1432 kB
PageTables:         7076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1706740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 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-4112019-1467021194.opb

Free space on /tmp at the end= 71648 MiB
End job on node116 at 2016-06-27 12:23:16