Trace number 4115113

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
minisatp 2012-10-02 git-d91742b? (TO) 1800.11 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542-max.opb
MD5SUM33ae5939d1aa58a75a945a9faf3c230f
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 variables97901
Total number of constraints291721
Number of constraints which are clauses291720
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 constraint97240
Number of terms in the objective function 221
Biggest coefficient in the objective function 1684996666696914987166688442938726917102321526408785780068975640576
Number of bits for the biggest coefficient in the objective function 221
Sum of the numbers in the objective function 3369993333393829974333376885877453834204643052817571560137951281151
Number of bits of the sum of numbers in the objective function 221
Biggest number in a constraint 2392032866531905486790942578809394338145620987608332988883503686824375178865503049616412016019962016447144819201720664620106359620960485637227891297994520232330261783830994590149049944504587400511488
Number of bits of the biggest number in a constraint 660
Biggest sum of numbers in a constraint 9568131466127621947163770315237577352582483950433331955534014747295056327361266164339146628902122677827758102544855227960862917226867090540237477036791666445280390686216944035782177068059758137897567
Number of bits of the biggest sum of numbers661
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...
6.49/6.58	c Converting 291722 PB-constraints to clauses...
6.59/6.62	c   -- Unit propagations: (none)
70.08/70.10	c   -- Detecting intervals from adjacent constraints: #
70.08/70.13	c   -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
70.27/70.36	c ---[   0]---> Adder-cost: 144530   maxlim: 156471734948545541205801499935241973854122126673304792903433002919271554913225415106354405938166063383904901590036278789081487977024931   bits: 446/446
1800.08/1800.40	|  Eliminated clauses:           0.01 Mb                                      |
1800.08/1800.40	============================[ Search Statistics ]==============================
1800.08/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.08/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.08/1800.40	===============================================================================
1800.08/1800.40	|       100 |  216434  1245646  4137609 |   456736      100      5 | 10.823 % |
1800.08/1800.40	|       250 |  216434  1245646  4137609 |   502410      250     35 | 10.823 % |
1800.08/1800.40	|       475 |  216434  1245646  4137609 |   552651      475     40 | 10.823 % |
1800.08/1800.40	|       812 |  216434  1245646  4137609 |   607916      812     46 | 10.823 % |
1800.08/1800.40	|      1318 |  216434  1245646  4137609 |   668708     1318     66 | 10.823 % |
1800.08/1800.40	|      2077 |  216434  1245646  4137609 |   735579     2077     59 | 10.823 % |
1800.08/1800.40	|      3216 |  216434  1245646  4137609 |   809137     3216     62 | 10.823 % |
1800.08/1800.40	|      4924 |  216434  1245646  4137609 |   890050     4924     61 | 10.823 % |
1800.08/1800.40	|      7486 |  216434  1245646  4137609 |   979056     7486     51 | 10.823 % |
1800.08/1800.40	|     11330 |  216434  1245646  4137609 |  1076961    11330     51 | 10.823 % |
1800.08/1800.40	|     17096 |  216434  1245646  4137609 |  1184657    17096     52 | 10.823 % |
1800.08/1800.40	|     25745 |  216434  1245646  4137609 |  1303123    25745     55 | 10.823 % |
1800.08/1800.40	|     38719 |  216434  1245646  4137609 |  1433435    38719     65 | 10.823 % |
1800.08/1800.40	|     58180 |  216434  1245646  4137609 |  1576779    58180     69 | 10.823 % |
1800.08/1800.40	|     87372 |  216434  1245646  4137609 |  1734457    87372     79 | 10.823 % |
1800.08/1800.40	|    131161 |  216433  1245646  4137609 |  1907903   131096     87 | 10.824 % |
1800.08/1800.40	|    196845 |  216421  1245646  4137609 |  2098693   196768     92 | 10.829 % |
1800.08/1800.40	|    295371 |  216417  1245646  4137609 |  2308562   295290    101 | 10.830 % |
1800.08/1800.40	|    443160 |  216417  1245646  4137609 |  2539419   443079     98 | 10.830 % |
1800.08/1800.40	|    664843 |  216411  1245646  4137609 |  2793361   664756     99 | 10.833 % |
1800.08/1800.40	|    997368 |  216378  1245646  4137609 |  3072697   997230    101 | 10.846 % |
1800.08/1800.40	|   1496156 |  216373  1245646  4137609 |  3379966  1495991    112 | 10.848 % |
1800.08/1800.40	c 
1800.08/1800.40	c *** TERMINATED ***
1800.08/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-4115113-1467022835/watcher-4115113-1467022835 -o /tmp/evaluation-result-4115113-1467022835/solver-4115113-1467022835 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467019389-27584 --watchdog 1960 -S 80 minisatp HOME/instance-4115113-1467022835.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.31 2.29 2.28 4/177 27959
/proc/meminfo: memFree=26007016/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=6460 CPUtime=0 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 333 0 0 0 0 0 0 0 20 0 1 0 35322476 6615040 209 33554432000 4194304 5646918 140734086909904 140735077257576 4251039 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/27959/statm: 1615 209 94 355 0 1256 0

[startup+0.100142 s]
/proc/loadavg: 2.31 2.29 2.28 4/177 27959
/proc/meminfo: memFree=26007016/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=12592 CPUtime=0.09 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 1836 0 0 0 9 0 0 0 20 0 1 0 35322476 12894208 1712 33554432000 4194304 5646918 140734086909904 140735077257576 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/27959/statm: 3148 1713 94 355 0 2789 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12592

[startup+0.200366 s]
/proc/loadavg: 2.31 2.29 2.28 4/177 27959
/proc/meminfo: memFree=26007016/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=18804 CPUtime=0.19 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 3396 0 0 0 19 0 0 0 20 0 1 0 35322476 19255296 3272 33554432000 4194304 5646918 140734086909904 140735077257576 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/27959/statm: 4701 3274 94 355 0 4342 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18804

[startup+0.300355 s]
/proc/loadavg: 2.31 2.29 2.28 4/177 27959
/proc/meminfo: memFree=26007016/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=25196 CPUtime=0.28 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 4966 0 0 0 28 0 0 0 20 0 1 0 35322476 25800704 4842 33554432000 4194304 5646918 140734086909904 140735077257576 4953072 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/27959/statm: 6299 4842 94 355 0 5940 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 25196

[startup+0.700301 s]
/proc/loadavg: 2.31 2.29 2.28 4/177 27959
/proc/meminfo: memFree=26007016/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=51116 CPUtime=0.69 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 11449 0 0 0 67 2 0 0 20 0 1 0 35322476 52342784 11200 33554432000 4194304 5646918 140734086909904 140735077257576 4251039 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/27959/statm: 12779 11202 94 355 0 12420 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51116

[startup+1.50031 s]
/proc/loadavg: 2.37 2.30 2.28 4/178 27960
/proc/meminfo: memFree=25937676/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=102528 CPUtime=1.49 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 24292 0 0 0 145 4 0 0 20 0 1 0 35322476 104988672 23868 33554432000 4194304 5646918 140734086909904 140734086909272 4821510 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/27959/statm: 25632 23868 94 355 0 25273 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 102528

[startup+3.1003 s]
/proc/loadavg: 2.37 2.30 2.28 4/178 27960
/proc/meminfo: memFree=25867740/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=206644 CPUtime=3.08 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 50079 0 0 0 299 9 0 0 20 0 1 0 35322476 211603456 49281 33554432000 4194304 5646918 140734086909904 140734086909272 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 51661 49281 94 355 0 51302 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 206644

[startup+6.30027 s]
/proc/loadavg: 2.37 2.30 2.28 4/178 27960
/proc/meminfo: memFree=25733928/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=301412 CPUtime=6.29 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 74546 0 0 0 615 14 0 0 20 0 1 0 35322476 308645888 72650 33554432000 4194304 5646918 140734086909904 140734086907912 4563529 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 75353 72650 94 355 0 74994 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 301412

[startup+12.7003 s]
/proc/loadavg: 2.39 2.31 2.28 4/178 27960
/proc/meminfo: memFree=25713320/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=303392 CPUtime=12.69 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 75116 0 0 0 1255 14 0 0 20 0 1 0 35322476 310673408 73220 33554432000 4194304 5646918 140734086909904 140734086908584 4464711 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 75848 73220 105 355 0 75489 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 303392

[startup+25.5073 s]
/proc/loadavg: 2.33 2.30 2.28 3/177 27960
/proc/meminfo: memFree=25709808/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=303392 CPUtime=25.5 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 75116 0 0 0 2536 14 0 0 20 0 1 0 35322476 310673408 73220 33554432000 4194304 5646918 140734086909904 140734086908584 4464805 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 75848 73220 105 355 0 75489 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 303392

[startup+51.1003 s]
/proc/loadavg: 2.37 2.30 2.28 3/177 27961
/proc/meminfo: memFree=25695136/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=303392 CPUtime=51.08 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 75116 0 0 0 5094 14 0 0 20 0 1 0 35322476 310673408 73220 33554432000 4194304 5646918 140734086909904 140734086908584 4457094 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 75848 73220 105 355 0 75489 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 303392

[startup+102.3 s]
/proc/loadavg: 2.26 2.28 2.27 4/177 27962
/proc/meminfo: memFree=24140620/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=1838892 CPUtime=102.27 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 449240 0 0 0 10156 71 0 0 20 0 1 0 35322476 1883025408 448978 33554432000 4194304 5646918 140734086909904 140734086754472 4309848 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 459723 448978 120 355 0 459364 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1838892

[startup+162.3 s]
/proc/loadavg: 2.23 2.27 2.27 3/177 27963
/proc/meminfo: memFree=24102076/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=1838892 CPUtime=162.27 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 449417 0 0 0 16156 71 0 0 20 0 1 0 35322476 1883025408 449155 33554432000 4194304 5646918 140734086909904 140734086754472 4464134 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 459723 449155 120 355 0 459364 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1838892

[startup+222.3 s]
/proc/loadavg: 2.36 2.30 2.28 4/177 28020
/proc/meminfo: memFree=28200788/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=1838892 CPUtime=222.26 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 449417 0 0 0 22155 71 0 0 20 0 1 0 35322476 1883025408 449155 33554432000 4194304 5646918 140734086909904 140734086754472 4461031 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 459723 449155 120 355 0 459364 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1838892

[startup+282.3 s]
/proc/loadavg: 2.48 2.33 2.29 3/177 28021
/proc/meminfo: memFree=28401572/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=1602904 CPUtime=282.24 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 463505 0 0 0 28149 75 0 0 20 0 1 0 35322476 1641373696 399342 33554432000 4194304 5646918 140734086909904 140734086895752 4402774 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 400726 399342 183 355 0 400367 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1602904

[startup+342.307 s]
/proc/loadavg: 2.37 2.32 2.28 4/177 28023
/proc/meminfo: memFree=26609012/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=1652692 CPUtime=342.24 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 464358 0 0 0 34148 76 0 0 20 0 1 0 35322476 1692356608 409379 33554432000 4194304 5646918 140734086909904 140734086908600 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 413173 409379 183 355 0 412814 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1652692

[startup+402.3 s]
/proc/loadavg: 2.38 2.33 2.28 3/177 28024
/proc/meminfo: memFree=26587452/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=1702780 CPUtime=402.22 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 464905 0 0 0 40145 77 0 0 20 0 1 0 35322476 1743646720 414546 33554432000 4194304 5646918 140734086909904 140734086908600 4403167 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 425695 414546 183 355 0 425336 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1702780

[startup+462.3 s]
/proc/loadavg: 2.49 2.36 2.29 3/177 28025
/proc/meminfo: memFree=26536212/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=1784168 CPUtime=462.21 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 465448 0 0 0 46143 78 0 0 20 0 1 0 35322476 1826988032 427383 33554432000 4194304 5646918 140734086909904 140734086908600 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 446042 427383 183 355 0 445683 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1784168

[startup+522.3 s]
/proc/loadavg: 2.40 2.35 2.29 3/177 28026
/proc/meminfo: memFree=26500212/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=1784168 CPUtime=522.19 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 465461 0 0 0 52141 78 0 0 20 0 1 0 35322476 1826988032 434047 33554432000 4194304 5646918 140734086909904 140734086908600 4397494 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 446042 434047 183 355 0 445683 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 1784168

[startup+582.3 s]
/proc/loadavg: 2.34 2.35 2.29 3/178 28030
/proc/meminfo: memFree=26686844/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=1916428 CPUtime=582.19 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 466007 0 0 0 58139 80 0 0 20 0 1 0 35322476 1962422272 450975 33554432000 4194304 5646918 140734086909904 140734086908600 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 479107 450975 183 355 0 478748 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1916428

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


[startup+942.3 s]
/proc/loadavg: 2.38 2.32 2.28 3/177 28037
/proc/meminfo: memFree=26385912/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=2131352 CPUtime=942.12 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 466617 0 0 0 94130 82 0 0 20 0 1 0 35322476 2182504448 494254 33554432000 4194304 5646918 140734086909904 140734086908600 4397622 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 532838 494254 183 355 0 532479 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 2131352

[startup+1002.31 s]
/proc/loadavg: 2.42 2.34 2.28 3/177 28039
/proc/meminfo: memFree=26224144/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=2131352 CPUtime=1002.12 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 466684 0 0 0 100128 84 0 0 20 0 1 0 35322476 2182504448 527534 33554432000 4194304 5646918 140734086909904 140734086908600 4403454 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 532838 527534 183 355 0 532479 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 2131352

[startup+1062.3 s]
/proc/loadavg: 2.26 2.31 2.27 4/177 28040
/proc/meminfo: memFree=26152252/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=2480600 CPUtime=1062.1 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 467215 0 0 0 106126 84 0 0 20 0 1 0 35322476 2540134400 534196 33554432000 4194304 5646918 140734086909904 140734086908600 4397622 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 620150 534196 183 355 0 619791 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 2480600

[startup+1122.3 s]
/proc/loadavg: 2.27 2.29 2.27 3/177 28041
/proc/meminfo: memFree=26114716/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=2480600 CPUtime=1122.1 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 467229 0 0 0 112125 85 0 0 20 0 1 0 35322476 2540134400 538453 33554432000 4194304 5646918 140734086909904 140734086908600 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 620150 538453 183 355 0 619791 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 2480600

[startup+1182.3 s]
/proc/loadavg: 2.36 2.31 2.27 4/178 28045
/proc/meminfo: memFree=26067224/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=2480600 CPUtime=1182.08 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 467241 0 0 0 118123 85 0 0 20 0 1 0 35322476 2540134400 543573 33554432000 4194304 5646918 140734086909904 140734086908600 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 620150 543573 183 355 0 619791 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 2480600

[startup+1242.3 s]
/proc/loadavg: 2.30 2.30 2.27 3/177 28046
/proc/meminfo: memFree=25999636/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=2480600 CPUtime=1242.08 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 467266 0 0 0 124122 86 0 0 20 0 1 0 35322476 2540134400 556373 33554432000 4194304 5646918 140734086909904 140734086908600 4402974 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 620150 556373 183 355 0 619791 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 2480600

[startup+1302.3 s]
/proc/loadavg: 2.23 2.27 2.26 4/177 28048
/proc/meminfo: memFree=25929688/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=2480600 CPUtime=1302.06 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 467282 0 0 0 130120 86 0 0 20 0 1 0 35322476 2540134400 564565 33554432000 4194304 5646918 140734086909904 140734086908600 4402778 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 620150 564565 183 355 0 619791 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 2480600

[startup+1362.3 s]
/proc/loadavg: 2.32 2.28 2.27 3/177 28049
/proc/meminfo: memFree=25882528/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=2480600 CPUtime=1362.06 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 467292 0 0 0 136119 87 0 0 20 0 1 0 35322476 2540134400 569173 33554432000 4194304 5646918 140734086909904 140734086908600 4399395 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 620150 569173 183 355 0 619791 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 2480600

[startup+1422.3 s]
/proc/loadavg: 2.22 2.26 2.26 3/177 28050
/proc/meminfo: memFree=25814660/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=2480600 CPUtime=1422.05 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 467308 0 0 0 142117 88 0 0 20 0 1 0 35322476 2540134400 577365 33554432000 4194304 5646918 140734086909904 140734086908600 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 620150 577365 183 355 0 619791 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 2480600

[startup+1482.3 s]
/proc/loadavg: 2.37 2.29 2.27 3/177 28051
/proc/meminfo: memFree=25728080/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=2480600 CPUtime=1482.04 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 467323 0 0 0 148116 88 0 0 20 0 1 0 35322476 2540134400 584533 33554432000 4194304 5646918 140734086909904 140734086908600 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 620150 584533 183 355 0 619791 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 2480600

[startup+1542.3 s]
/proc/loadavg: 2.33 2.29 2.27 3/177 28052
/proc/meminfo: memFree=25633872/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=2480600 CPUtime=1542.03 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 467334 0 0 0 154115 88 0 0 20 0 1 0 35322476 2540134400 590165 33554432000 4194304 5646918 140734086909904 140734086908600 4397505 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 620150 590165 183 355 0 619791 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 2480600

[startup+1602.3 s]
/proc/loadavg: 2.22 2.27 2.26 4/177 28054
/proc/meminfo: memFree=25588812/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=2480600 CPUtime=1602.02 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 467347 0 0 0 160113 89 0 0 20 0 1 0 35322476 2540134400 596821 33554432000 4194304 5646918 140734086909904 140734086908600 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 620150 596821 183 355 0 619791 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 2480600

[startup+1662.31 s]
/proc/loadavg: 2.28 2.27 2.27 4/177 28055
/proc/meminfo: memFree=25535436/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=2480600 CPUtime=1662.01 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 467357 0 0 0 166112 89 0 0 20 0 1 0 35322476 2540134400 601941 33554432000 4194304 5646918 140734086909904 140734086908600 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 620150 601941 183 355 0 619791 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 2480600

[startup+1722.3 s]
/proc/loadavg: 2.29 2.27 2.27 3/177 28056
/proc/meminfo: memFree=25485268/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=2480600 CPUtime=1722 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 467371 0 0 0 172110 90 0 0 20 0 1 0 35322476 2540134400 609109 33554432000 4194304 5646918 140734086909904 140734086908600 4403408 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 620150 609109 183 355 0 619791 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 2480600

[startup+1782.3 s]
/proc/loadavg: 2.36 2.28 2.27 3/178 28060
/proc/meminfo: memFree=25417540/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=2480600 CPUtime=1781.99 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 467382 0 0 0 178109 90 0 0 20 0 1 0 35322476 2540134400 614741 33554432000 4194304 5646918 140734086909904 140734086908600 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 620150 614741 183 355 0 619791 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 2480600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.28 2.27 2.27 4/178 28060
/proc/meminfo: memFree=25407716/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=2480600 CPUtime=1800.08 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 467384 0 0 0 179918 90 0 0 20 0 1 0 35322476 2540134400 615765 33554432000 4194304 5646918 140734086909904 140734086908600 4397622 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 620150 615765 183 355 0 619791 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2480600

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

[startup+1800.4 s]
/proc/loadavg: 2.28 2.27 2.27 4/178 28060
/proc/meminfo: memFree=25407716/32872528 swapFree=1490384/1645728
[pid=27959] ppid=27956 vsize=2480600 CPUtime=1800.08 cores=1,3,5,7
/proc/27959/stat : 27959 (minisatp) R 27956 27959 27567 0 -1 4202496 467384 0 0 0 179918 90 0 0 20 0 1 0 35322476 2540134400 615765 33554432000 4194304 5646918 140734086909904 140734086908600 4397622 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/27959/statm: 620150 615765 183 355 0 619791 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2480600

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.19
system time used= 0.91586
maximum resident set size= 2463060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467384
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= 49
involuntary context switches= 2065

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.37134 second user time and 7.33089 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-27 12:20:36
IDJOB=4115113
IDBENCH=3019
IDSOLVER=2555
FILE ID=node124/4115113-1467022835
RUNJOBID= node124-1467019389-27584
PBS_JOBID= 19976968
Free space on /tmp= 71424 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542-max.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115113-1467022835/watcher-4115113-1467022835 -o /tmp/evaluation-result-4115113-1467022835/solver-4115113-1467022835 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467019389-27584 --watchdog 1960 -S 80 minisatp HOME/instance-4115113-1467022835.opb

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

MD5SUM BENCH= 33ae5939d1aa58a75a945a9faf3c230f
RANDOM SEED=523468060

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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:        26007568 kB
Buffers:           25968 kB
Cached:           397644 kB
SwapCached:         1140 kB
Active:          4406952 kB
Inactive:          60824 kB
Active(anon):    4041988 kB
Inactive(anon):     4600 kB
Active(file):     364964 kB
Inactive(file):    56224 kB
Unevictable:     1645728 kB
Mlocked:         1490384 kB
SwapTotal:      67108856 kB
SwapFree:       67099240 kB
Dirty:             22140 kB
Writeback:             0 kB
AnonPages:       5691104 kB
Mapped:             7864 kB
Shmem:                 0 kB
Slab:             606868 kB
SReclaimable:      50820 kB
SUnreclaim:       556048 kB
KernelStack:        1448 kB
PageTables:        15304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5947644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    888832 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-4115113-1467022835.opb

Free space on /tmp at the end= 71688 MiB
End job on node124 at 2016-06-27 12:50:36