Trace number 4114978

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

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136-max.opb
MD5SUM14ad76473b11124898801a98a6be0f15
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 variables116401
Total number of constraints347041
Number of constraints which are clauses347040
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 constraint115680
Number of terms in the objective function 241
Biggest coefficient in the objective function 1766847064778384329583297500742918515827483896875618958121606201292619776
Number of bits for the biggest coefficient in the objective function 241
Sum of the numbers in the objective function 3533694129556768659166595001485837031654967793751237916243212402585239551
Number of bits of the sum of numbers in the objective function 241
Biggest number in a constraint 2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288
Number of bits of the biggest number in a constraint 720
Biggest sum of numbers in a constraint 11031304526203974597457456414861827591216226218170224705794538792432397772411513099461947533223824223812108544718420760849241103931105427591146783146989758993585507676769708326131434170738798141111110216594893389039561
Number of bits of the biggest sum of numbers721
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...
7.98/8.04	c Converting 347042 PB-constraints to clauses...
7.98/8.08	c   -- Unit propagations: (none)
105.17/105.24	c   -- Detecting intervals from adjacent constraints: #
105.17/105.28	c   -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
105.47/105.55	c ---[   0]---> Adder-cost: 172072   maxlim: 187400520147017912180023428817100564857988691053683593712856281894851294957858637107249259077734293939767927015495842644066876543480275403222415417   bits: 486/486
1800.05/1800.40	|  Eliminated clauses:           0.01 Mb                                      |
1800.05/1800.40	============================[ Search Statistics ]==============================
1800.05/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.05/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.05/1800.40	===============================================================================
1800.05/1800.40	|       100 |  257715  1483720  4929046 |   544030      100     14 | 10.755 % |
1800.05/1800.40	|       250 |  257715  1483720  4929046 |   598433      250     17 | 10.755 % |
1800.05/1800.40	|       475 |  257715  1483720  4929046 |   658277      475     13 | 10.755 % |
1800.05/1800.40	|       812 |  257715  1483720  4929046 |   724104      812     13 | 10.755 % |
1800.05/1800.40	|      1318 |  257715  1483720  4929046 |   796515     1318     34 | 10.755 % |
1800.05/1800.40	|      2077 |  257715  1483720  4929046 |   876166     2077     77 | 10.755 % |
1800.05/1800.40	|      3216 |  257715  1483720  4929046 |   963783     3216     70 | 10.755 % |
1800.05/1800.40	|      4924 |  257715  1483720  4929046 |  1060161     4924     62 | 10.755 % |
1800.05/1800.40	|      7486 |  257715  1483720  4929046 |  1166178     7486     71 | 10.755 % |
1800.05/1800.40	|     11330 |  257715  1483720  4929046 |  1282795    11330     75 | 10.755 % |
1800.05/1800.40	|     17096 |  257715  1483720  4929046 |  1411075    17096     72 | 10.755 % |
1800.05/1800.40	|     25745 |  257715  1483720  4929046 |  1552182    25745     76 | 10.755 % |
1800.05/1800.40	|     38719 |  257715  1483720  4929046 |  1707401    38719    149 | 10.755 % |
1800.05/1800.40	|     58180 |  257714  1483720  4929046 |  1878141    58179    143 | 10.755 % |
1800.05/1800.40	|     87372 |  257682  1483720  4929046 |  2065955    87339    143 | 10.766 % |
1800.05/1800.40	|    131161 |  257681  1483720  4929046 |  2272551   131127    147 | 10.767 % |
1800.05/1800.40	|    196845 |  257681  1483720  4929046 |  2499806   196811    144 | 10.767 % |
1800.05/1800.40	|    295371 |  257680  1483720  4929046 |  2749786   295331    151 | 10.767 % |
1800.05/1800.40	|    443160 |  257665  1483720  4929046 |  3024765   443105    152 | 10.772 % |
1800.05/1800.40	|    664843 |  257663  1483720  4929046 |  3327242   664756    148 | 10.773 % |
1800.05/1800.40	|    997368 |  257661  1483720  4929046 |  3659966   997279    151 | 10.774 % |
1800.05/1800.40	c 
1800.05/1800.40	c *** TERMINATED ***
1800.05/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-4114978-1467022654/watcher-4114978-1467022654 -o /tmp/evaluation-result-4114978-1467022654/solver-4114978-1467022654 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1467019394-27177 --watchdog 1960 -S 80 minisatp HOME/instance-4114978-1467022654.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing 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.06 2.06 2.00 3/176 27879
/proc/meminfo: memFree=29808728/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=6324 CPUtime=0 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 286 0 0 0 0 0 0 0 20 0 1 0 35305050 6475776 163 33554432000 4194304 5646918 140734565737808 140733262845912 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 1581 163 94 355 0 1222 0

[startup+0.100161 s]
/proc/loadavg: 2.06 2.06 2.00 3/176 27879
/proc/meminfo: memFree=29808728/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=12132 CPUtime=0.09 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 1730 0 0 0 9 0 0 0 20 0 1 0 35305050 12423168 1607 33554432000 4194304 5646918 140734565737808 140733262845912 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 3033 1607 94 355 0 2674 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12132

[startup+0.200332 s]
/proc/loadavg: 2.06 2.06 2.00 3/176 27879
/proc/meminfo: memFree=29808728/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=18224 CPUtime=0.19 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 3249 0 0 0 19 0 0 0 20 0 1 0 35305050 18661376 3126 33554432000 4194304 5646918 140734565737808 140734565737176 4953072 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 4556 3126 94 355 0 4197 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18224

[startup+0.300295 s]
/proc/loadavg: 2.06 2.06 2.00 3/176 27879
/proc/meminfo: memFree=29808728/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=24608 CPUtime=0.29 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 4827 0 0 0 29 0 0 0 20 0 1 0 35305050 25198592 4704 33554432000 4194304 5646918 140734565737808 140734565737176 4953072 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 6152 4705 94 355 0 5793 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24608

[startup+0.700259 s]
/proc/loadavg: 2.06 2.06 2.00 3/176 27879
/proc/meminfo: memFree=29808728/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=50556 CPUtime=0.69 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 11332 0 0 0 68 1 0 0 20 0 1 0 35305050 51769344 11084 33554432000 4194304 5646918 140734565737808 140734565737176 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 12639 11085 94 355 0 12280 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50556

[startup+1.50027 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 27880
/proc/meminfo: memFree=29737292/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=102172 CPUtime=1.49 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 24199 0 0 0 146 3 0 0 20 0 1 0 35305050 104624128 23775 33554432000 4194304 5646918 140734565737808 140734565737160 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 25543 23776 94 355 0 25184 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 102172

[startup+3.10025 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 27880
/proc/meminfo: memFree=29667248/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=206556 CPUtime=3.08 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 50065 0 0 0 302 6 0 0 20 0 1 0 35305050 211513344 49268 33554432000 4194304 5646918 140734565737808 140734565737064 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 51639 49268 94 355 0 51280 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 206556

[startup+6.30029 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 27880
/proc/meminfo: memFree=29554280/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=312364 CPUtime=6.29 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 76675 0 0 0 618 11 0 0 20 0 1 0 35305050 319860736 75878 33554432000 4194304 5646918 140734565737808 140734565736264 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 78091 75882 94 355 0 77732 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 312364

[startup+12.7003 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 27880
/proc/meminfo: memFree=29445724/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=359040 CPUtime=12.68 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 89578 0 0 0 1255 13 0 0 20 0 1 0 35305050 367656960 87503 33554432000 4194304 5646918 140734565737808 140734565736488 4252453 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 89760 87503 105 355 0 89401 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 359040

[startup+25.5004 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 27880
/proc/meminfo: memFree=29432264/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=359040 CPUtime=25.48 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 89578 0 0 0 2535 13 0 0 20 0 1 0 35305050 367656960 87503 33554432000 4194304 5646918 140734565737808 140734565736488 4457098 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 89760 87503 105 355 0 89401 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 359040

[startup+51.1004 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 27880
/proc/meminfo: memFree=29389812/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=359040 CPUtime=51.08 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 89578 0 0 0 5095 13 0 0 20 0 1 0 35305050 367656960 87503 33554432000 4194304 5646918 140734565737808 140734565736488 4464809 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 89760 87503 105 355 0 89401 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 359040

[startup+102.3 s]
/proc/loadavg: 2.14 2.07 2.01 4/177 27881
/proc/meminfo: memFree=29361152/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=359040 CPUtime=102.28 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 89578 0 0 0 10215 13 0 0 20 0 1 0 35305050 367656960 87503 33554432000 4194304 5646918 140734565737808 140734565736488 4457084 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 89760 87503 105 355 0 89401 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 359040

[startup+162.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/178 27885
/proc/meminfo: memFree=27337684/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2373392 CPUtime=162.26 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 583441 0 0 0 16145 81 0 0 20 0 1 0 35305050 2430353408 583481 33554432000 4194304 5646918 140734565737808 140734565568808 4828290 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 593348 583481 120 355 0 592989 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 2373392

[startup+222.307 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 27886
/proc/meminfo: memFree=27306840/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2373392 CPUtime=222.26 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 583443 0 0 0 22145 81 0 0 20 0 1 0 35305050 2430353408 583483 33554432000 4194304 5646918 140734565737808 140734565568808 4832129 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 593348 583483 120 355 0 592989 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 2373392

[startup+282.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 27888
/proc/meminfo: memFree=27272120/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2373392 CPUtime=282.24 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 583443 0 0 0 28143 81 0 0 20 0 1 0 35305050 2430353408 583483 33554432000 4194304 5646918 140734565737808 140734565568808 4309831 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 593348 583483 120 355 0 592989 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2373392

[startup+342.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 27889
/proc/meminfo: memFree=27236872/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2373392 CPUtime=342.23 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 583443 0 0 0 34142 81 0 0 20 0 1 0 35305050 2430353408 583483 33554432000 4194304 5646918 140734565737808 140734565568808 4817582 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 593348 583483 120 355 0 592989 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 2373392

[startup+402.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 27890
/proc/meminfo: memFree=27519528/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2049500 CPUtime=402.23 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 597078 0 0 0 40136 87 0 0 20 0 1 0 35305050 2098688000 506874 33554432000 4194304 5646918 140734565737808 140734565734312 4397622 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 512375 506874 182 355 0 512016 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2049500

[startup+462.3 s]
/proc/loadavg: 2.25 2.10 2.02 3/177 27891
/proc/meminfo: memFree=27468232/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2080320 CPUtime=462.22 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 597603 0 0 0 46135 87 0 0 20 0 1 0 35305050 2130247680 514042 33554432000 4194304 5646918 140734565737808 140734565736504 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 520080 514042 182 355 0 519721 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2080320

[startup+522.3 s]
/proc/loadavg: 2.19 2.11 2.02 3/177 27892
/proc/meminfo: memFree=27410712/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2130408 CPUtime=522.21 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 598137 0 0 0 52133 88 0 0 20 0 1 0 35305050 2181537792 523770 33554432000 4194304 5646918 140734565737808 140734565736504 4388978 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 532602 523770 182 355 0 532243 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2130408

[startup+582.3 s]
/proc/loadavg: 2.12 2.10 2.02 3/177 27894
/proc/meminfo: memFree=27371484/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2211796 CPUtime=582.19 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 598632 0 0 0 58130 89 0 0 20 0 1 0 35305050 2264879104 529349 33554432000 4194304 5646918 140734565737808 140734565736504 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 552949 529349 182 355 0 552590 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 2211796

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


[startup+882.307 s]
/proc/loadavg: 2.03 2.06 2.01 3/177 27903
/proc/meminfo: memFree=27977284/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2344056 CPUtime=882.11 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 599340 0 0 0 88120 91 0 0 20 0 1 0 35305050 2400313344 570371 33554432000 4194304 5646918 140734565737808 140734565736504 4403099 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 586014 570371 182 355 0 585655 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 2344056

[startup+942.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/177 27904
/proc/meminfo: memFree=27907604/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2558980 CPUtime=942.09 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 599889 0 0 0 94117 92 0 0 20 0 1 0 35305050 2620395520 587779 33554432000 4194304 5646918 140734565737808 140734565736504 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 639745 587779 182 355 0 639386 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 2558980

[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 27905
/proc/meminfo: memFree=27644852/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2558980 CPUtime=1002.07 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 599900 0 0 0 100115 92 0 0 20 0 1 0 35305050 2620395520 593411 33554432000 4194304 5646918 140734565737808 140734565736504 4403544 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 639745 593411 182 355 0 639386 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 2558980

[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/176 27906
/proc/meminfo: memFree=27587912/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2558980 CPUtime=1062.07 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 599911 0 0 0 106114 93 0 0 20 0 1 0 35305050 2620395520 599043 33554432000 4194304 5646918 140734565737808 140734565736504 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 639745 599043 182 355 0 639386 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 2558980

[startup+1122.3 s]
/proc/loadavg: 1.99 2.03 2.00 3/177 27964
/proc/meminfo: memFree=28313468/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2558980 CPUtime=1122.06 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 599917 0 0 0 112113 93 0 0 20 0 1 0 35305050 2620395520 602123 33554432000 4194304 5646918 140734565737808 140734565736504 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 639745 602123 182 355 0 639386 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 2558980

[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 27966
/proc/meminfo: memFree=28234492/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2558980 CPUtime=1182.06 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 599947 0 0 0 118112 94 0 0 20 0 1 0 35305050 2620395520 617483 33554432000 4194304 5646918 140734565737808 140734565736504 4402661 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 639745 617483 182 355 0 639386 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 2558980

[startup+1242.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 27967
/proc/meminfo: memFree=28206112/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2558980 CPUtime=1242.05 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 599958 0 0 0 124111 94 0 0 20 0 1 0 35305050 2620395520 622106 33554432000 4194304 5646918 140734565737808 140734565736504 4402821 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 639745 622106 182 355 0 639386 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 2558980

[startup+1302.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 27968
/proc/meminfo: memFree=28181596/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2558980 CPUtime=1302.03 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 599966 0 0 0 130109 94 0 0 20 0 1 0 35305050 2620395520 626202 33554432000 4194304 5646918 140734565737808 140734565736504 4402684 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 639745 626202 182 355 0 639386 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 2558980

[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/178 27972
/proc/meminfo: memFree=28151168/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2558980 CPUtime=1362.02 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 599978 0 0 0 136108 94 0 0 20 0 1 0 35305050 2620395520 632346 33554432000 4194304 5646918 140734565737808 140734565736504 4403178 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 639745 632346 182 355 0 639386 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 2558980

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 27973
/proc/meminfo: memFree=28121672/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2908228 CPUtime=1422.02 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 600505 0 0 0 142107 95 0 0 20 0 1 0 35305050 2978025472 638490 33554432000 4194304 5646918 140734565737808 140734565736504 4403178 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 727057 638490 182 355 0 726698 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 2908228

[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 27975
/proc/meminfo: memFree=28086548/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2908228 CPUtime=1482 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 600521 0 0 0 148105 95 0 0 20 0 1 0 35305050 2978025472 646187 33554432000 4194304 5646918 140734565737808 140734565736504 4403184 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 727057 646187 182 355 0 726698 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 2908228

[startup+1542.31 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 27976
/proc/meminfo: memFree=27981568/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2908228 CPUtime=1542 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 600570 0 0 0 154104 96 0 0 20 0 1 0 35305050 2978025472 671308 33554432000 4194304 5646918 140734565737808 140734565736504 4402684 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 727057 671308 182 355 0 726698 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 2908228

[startup+1602.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 27977
/proc/meminfo: memFree=27955516/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2908228 CPUtime=1601.99 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 600584 0 0 0 160102 97 0 0 20 0 1 0 35305050 2978025472 676998 33554432000 4194304 5646918 140734565737808 140734565736504 4397445 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 727057 676998 182 355 0 726698 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 2908228

[startup+1662.3 s]
/proc/loadavg: 2.21 2.09 2.02 3/177 27978
/proc/meminfo: memFree=27930760/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2908228 CPUtime=1661.97 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 600596 0 0 0 166100 97 0 0 20 0 1 0 35305050 2978025472 682118 33554432000 4194304 5646918 140734565737808 140734565736504 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 727057 682118 182 355 0 726698 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 2908228

[startup+1722.3 s]
/proc/loadavg: 2.12 2.09 2.02 3/177 27979
/proc/meminfo: memFree=27902732/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2908228 CPUtime=1721.96 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 600611 0 0 0 172099 97 0 0 20 0 1 0 35305050 2978025472 687761 33554432000 4194304 5646918 140734565737808 140734565736504 4403147 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 727057 687761 182 355 0 726698 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 2908228

[startup+1782.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/177 27981
/proc/meminfo: memFree=27878652/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2908228 CPUtime=1781.95 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 600626 0 0 0 178097 98 0 0 20 0 1 0 35305050 2978025472 693543 33554432000 4194304 5646918 140734565737808 140734565736504 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 727057 693543 182 355 0 726698 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 2908228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.14 2.09 2.02 3/177 27981
/proc/meminfo: memFree=27868224/32872528 swapFree=681168/738400
[pid=27879] ppid=27876 vsize=2908228 CPUtime=1800.05 cores=0,2,4,6
/proc/27879/stat : 27879 (minisatp) R 27876 27879 27161 0 -1 4202496 600631 0 0 0 179907 98 0 0 20 0 1 0 35305050 2978025472 696103 33554432000 4194304 5646918 140734565737808 140734565736504 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27879/statm: 727057 696103 182 355 0 726698 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2908228

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 27879 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.07
CPU user time (s): 1799.07
CPU system time (s): 0.993848
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 2908228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 0.993848
maximum resident set size= 2784412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 600631
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= 101
involuntary context switches= 1864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.14237 second user time and 7.65384 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-27 12:17:35
IDJOB=4114978
IDBENCH=3014
IDSOLVER=2555
FILE ID=node112/4114978-1467022654
RUNJOBID= node112-1467019394-27177
PBS_JOBID= 19976977
Free space on /tmp= 71688 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136-max.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4114978-1467022654/watcher-4114978-1467022654 -o /tmp/evaluation-result-4114978-1467022654/solver-4114978-1467022654 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1467019394-27177 --watchdog 1960 -S 80 minisatp HOME/instance-4114978-1467022654.opb

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

MD5SUM BENCH= 14ad76473b11124898801a98a6be0f15
RANDOM SEED=1577429807

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
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.959
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:        29809032 kB
Buffers:           91232 kB
Cached:           272620 kB
SwapCached:         1692 kB
Active:          1320668 kB
Inactive:         251488 kB
Active(anon):    1207952 kB
Inactive(anon):     2624 kB
Active(file):     112716 kB
Inactive(file):   248864 kB
Unevictable:      738400 kB
Mlocked:          681168 kB
SwapTotal:      67108856 kB
SwapFree:       67098760 kB
Dirty:             26720 kB
Writeback:             0 kB
AnonPages:       1956416 kB
Mapped:             7924 kB
Shmem:                 0 kB
Slab:             609472 kB
SReclaimable:      52828 kB
SUnreclaim:       556644 kB
KernelStack:        1432 kB
PageTables:         7784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2180244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1230848 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-4114978-1467022654.opb

Free space on /tmp at the end= 71692 MiB
End job on node112 at 2016-06-27 12:47:36