Trace number 4112014

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498-max.opb
MD5SUMed1765c8e2f5b9ac0be00c2d97d71991
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 9568131466127621947163770315237577352582483950433331955534014747295513459689730629073816418642253180734108769246219889599930392714811235131541912049967060836868994739843120196423842159639336839621523
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.57	c Converting 291722 PB-constraints to clauses...
6.59/6.61	c   -- Unit propagations: (none)
69.78/69.88	c   -- Detecting intervals from adjacent constraints: #
69.88/69.91	c   -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
70.08/70.15	c ---[   0]---> Adder-cost: 144970   maxlim: 312881163234660297966640071077190574553391323948402329821210580184180225432332055342288603546325260100716730580746982177297951228351599   bits: 447/447
1800.00/1800.30	|  Eliminated clauses:           0.01 Mb                                      |
1800.00/1800.30	============================[ Search Statistics ]==============================
1800.00/1800.30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.00/1800.30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.00/1800.30	===============================================================================
1800.00/1800.30	|       100 |  217094  1249382  4150111 |   458106      100      3 | 10.714 % |
1800.00/1800.30	|       250 |  217094  1249382  4150111 |   503917      250      3 | 10.714 % |
1800.00/1800.30	|       475 |  217094  1249382  4150111 |   554309      475      4 | 10.714 % |
1800.00/1800.30	|       812 |  217094  1249382  4150111 |   609740      812     26 | 10.714 % |
1800.00/1800.30	|      1318 |  217094  1249382  4150111 |   670714     1318     42 | 10.714 % |
1800.00/1800.30	|      2077 |  217094  1249382  4150111 |   737785     2077     52 | 10.714 % |
1800.00/1800.30	|      3216 |  217094  1249382  4150111 |   811564     3216     70 | 10.714 % |
1800.00/1800.30	|      4924 |  217094  1249382  4150111 |   892720     4924    373 | 10.714 % |
1800.00/1800.30	|      7486 |  217094  1249382  4150111 |   981992     7486    269 | 10.714 % |
1800.00/1800.30	|     11330 |  217094  1249382  4150111 |  1080191    11330    199 | 10.714 % |
1800.00/1800.30	|     17096 |  217094  1249382  4150111 |  1188210    17096    158 | 10.714 % |
1800.00/1800.30	|     25745 |  217094  1249382  4150111 |  1307031    25745    130 | 10.714 % |
1800.00/1800.30	|     38719 |  217094  1249382  4150111 |  1437735    38719    113 | 10.714 % |
1800.00/1800.30	|     58180 |  217094  1249382  4150111 |  1581508    58180    117 | 10.714 % |
1800.00/1800.30	|     87372 |  217094  1249382  4150111 |  1739659    87372    108 | 10.714 % |
1800.00/1800.30	|    131161 |  217094  1249382  4150111 |  1913625   131161    103 | 10.714 % |
1800.00/1800.30	|    196845 |  217094  1249382  4150111 |  2104988   196845    109 | 10.714 % |
1800.00/1800.30	|    295371 |  217092  1249382  4150111 |  2315486   295369    119 | 10.715 % |
1800.00/1800.30	|    443160 |  217089  1249382  4150111 |  2547035   443155    116 | 10.716 % |
1800.00/1800.30	|    664843 |  217087  1249382  4150111 |  2801739   664827    128 | 10.717 % |
1800.00/1800.30	|    997368 |  217066  1249382  4150111 |  3081913   997245    129 | 10.726 % |
1800.00/1800.30	|   1496156 |  217066  1249382  4150111 |  3390104  1496033    130 | 10.726 % |
1800.00/1800.30	c 
1800.00/1800.30	c *** TERMINATED ***
1800.00/1800.30	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-4112014-1467022995/watcher-4112014-1467022995 -o /tmp/evaluation-result-4112014-1467022995/solver-4112014-1467022995 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467019392-25844 --watchdog 1960 -S 80 minisatp HOME/instance-4112014-1467022995.opb 

pid=26177
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.35 2.27 2.19 3/174 26180
/proc/meminfo: memFree=29829700/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=6460 CPUtime=0 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 334 0 0 0 0 0 0 0 20 0 1 0 35339040 6615040 211 33554432000 4194304 5646918 140735546899680 140733821637912 4817369 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 1615 212 94 355 0 1256 0

[startup+0.100113 s]
/proc/loadavg: 2.35 2.27 2.19 3/174 26180
/proc/meminfo: memFree=29829700/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=12592 CPUtime=0.09 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 1839 0 0 0 9 0 0 0 20 0 1 0 35339040 12894208 1716 33554432000 4194304 5646918 140735546899680 140733821637912 4251039 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 3148 1716 94 355 0 2789 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12592

[startup+0.200285 s]
/proc/loadavg: 2.35 2.27 2.19 3/174 26180
/proc/meminfo: memFree=29829700/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=18804 CPUtime=0.19 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 3406 0 0 0 19 0 0 0 20 0 1 0 35339040 19255296 3283 33554432000 4194304 5646918 140735546899680 140733821637912 4251039 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 4701 3283 94 355 0 4342 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18804

[startup+0.300271 s]
/proc/loadavg: 2.35 2.27 2.19 3/174 26180
/proc/meminfo: memFree=29829700/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=25304 CPUtime=0.29 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 4977 0 0 0 29 0 0 0 20 0 1 0 35339040 25911296 4854 33554432000 4194304 5646918 140735546899680 140735546898344 4953072 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 6326 4855 94 355 0 5967 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25304

[startup+0.700231 s]
/proc/loadavg: 2.35 2.27 2.19 3/174 26180
/proc/meminfo: memFree=29829700/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=51248 CPUtime=0.69 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 11491 0 0 0 67 2 0 0 20 0 1 0 35339040 52477952 11243 33554432000 4194304 5646918 140735546899680 140735546898344 4251039 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 12812 11243 94 355 0 12453 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51248

[startup+1.50027 s]
/proc/loadavg: 2.32 2.27 2.19 3/175 26181
/proc/meminfo: memFree=29758408/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=102660 CPUtime=1.49 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 24345 0 0 0 144 5 0 0 20 0 1 0 35339040 105123840 23921 33554432000 4194304 5646918 140735546899680 140735546899144 4251039 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 25665 23922 94 355 0 25306 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 102660

[startup+3.10027 s]
/proc/loadavg: 2.32 2.27 2.19 2/174 26217
/proc/meminfo: memFree=29690896/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=206980 CPUtime=3.09 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 50171 0 0 0 300 9 0 0 20 0 1 0 35339040 211947520 49374 33554432000 4194304 5646918 140735546899680 140735546898936 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 51745 49375 94 355 0 51386 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 206980

[startup+6.30026 s]
/proc/loadavg: 2.29 2.26 2.19 3/177 26223
/proc/meminfo: memFree=29405868/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=301544 CPUtime=6.29 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 75050 0 0 0 617 12 0 0 20 0 1 0 35339040 308781056 72644 33554432000 4194304 5646918 140735546899680 140735546896920 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 75386 72645 94 355 0 75027 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 301544

[startup+12.7003 s]
/proc/loadavg: 2.35 2.28 2.20 3/177 26223
/proc/meminfo: memFree=29385952/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=303392 CPUtime=12.69 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 75622 0 0 0 1257 12 0 0 20 0 1 0 35339040 310673408 73216 33554432000 4194304 5646918 140735546899680 140735546898360 4464663 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 75848 73216 105 355 0 75489 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 303392

[startup+25.5004 s]
/proc/loadavg: 2.27 2.26 2.19 3/177 26223
/proc/meminfo: memFree=29345380/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=303392 CPUtime=25.48 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 75622 0 0 0 2536 12 0 0 20 0 1 0 35339040 310673408 73216 33554432000 4194304 5646918 140735546899680 140735546898360 4252403 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 75848 73216 105 355 0 75489 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 303392

[startup+51.1004 s]
/proc/loadavg: 2.38 2.29 2.20 3/177 26223
/proc/meminfo: memFree=28836712/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=303392 CPUtime=51.08 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 75622 0 0 0 5096 12 0 0 20 0 1 0 35339040 310673408 73216 33554432000 4194304 5646918 140735546899680 140735546898360 4464673 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 75848 73216 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.27 2.20 3/177 26224
/proc/meminfo: memFree=27364680/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=1847152 CPUtime=102.28 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 451861 0 0 0 10159 69 0 0 20 0 1 0 35339040 1891483648 451097 33554432000 4194304 5646918 140735546899680 140735546743896 4832119 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 461788 451097 120 355 0 461429 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1847152

[startup+162.3 s]
/proc/loadavg: 2.24 2.26 2.19 3/177 26226
/proc/meminfo: memFree=27315628/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=1847152 CPUtime=162.27 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 452035 0 0 0 16158 69 0 0 20 0 1 0 35339040 1891483648 451429 33554432000 4194304 5646918 140735546899680 140735546743896 4831393 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 461788 451429 120 355 0 461429 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1847152

[startup+222.307 s]
/proc/loadavg: 2.31 2.27 2.20 3/177 26227
/proc/meminfo: memFree=27248808/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=1847152 CPUtime=222.26 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 452035 0 0 0 22157 69 0 0 20 0 1 0 35339040 1891483648 451623 33554432000 4194304 5646918 140735546899680 140735546743896 4817699 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 461788 451623 120 355 0 461429 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1847152

[startup+282.3 s]
/proc/loadavg: 2.21 2.25 2.19 3/177 26228
/proc/meminfo: memFree=27381824/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=1626440 CPUtime=282.24 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 466217 0 0 0 28150 74 0 0 20 0 1 0 35339040 1665474560 401637 33554432000 4194304 5646918 140735546899680 140735546898376 4402829 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 406610 401637 183 355 0 406251 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1626440

[startup+342.3 s]
/proc/loadavg: 2.16 2.23 2.18 3/177 26229
/proc/meminfo: memFree=27326600/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=1657260 CPUtime=342.23 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 466743 0 0 0 34149 74 0 0 20 0 1 0 35339040 1697034240 408852 33554432000 4194304 5646918 140735546899680 140735546898376 4398073 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 414315 408852 183 355 0 413956 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1657260

[startup+402.3 s]
/proc/loadavg: 2.23 2.23 2.18 3/177 26230
/proc/meminfo: memFree=27230120/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=1707348 CPUtime=402.22 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 467276 0 0 0 40147 75 0 0 20 0 1 0 35339040 1748324352 417600 33554432000 4194304 5646918 140735546899680 140735546898376 4402764 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 426837 417600 183 355 0 426478 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1707348

[startup+462.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/178 26235
/proc/meminfo: memFree=27127124/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=1788736 CPUtime=462.21 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 467819 0 0 0 46145 76 0 0 20 0 1 0 35339040 1831665664 431975 33554432000 4194304 5646918 140735546899680 140735546898376 4402764 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 447184 431975 183 355 0 446825 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1788736

[startup+522.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/177 26236
/proc/meminfo: memFree=27065524/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=1788736 CPUtime=522.2 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 467837 0 0 0 52144 76 0 0 20 0 1 0 35339040 1831665664 441222 33554432000 4194304 5646918 140735546899680 140735546898376 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 447184 441222 183 355 0 446825 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1788736

[startup+582.3 s]
/proc/loadavg: 2.32 2.26 2.19 3/177 26237
/proc/meminfo: memFree=26907796/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=1920996 CPUtime=582.19 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 468376 0 0 0 58142 77 0 0 20 0 1 0 35339040 1967099904 449439 33554432000 4194304 5646918 140735546899680 140735546898376 4397622 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 480249 449439 183 355 0 479890 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1920996

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


[startup+942.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/177 26244
/proc/meminfo: memFree=26527448/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=2135920 CPUtime=942.13 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 469005 0 0 0 94132 81 0 0 20 0 1 0 35339040 2187182080 504360 33554432000 4194304 5646918 140735546899680 140735546898376 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 533980 504360 183 355 0 533621 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 2135920

[startup+1002.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/177 26245
/proc/meminfo: memFree=26468112/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=2135920 CPUtime=1002.12 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 469023 0 0 0 100131 81 0 0 20 0 1 0 35339040 2187182080 513064 33554432000 4194304 5646918 140735546899680 140735546898376 4397505 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 533980 513064 183 355 0 533621 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 2135920

[startup+1062.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/178 26250
/proc/meminfo: memFree=26361272/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=2485168 CPUtime=1062.11 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 469576 0 0 0 106128 83 0 0 20 0 1 0 35339040 2544812032 534056 33554432000 4194304 5646918 140735546899680 140735546898376 4403408 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 621292 534056 183 355 0 620933 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 2485168

[startup+1122.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 26251
/proc/meminfo: memFree=26971000/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=2485168 CPUtime=1122.1 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 469617 0 0 0 112126 84 0 0 20 0 1 0 35339040 2544812032 555048 33554432000 4194304 5646918 140735546899680 140735546898376 4402788 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 621292 555048 183 355 0 620933 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 2485168

[startup+1182.3 s]
/proc/loadavg: 2.14 2.19 2.18 3/177 26252
/proc/meminfo: memFree=26952632/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=2485168 CPUtime=1182.09 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 469627 0 0 0 118125 84 0 0 20 0 1 0 35339040 2544812032 560168 33554432000 4194304 5646918 140735546899680 140735546898376 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 621292 560168 183 355 0 620933 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 2485168

[startup+1242.3 s]
/proc/loadavg: 2.15 2.18 2.17 3/177 26253
/proc/meminfo: memFree=26770428/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=2485168 CPUtime=1242.09 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 469640 0 0 0 124124 85 0 0 20 0 1 0 35339040 2544812032 566824 33554432000 4194304 5646918 140735546899680 140735546898376 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 621292 566824 183 355 0 620933 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 2485168

[startup+1302.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/177 26254
/proc/meminfo: memFree=26640660/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=2485168 CPUtime=1302.08 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 469650 0 0 0 130123 85 0 0 20 0 1 0 35339040 2544812032 571944 33554432000 4194304 5646918 140735546899680 140735546898376 4402815 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 621292 571944 183 355 0 620933 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 2485168

[startup+1362.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/177 26256
/proc/meminfo: memFree=26532484/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=2485168 CPUtime=1362.06 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 469668 0 0 0 136121 85 0 0 20 0 1 0 35339040 2544812032 581160 33554432000 4194304 5646918 140735546899680 140735546898376 4402764 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 621292 581160 183 355 0 620933 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 2485168

[startup+1422.3 s]
/proc/loadavg: 2.10 2.15 2.17 3/177 26257
/proc/meminfo: memFree=26476632/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=2485168 CPUtime=1422.06 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 469675 0 0 0 142121 85 0 0 20 0 1 0 35339040 2544812032 584744 33554432000 4194304 5646918 140735546899680 140735546898376 4403454 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 621292 584744 183 355 0 620933 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 2485168

[startup+1482.3 s]
/proc/loadavg: 2.25 2.18 2.18 3/177 26258
/proc/meminfo: memFree=26427784/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=2485168 CPUtime=1482.05 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 469686 0 0 0 148119 86 0 0 20 0 1 0 35339040 2544812032 590376 33554432000 4194304 5646918 140735546899680 140735546898376 4403408 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 621292 590376 183 355 0 620933 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 2485168

[startup+1542.31 s]
/proc/loadavg: 2.18 2.18 2.17 3/177 26259
/proc/meminfo: memFree=26369028/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=2485168 CPUtime=1542.05 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 469698 0 0 0 154119 86 0 0 20 0 1 0 35339040 2544812032 596520 33554432000 4194304 5646918 140735546899680 140735546898376 4402806 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 621292 596520 183 355 0 620933 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 2485168

[startup+1602.3 s]
/proc/loadavg: 2.25 2.19 2.18 4/177 26260
/proc/meminfo: memFree=26315344/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=2485168 CPUtime=1602.02 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 469710 0 0 0 160116 86 0 0 20 0 1 0 35339040 2544812032 602664 33554432000 4194304 5646918 140735546899680 140735546898376 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 621292 602664 183 355 0 620933 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 2485168

[startup+1662.3 s]
/proc/loadavg: 2.20 2.18 2.18 3/178 26265
/proc/meminfo: memFree=26211300/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=2485168 CPUtime=1662.02 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 469743 0 0 0 166114 88 0 0 20 0 1 0 35339040 2544812032 619560 33554432000 4194304 5646918 140735546899680 140735546898376 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 621292 619560 183 355 0 620933 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2485168

[startup+1722.3 s]
/proc/loadavg: 2.25 2.19 2.18 3/177 26266
/proc/meminfo: memFree=26155684/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=3052696 CPUtime=1722.01 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 470270 0 0 0 172113 88 0 0 20 0 1 0 35339040 3125960704 626216 33554432000 4194304 5646918 140735546899680 140735546898376 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 763174 626216 183 355 0 762815 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 3052696

[startup+1782.3 s]
/proc/loadavg: 2.25 2.20 2.18 3/177 26267
/proc/meminfo: memFree=26102976/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=3052696 CPUtime=1782 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 470284 0 0 0 178111 89 0 0 20 0 1 0 35339040 3125960704 633384 33554432000 4194304 5646918 140735546899680 140735546898376 4397622 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 763174 633384 183 355 0 762815 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 3052696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.42 2.24 2.19 3/177 26267
/proc/meminfo: memFree=26079056/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=3052696 CPUtime=1800 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 470287 0 0 0 179911 89 0 0 20 0 1 0 35339040 3125960704 634920 33554432000 4194304 5646918 140735546899680 140735546898376 4403464 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 763174 634920 183 355 0 762815 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3052696

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

[startup+1800.3 s]
/proc/loadavg: 2.42 2.24 2.19 3/177 26267
/proc/meminfo: memFree=26079056/32872528 swapFree=1581260/1720252
[pid=26180] ppid=26177 vsize=3052696 CPUtime=1800 cores=1,3,5,7
/proc/26180/stat : 26180 (minisatp) R 26177 26180 25827 0 -1 4202496 470287 0 0 0 179911 89 0 0 20 0 1 0 35339040 3125960704 634920 33554432000 4194304 5646918 140735546899680 140735546898376 4403464 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/26180/statm: 763174 634920 183 355 0 762815 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3052696

Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.12
CPU system time (s): 0.901862
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 3052696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 0.901862
maximum resident set size= 2539680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 470287
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= 36
involuntary context switches= 1866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.88326 second user time and 6.81696 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-27 12:23:16
IDJOB=4112014
IDBENCH=3025
IDSOLVER=2555
FILE ID=node117/4112014-1467022995
RUNJOBID= node117-1467019392-25844
PBS_JOBID= 19976972
Free space on /tmp= 71596 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-726468498-max.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112014-1467022995/watcher-4112014-1467022995 -o /tmp/evaluation-result-4112014-1467022995/solver-4112014-1467022995 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467019392-25844 --watchdog 1960 -S 80 minisatp HOME/instance-4112014-1467022995.opb

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

MD5SUM BENCH= ed1765c8e2f5b9ac0be00c2d97d71991
RANDOM SEED=1791295568

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.630
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:        29066264 kB
Buffers:          105472 kB
Cached:           465296 kB
SwapCached:         2208 kB
Active:           894804 kB
Inactive:         443968 kB
Active(anon):     765988 kB
Inactive(anon):     4136 kB
Active(file):     128816 kB
Inactive(file):   439832 kB
Unevictable:     1720252 kB
Mlocked:         1581260 kB
SwapTotal:      67108856 kB
SwapFree:       67099644 kB
Dirty:             22108 kB
Writeback:             0 kB
AnonPages:       2488448 kB
Mapped:             8792 kB
Shmem:                 0 kB
Slab:             612920 kB
SReclaimable:      56824 kB
SUnreclaim:       556096 kB
KernelStack:        1488 kB
PageTables:         9764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3157776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 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-4112014-1467022995.opb

Free space on /tmp at the end= 71592 MiB
End job on node117 at 2016-06-27 12:53:17