Trace number 4114414

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

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006-max.opb
MD5SUM9af4cec1a3de729e6d2b359a17678fc7
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 variables89251
Total number of constraints265861
Number of constraints which are clauses265860
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 constraint88620
Number of terms in the objective function 211
Biggest coefficient in the objective function 1645504557321206042154969182557350504982735865633579863348609024
Number of bits for the biggest coefficient in the objective function 211
Sum of the numbers in the objective function 3291009114642412084309938365114701009965471731267159726697218047
Number of bits of the sum of numbers in the objective function 211
Biggest number in a constraint 2227754207823337509102134573095845373483021732054960903603121346630505452738612005129840239901060253798165190221481644194672219102234100585084307285020612396607419274589973120157653414182912
Number of bits of the biggest number in a constraint 630
Biggest sum of numbers in a constraint 8911016831293350036408538292383381493932086928219843614412485386260498644612268667133724011390101656086782377029608255490932025454511314090929376002563120558209056959186693543806592147551031
Number of bits of the biggest sum of numbers631
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...
5.88/5.94	c Converting 265862 PB-constraints to clauses...
5.88/5.97	c   -- Unit propagations: (none)
56.99/57.00	c   -- Detecting intervals from adjacent constraints: #
56.99/57.03	c   -- Clauses(.)/Splits(s): ..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
57.19/57.24	c ---[   0]---> Adder-cost: 132502   maxlim: 568875425280962414227865108305682476977906450482412451901171264587605292248790150909512393850624318014712286671846596447103585483   bits: 428/428
1800.06/1800.40	|  Eliminated clauses:           0.01 Mb                                      |
1800.06/1800.40	============================[ Search Statistics ]==============================
1800.06/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.06/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.06/1800.40	===============================================================================
1800.06/1800.40	|       100 |  198406  1141560  3791775 |   418572      100     10 | 10.635 % |
1800.06/1800.40	|       250 |  198406  1141560  3791775 |   460429      250     32 | 10.635 % |
1800.06/1800.40	|       475 |  198406  1141560  3791775 |   506472      475     31 | 10.635 % |
1800.06/1800.40	|       812 |  198406  1141560  3791775 |   557119      812     31 | 10.635 % |
1800.06/1800.40	|      1318 |  198406  1141560  3791775 |   612831     1318     33 | 10.635 % |
1800.06/1800.40	|      2077 |  198406  1141560  3791775 |   674114     2077     38 | 10.635 % |
1800.06/1800.40	|      3216 |  198406  1141560  3791775 |   741525     3216     63 | 10.635 % |
1800.06/1800.40	|      4924 |  198406  1141560  3791775 |   815678     4924     58 | 10.635 % |
1800.06/1800.40	|      7486 |  198406  1141560  3791775 |   897246     7486     57 | 10.635 % |
1800.06/1800.40	|     11330 |  198406  1141560  3791775 |   986970    11330     57 | 10.635 % |
1800.06/1800.40	|     17096 |  198406  1141560  3791775 |  1085667    17096     62 | 10.635 % |
1800.06/1800.40	|     25745 |  198406  1141560  3791775 |  1194234    25745     62 | 10.635 % |
1800.06/1800.40	|     38719 |  198405  1141560  3791775 |  1313658    38714     68 | 10.635 % |
1800.06/1800.40	|     58180 |  198404  1141560  3791775 |  1445024    58174     70 | 10.636 % |
1800.06/1800.40	|     87372 |  198404  1141560  3791775 |  1589526    87366     72 | 10.636 % |
1800.06/1800.40	|    131161 |  198404  1141560  3791775 |  1748479   131155     75 | 10.636 % |
1800.06/1800.40	|    196845 |  198404  1141560  3791775 |  1923327   196839     79 | 10.636 % |
1800.06/1800.40	|    295371 |  198404  1141560  3791775 |  2115659   295365     85 | 10.636 % |
1800.06/1800.40	|    443160 |  198404  1141560  3791775 |  2327225   443154     90 | 10.636 % |
1800.06/1800.40	|    664843 |  198403  1141560  3791775 |  2559948   664817    103 | 10.636 % |
1800.06/1800.40	|    997368 |  198403  1141560  3791775 |  2815943   997342    110 | 10.636 % |
1800.06/1800.40	|   1496156 |  198360  1141560  3791775 |  3097537  1496087    112 | 10.655 % |
1800.06/1800.40	c 
1800.06/1800.40	c *** TERMINATED ***
1800.06/1800.40	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4114414-1467021207/watcher-4114414-1467021207 -o /tmp/evaluation-result-4114414-1467021207/solver-4114414-1467021207 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1467019394-24145 --watchdog 1960 -S 80 minisatp HOME/instance-4114414-1467021207.opb 

pid=24342
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.14 2.11 1.83 4/176 24345
/proc/meminfo: memFree=30385512/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=6468 CPUtime=0 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 340 0 0 0 0 0 0 0 20 0 1 0 35160450 6623232 217 33554432000 4194304 5646918 140735219745488 140736997492744 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 1617 217 94 355 0 1258 0

[startup+0.100164 s]
/proc/loadavg: 2.14 2.11 1.83 4/176 24345
/proc/meminfo: memFree=30385512/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=12300 CPUtime=0.09 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 1766 0 0 0 9 0 0 0 20 0 1 0 35160450 12595200 1643 33554432000 4194304 5646918 140735219745488 140736997492744 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 3075 1644 94 355 0 2716 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12300

[startup+0.200307 s]
/proc/loadavg: 2.14 2.11 1.83 4/176 24345
/proc/meminfo: memFree=30385512/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=18348 CPUtime=0.19 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 3284 0 0 0 19 0 0 0 20 0 1 0 35160450 18788352 3161 33554432000 4194304 5646918 140735219745488 140735219743992 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 4587 3162 94 355 0 4228 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18348

[startup+0.300311 s]
/proc/loadavg: 2.14 2.11 1.83 4/176 24345
/proc/meminfo: memFree=30385512/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=24468 CPUtime=0.29 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 4789 0 0 0 29 0 0 0 20 0 1 0 35160450 25055232 4666 33554432000 4194304 5646918 140735219745488 140735219743992 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 6117 4666 94 355 0 5758 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24468

[startup+0.700274 s]
/proc/loadavg: 2.14 2.11 1.83 4/176 24345
/proc/meminfo: memFree=30385512/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=49580 CPUtime=0.69 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 11013 0 0 0 68 1 0 0 20 0 1 0 35160450 50769920 10849 33554432000 4194304 5646918 140735219745488 140735219743992 4866896 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 12395 10862 94 355 0 12036 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49580

[startup+1.50026 s]
/proc/loadavg: 2.21 2.13 1.83 4/177 24346
/proc/meminfo: memFree=30318032/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=100380 CPUtime=1.49 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 23792 0 0 0 146 3 0 0 20 0 1 0 35160450 102789120 23368 33554432000 4194304 5646918 140735219745488 140735219744856 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 25128 23369 94 355 0 24769 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 100380

[startup+3.10025 s]
/proc/loadavg: 2.21 2.13 1.83 4/177 24346
/proc/meminfo: memFree=30247984/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=193788 CPUtime=3.09 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 47215 0 0 0 303 6 0 0 20 0 1 0 35160450 198438912 46418 33554432000 4194304 5646918 140735219745488 140735219744856 4953072 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 48447 46418 94 355 0 48088 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 193788

[startup+6.30029 s]
/proc/loadavg: 2.21 2.13 1.83 4/177 24346
/proc/meminfo: memFree=30121512/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=274380 CPUtime=6.28 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 68391 0 0 0 619 9 0 0 20 0 1 0 35160450 280965120 66579 33554432000 4194304 5646918 140735219745488 140735219744168 4252478 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 68595 66579 105 355 0 68236 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 274380

[startup+12.7003 s]
/proc/loadavg: 2.18 2.12 1.83 4/177 24346
/proc/meminfo: memFree=30119932/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=274380 CPUtime=12.68 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 68391 0 0 0 1259 9 0 0 20 0 1 0 35160450 280965120 66579 33554432000 4194304 5646918 140735219745488 140735219744168 4457080 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 68595 66579 105 355 0 68236 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 274380

[startup+25.5004 s]
/proc/loadavg: 2.22 2.13 1.84 4/177 24346
/proc/meminfo: memFree=30120552/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=274380 CPUtime=25.48 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 68391 0 0 0 2539 9 0 0 20 0 1 0 35160450 280965120 66579 33554432000 4194304 5646918 140735219745488 140735219744168 4464694 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 68595 66579 105 355 0 68236 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 274380

[startup+51.1003 s]
/proc/loadavg: 2.23 2.14 1.85 4/177 24347
/proc/meminfo: memFree=30120504/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=274380 CPUtime=51.09 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 68391 0 0 0 5099 10 0 0 20 0 1 0 35160450 280965120 66579 33554432000 4194304 5646918 140735219745488 140735219744168 4252434 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 68595 66579 105 355 0 68236 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 274380

[startup+102.3 s]
/proc/loadavg: 2.09 2.11 1.85 4/177 24348
/proc/meminfo: memFree=27052600/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=1615520 CPUtime=102.28 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 396005 0 0 0 10168 60 0 0 20 0 1 0 35160450 1654292480 394824 33554432000 4194304 5646918 140735219745488 140735219596936 4560508 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 403880 394824 120 355 0 403521 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1615520

[startup+162.3 s]
/proc/loadavg: 2.07 2.10 1.86 4/177 24349
/proc/meminfo: memFree=27050772/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=1615520 CPUtime=162.26 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 396019 0 0 0 16166 60 0 0 20 0 1 0 35160450 1654292480 394838 33554432000 4194304 5646918 140735219745488 140735219596936 4824631 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 403880 394838 120 355 0 403521 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1615520

[startup+222.307 s]
/proc/loadavg: 2.12 2.11 1.88 4/177 24350
/proc/meminfo: memFree=27029968/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=1610248 CPUtime=222.26 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 402592 0 0 0 22165 61 0 0 20 0 1 0 35160450 1648893952 400093 33554432000 4194304 5646918 140735219745488 140735219707144 4831266 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 402562 400093 123 355 0 402203 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1610248

[startup+282.3 s]
/proc/loadavg: 2.13 2.12 1.90 4/177 24351
/proc/meminfo: memFree=27220136/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=1424860 CPUtime=282.24 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 408120 0 0 0 28160 64 0 0 20 0 1 0 35160450 1459056640 352070 33554432000 4194304 5646918 140735219745488 140735219744184 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 356215 352070 183 355 0 355856 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1424860

[startup+342.3 s]
/proc/loadavg: 2.05 2.09 1.90 4/177 24352
/proc/meminfo: memFree=27436972/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=1455680 CPUtime=342.24 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 408654 0 0 0 34159 65 0 0 20 0 1 0 35160450 1490616320 361286 33554432000 4194304 5646918 140735219745488 140735219744184 4402684 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 363920 361286 183 355 0 363561 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1455680

[startup+402.3 s]
/proc/loadavg: 2.06 2.09 1.91 4/178 24357
/proc/meminfo: memFree=27367600/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=1505768 CPUtime=402.22 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 409185 0 0 0 40157 65 0 0 20 0 1 0 35160450 1541906432 370502 33554432000 4194304 5646918 140735219745488 140735219744184 4397488 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 376442 370502 183 355 0 376083 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1505768

[startup+462.3 s]
/proc/loadavg: 2.35 2.15 1.94 4/178 24381
/proc/meminfo: memFree=27298708/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=1587156 CPUtime=462.22 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 409718 0 0 0 46156 66 0 0 20 0 1 0 35160450 1625247744 379206 33554432000 4194304 5646918 140735219745488 140735219744184 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 396789 379206 183 355 0 396430 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1587156

[startup+522.3 s]
/proc/loadavg: 2.16 2.13 1.94 4/177 24382
/proc/meminfo: memFree=27211000/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=1719416 CPUtime=522.21 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 410169 0 0 0 52155 66 0 0 20 0 1 0 35160450 1760681984 394985 33554432000 4194304 5646918 140735219745488 140735219744184 4416598 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 429854 394985 183 355 0 429495 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1719416

[startup+582.3 s]
/proc/loadavg: 2.06 2.11 1.94 4/177 24383
/proc/meminfo: memFree=27096160/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=1719416 CPUtime=582.2 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 410294 0 0 0 58153 67 0 0 20 0 1 0 35160450 1760681984 408906 33554432000 4194304 5646918 140735219745488 140735219744184 4389052 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 429854 408906 183 355 0 429495 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1719416

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


[startup+882.307 s]
/proc/loadavg: 2.17 2.16 2.00 3/177 24445
/proc/meminfo: memFree=26520512/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=1934340 CPUtime=882.11 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 410984 0 0 0 88141 70 0 0 20 0 1 0 35160450 1980764160 455518 33554432000 4194304 5646918 140735219745488 140735219744184 4403061 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 483585 455518 183 355 0 483226 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 1934340

[startup+942.3 s]
/proc/loadavg: 2.27 2.19 2.02 3/177 24446
/proc/meminfo: memFree=26427388/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=1934340 CPUtime=942.1 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 411029 0 0 0 94139 71 0 0 20 0 1 0 35160450 1980764160 478622 33554432000 4194304 5646918 140735219745488 140735219744184 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 483585 478622 183 355 0 483226 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 1934340

[startup+1002.3 s]
/proc/loadavg: 2.27 2.20 2.03 4/178 24451
/proc/meminfo: memFree=26404088/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=2283588 CPUtime=1002.09 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 411556 0 0 0 100137 72 0 0 20 0 1 0 35160450 2338394112 484285 33554432000 4194304 5646918 140735219745488 140735219744184 4397625 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 570897 484285 183 355 0 570538 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 2283588

[startup+1062.3 s]
/proc/loadavg: 2.24 2.20 2.04 3/177 24452
/proc/meminfo: memFree=26691300/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=2283588 CPUtime=1062.08 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 411572 0 0 0 106136 72 0 0 20 0 1 0 35160450 2338394112 491482 33554432000 4194304 5646918 140735219745488 140735219744184 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 570897 491482 183 355 0 570538 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 2283588

[startup+1122.3 s]
/proc/loadavg: 2.40 2.26 2.07 3/177 24453
/proc/meminfo: memFree=26651860/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=2283588 CPUtime=1122.07 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 411585 0 0 0 112135 72 0 0 20 0 1 0 35160450 2338394112 498207 33554432000 4194304 5646918 140735219745488 140735219744184 4398927 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 570897 498207 183 355 0 570538 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 2283588

[startup+1182.3 s]
/proc/loadavg: 2.28 2.24 2.07 3/177 24454
/proc/meminfo: memFree=26603044/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=2283588 CPUtime=1182.06 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 411599 0 0 0 118133 73 0 0 20 0 1 0 35160450 2338394112 504870 33554432000 4194304 5646918 140735219745488 140735219744184 4403438 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 570897 504870 183 355 0 570538 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 2283588

[startup+1242.3 s]
/proc/loadavg: 2.14 2.21 2.07 3/177 24455
/proc/meminfo: memFree=26563868/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=2283588 CPUtime=1242.05 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 411609 0 0 0 124132 73 0 0 20 0 1 0 35160450 2338394112 509478 33554432000 4194304 5646918 140735219745488 140735219744184 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 570897 509478 183 355 0 570538 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 2283588

[startup+1302.3 s]
/proc/loadavg: 2.21 2.21 2.08 3/177 24457
/proc/meminfo: memFree=26530908/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=2283588 CPUtime=1302.05 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 411622 0 0 0 130131 74 0 0 20 0 1 0 35160450 2338394112 516134 33554432000 4194304 5646918 140735219745488 140735219744184 4403061 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 570897 516134 183 355 0 570538 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 2283588

[startup+1362.3 s]
/proc/loadavg: 2.16 2.20 2.08 4/177 24458
/proc/meminfo: memFree=26444452/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=2283588 CPUtime=1362.04 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 411658 0 0 0 136129 75 0 0 20 0 1 0 35160450 2338394112 534054 33554432000 4194304 5646918 140735219745488 140735219744184 4402827 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 570897 534054 183 355 0 570538 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 2283588

[startup+1422.3 s]
/proc/loadavg: 2.16 2.19 2.09 3/177 24459
/proc/meminfo: memFree=26364712/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=2283588 CPUtime=1422.02 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 411675 0 0 0 142127 75 0 0 20 0 1 0 35160450 2338394112 541734 33554432000 4194304 5646918 140735219745488 140735219744184 4402922 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 570897 541734 183 355 0 570538 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 2283588

[startup+1482.3 s]
/proc/loadavg: 2.23 2.20 2.10 3/177 24460
/proc/meminfo: memFree=26327184/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=2283588 CPUtime=1482.01 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 411691 0 0 0 148125 76 0 0 20 0 1 0 35160450 2338394112 545014 33554432000 4194304 5646918 140735219745488 140735219744184 4404176 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 570897 545014 183 355 0 570538 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 2283588

[startup+1542.31 s]
/proc/loadavg: 2.27 2.21 2.10 4/177 24461
/proc/meminfo: memFree=26273536/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=2283588 CPUtime=1542 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 411706 0 0 0 154124 76 0 0 20 0 1 0 35160450 2338394112 550760 33554432000 4194304 5646918 140735219745488 140735219744184 4402818 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 570897 550760 183 355 0 570538 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 2283588

[startup+1602.3 s]
/proc/loadavg: 2.18 2.20 2.10 3/178 24466
/proc/meminfo: memFree=26243112/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=2283588 CPUtime=1601.99 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 411716 0 0 0 160123 76 0 0 20 0 1 0 35160450 2338394112 555368 33554432000 4194304 5646918 140735219745488 140735219744184 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 570897 555368 183 355 0 570538 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 2283588

[startup+1662.3 s]
/proc/loadavg: 2.23 2.20 2.10 3/177 24467
/proc/meminfo: memFree=26198508/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=2283588 CPUtime=1661.98 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 411730 0 0 0 166121 77 0 0 20 0 1 0 35160450 2338394112 562536 33554432000 4194304 5646918 140735219745488 140735219744184 4397472 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 570897 562536 183 355 0 570538 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 2283588

[startup+1722.3 s]
/proc/loadavg: 2.14 2.18 2.10 3/177 24468
/proc/meminfo: memFree=26111868/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=2283588 CPUtime=1721.97 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 411739 0 0 0 172120 77 0 0 20 0 1 0 35160450 2338394112 566632 33554432000 4194304 5646918 140735219745488 140735219744184 4402684 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 570897 566632 183 355 0 570538 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 2283588

[startup+1782.3 s]
/proc/loadavg: 2.10 2.16 2.09 3/177 24469
/proc/meminfo: memFree=26068700/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=2851116 CPUtime=1781.96 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 412263 0 0 0 178119 77 0 0 20 0 1 0 35160450 2919542784 572264 33554432000 4194304 5646918 140735219745488 140735219744184 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 712779 572264 183 355 0 712420 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 2851116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.15 2.17 2.09 3/177 24469
/proc/meminfo: memFree=26062308/32872528 swapFree=870628/942168
[pid=24345] ppid=24342 vsize=2851116 CPUtime=1800.06 cores=1,3,5,7
/proc/24345/stat : 24345 (minisatp) R 24342 24345 24128 0 -1 4202496 412265 0 0 0 179929 77 0 0 20 0 1 0 35160450 2919542784 573288 33554432000 4194304 5646918 140735219745488 140735219744184 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24345/statm: 712779 573288 183 355 0 712420 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2851116

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.29
CPU system time (s): 0.78588
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 2851116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.78588
maximum resident set size= 2293152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 412265
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= 105
involuntary context switches= 1904

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5983 second user time and 7.08992 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-27 11:53:27
IDJOB=4114414
IDBENCH=2988
IDSOLVER=2555
FILE ID=node113/4114414-1467021207
RUNJOBID= node113-1467019394-24145
PBS_JOBID= 19976976
Free space on /tmp= 71696 MiB

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

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

MD5SUM BENCH= 9af4cec1a3de729e6d2b359a17678fc7
RANDOM SEED=431663090

node113.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.699
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.39
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.699
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.58
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.699
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.699
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.699
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.699
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.699
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30385932 kB
Buffers:           71660 kB
Cached:           394268 kB
SwapCached:        18836 kB
Active:           438292 kB
Inactive:         373488 kB
Active(anon):     328476 kB
Inactive(anon):    20016 kB
Active(file):     109816 kB
Inactive(file):   353472 kB
Unevictable:      942168 kB
Mlocked:          870628 kB
SwapTotal:      67108856 kB
SwapFree:       67082252 kB
Dirty:             44528 kB
Writeback:             4 kB
AnonPages:       1270448 kB
Mapped:             8776 kB
Shmem:                 0 kB
Slab:             598968 kB
SReclaimable:      42568 kB
SUnreclaim:       556400 kB
KernelStack:        1432 kB
PageTables:         6668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1395424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 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-4114414-1467021207.opb

Free space on /tmp at the end= 71692 MiB
End job on node113 at 2016-06-27 12:23:28