Trace number 3721028

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 NameAnswerCPU timeWall clock time
PB07: minisat+ 1.14? (TO) 1800.07 1800.41

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
MD5SUMa399b3055416a9d1117a7f2bb11b2cef
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark817.196
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1440
Total number of constraints86040
Number of constraints which are clauses85680
Number of constraints which are cardinality constraints (but not clauses)360
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
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...
1.59/1.68	c Converting 86400 PB-constraints to clauses...
1.59/1.68	c   -- Unit propagations: (none)
1.59/1.68	c   -- Detecting intervals from adjacent constraints: ########################################################################################################################################################################################################################################################################################################################################################################
1.59/1.69	c   -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.69/1.78	c ---[86398]---> BDD-cost:    5
1.69/1.78	c ---[86396]---> BDD-cost:    5
1.69/1.78	c ---[86394]---> BDD-cost:    5
1.69/1.78	c ---[86392]---> BDD-cost:    5
1.69/1.78	c ---[86390]---> BDD-cost:    5
1.69/1.79	c ---[86388]---> BDD-cost:    5
1.69/1.79	c ---[86386]---> BDD-cost:    5
1.69/1.79	c ---[86384]---> BDD-cost:    5
1.69/1.79	c ---[86382]---> BDD-cost:    5
1.69/1.79	c ---[86380]---> BDD-cost:    5
1.69/1.79	c ---[86378]---> BDD-cost:    5
1.69/1.79	c ---[86376]---> BDD-cost:    5
1.69/1.79	c ---[86374]---> BDD-cost:    5
1.69/1.79	c ---[86372]---> BDD-cost:    5
1.69/1.79	c ---[86370]---> BDD-cost:    5
1.69/1.79	c ---[86368]---> BDD-cost:    5
1.69/1.79	c ---[86366]---> BDD-cost:    5
1.69/1.79	c ---[86364]---> BDD-cost:    5
1.69/1.79	c ---[86362]---> BDD-cost:    5
1.69/1.79	c ---[86360]---> BDD-cost:    5
1.69/1.79	c ---[86358]---> BDD-cost:    5
1.69/1.79	c ---[86356]---> BDD-cost:    5
1.69/1.79	c ---[86354]---> BDD-cost:    5
1.69/1.79	c ---[86352]---> BDD-cost:    5
1.69/1.79	c ---[86350]---> BDD-cost:    5
1.69/1.79	c ---[86348]---> BDD-cost:    5
1.69/1.79	c ---[86346]---> BDD-cost:    5
1.69/1.79	c ---[86344]---> BDD-cost:    5
1.69/1.79	c ---[86342]---> BDD-cost:    5
1.69/1.79	c ---[86340]---> BDD-cost:    5
1.69/1.79	c ---[86338]---> BDD-cost:    5
1.69/1.79	c ---[86336]---> BDD-cost:    5
1.69/1.79	c ---[86334]---> BDD-cost:    5
1.69/1.79	c ---[86332]---> BDD-cost:    5
1.69/1.79	c ---[86330]---> BDD-cost:    5
1.69/1.79	c ---[86328]---> BDD-cost:    5
1.69/1.79	c ---[86326]---> BDD-cost:    5
1.69/1.79	c ---[86324]---> BDD-cost:    5
1.69/1.79	c ---[86322]---> BDD-cost:    5
1.69/1.79	c ---[86320]---> BDD-cost:    5
1.69/1.79	c ---[86318]---> BDD-cost:    5
1.69/1.79	c ---[86316]---> BDD-cost:    5
1.69/1.79	c ---[86314]---> BDD-cost:    5
1.69/1.79	c ---[86312]---> BDD-cost:    5
1.69/1.79	c ---[86310]---> BDD-cost:    5
1.69/1.79	c ---[86308]---> BDD-cost:    5
1.69/1.79	c ---[86306]---> BDD-cost:    5
1.69/1.79	c ---[86304]---> BDD-cost:    5
1.69/1.79	c ---[86302]---> BDD-cost:    5
1.69/1.79	c ---[86300]---> BDD-cost:    5
1.69/1.79	c ---[86298]---> BDD-cost:    5
1.69/1.79	c ---[86296]---> BDD-cost:    5
1.69/1.79	c ---[86294]---> BDD-cost:    5
1.69/1.79	c ---[86292]---> BDD-cost:    5
1.69/1.79	c ---[86290]---> BDD-cost:    5
1.69/1.79	c ---[86288]---> BDD-cost:    5
1.69/1.79	c ---[86286]---> BDD-cost:    5
1.69/1.79	c ---[86284]---> BDD-cost:    5
1.69/1.79	c ---[86282]---> BDD-cost:    5
1.69/1.79	c ---[86280]---> BDD-cost:    5
1.69/1.79	c ---[86278]---> BDD-cost:    5
1.69/1.79	c ---[86276]---> BDD-cost:    5
1.69/1.79	c ---[86274]---> BDD-cost:    5
1.69/1.79	c ---[86272]---> BDD-cost:    5
1.69/1.79	c ---[86270]---> BDD-cost:    5
1.69/1.79	c ---[86268]---> BDD-cost:    5
1.69/1.79	c ---[86266]---> BDD-cost:    5
1.69/1.79	c ---[86264]---> BDD-cost:    5
1.69/1.79	c ---[86262]---> BDD-cost:    5
1.69/1.79	c ---[86260]---> BDD-cost:    5
1.69/1.79	c ---[86258]---> BDD-cost:    5
1.69/1.79	c ---[86256]---> BDD-cost:    5
1.69/1.79	c ---[86254]---> BDD-cost:    5
1.69/1.79	c ---[86252]---> BDD-cost:    5
1.69/1.79	c ---[86250]---> BDD-cost:    5
1.69/1.79	c ---[86248]---> BDD-cost:    5
1.69/1.79	c ---[86246]---> BDD-cost:    5
1.69/1.79	c ---[86244]---> BDD-cost:    5
1.69/1.79	c ---[86242]---> BDD-cost:    5
1.69/1.79	c ---[86240]---> BDD-cost:    5
1.69/1.79	c ---[86238]---> BDD-cost:    5
1.69/1.79	c ---[86236]---> BDD-cost:    5
1.69/1.79	c ---[86234]---> BDD-cost:    5
1.69/1.79	c ---[86232]---> BDD-cost:    5
1.69/1.79	c ---[86230]---> BDD-cost:    5
1.69/1.79	c ---[86228]---> BDD-cost:    5
1.69/1.79	c ---[86226]---> BDD-cost:    5
1.69/1.79	c ---[86224]---> BDD-cost:    5
1.69/1.79	c ---[86222]---> BDD-cost:    5
1.69/1.79	c ---[86220]---> BDD-cost:    5
1.69/1.79	c ---[86218]---> BDD-cost:    5
1.69/1.79	c ---[86216]---> BDD-cost:    5
1.69/1.79	c ---[86214]---> BDD-cost:    5
1.69/1.79	c ---[86212]---> BDD-cost:    5
1.69/1.79	c ---[86210]---> BDD-cost:    5
1.69/1.79	c ---[86208]---> BDD-cost:    5
1.69/1.79	c ---[86206]---> BDD-cost:    5
1.69/1.79	c ---[86204]---> BDD-cost:    5
1.69/1.79	c ---[86202]---> BDD-cost:    5
1.69/1.79	c ---[86200]---> BDD-cost:    5
1.69/1.79	c ---[86198]---> BDD-cost:    5
1.69/1.79	c ---[86196]---> BDD-cost:    5
1.69/1.79	c ---[86194]---> BDD-cost:    5
1.69/1.79	c ---[86192]---> BDD-cost:    5
1.69/1.79	c ---[86190]---> BDD-cost:    5
1.69/1.79	c ---[86188]---> BDD-cost:    5
1.69/1.79	c ---[86186]---> BDD-cost:    5
1.69/1.79	c ---[86184]---> BDD-cost:    5
1.69/1.79	c ---[86182]---> BDD-cost:    5
1.69/1.79	c ---[86180]---> BDD-cost:    5
1.69/1.79	c ---[86178]---> BDD-cost:    5
1.69/1.79	c ---[86176]---> BDD-cost:    5
1.69/1.79	c ---[86174]---> BDD-cost:    5
1.69/1.79	c ---[86172]---> BDD-cost:    5
1.69/1.79	c ---[86170]---> BDD-cost:    5
1.69/1.79	c ---[86168]---> BDD-cost:    5
1.69/1.79	c ---[86166]---> BDD-cost:    5
1.69/1.79	c ---[86164]---> BDD-cost:    5
1.69/1.79	c ---[86162]---> BDD-cost:    5
1.69/1.79	c ---[86160]---> BDD-cost:    5
1.69/1.79	c ---[86158]---> BDD-cost:    5
1.69/1.79	c ---[86156]---> BDD-cost:    5
1.69/1.79	c ---[86154]---> BDD-cost:    5
1.69/1.79	c ---[86152]---> BDD-cost:    5
1.69/1.79	c ---[86150]---> BDD-cost:    5
1.69/1.79	c ---[86148]---> BDD-cost:    5
1.69/1.79	c ---[86146]---> BDD-cost:    5
1.69/1.79	c ---[86144]---> BDD-cost:    5
1.69/1.79	c ---[86142]---> BDD-cost:    5
1.69/1.79	c ---[86140]---> BDD-cost:    5
1.69/1.79	c ---[86138]---> BDD-cost:    5
1.69/1.79	c ---[86136]---> BDD-cost:    5
1.69/1.79	c ---[86134]---> BDD-cost:    5
1.69/1.79	c ---[86132]---> BDD-cost:    5
1.69/1.79	c ---[86130]---> BDD-cost:    5
1.69/1.79	c ---[86128]---> BDD-cost:    5
1.69/1.79	c ---[86126]---> BDD-cost:    5
1.69/1.79	c ---[86124]---> BDD-cost:    5
1.69/1.79	c ---[86122]---> BDD-cost:    5
1.69/1.79	c ---[86120]---> BDD-cost:    5
1.69/1.79	c ---[86118]---> BDD-cost:    5
1.69/1.79	c ---[86116]---> BDD-cost:    5
1.69/1.79	c ---[86114]---> BDD-cost:    5
1.69/1.79	c ---[86112]---> BDD-cost:    5
1.69/1.79	c ---[86110]---> BDD-cost:    5
1.69/1.79	c ---[86108]---> BDD-cost:    5
1.69/1.79	c ---[86106]---> BDD-cost:    5
1.69/1.79	c ---[86104]---> BDD-cost:    5
1.69/1.79	c ---[86102]---> BDD-cost:    5
1.69/1.79	c ---[86100]---> BDD-cost:    5
1.69/1.79	c ---[86098]---> BDD-cost:    5
1.69/1.79	c ---[86096]---> BDD-cost:    5
1.69/1.79	c ---[86094]---> BDD-cost:    5
1.69/1.79	c ---[86092]---> BDD-cost:    5
1.69/1.79	c ---[86090]---> BDD-cost:    5
1.69/1.79	c ---[86088]---> BDD-cost:    5
1.69/1.79	c ---[86086]---> BDD-cost:    5
1.69/1.79	c ---[86084]---> BDD-cost:    5
1.69/1.79	c ---[86082]---> BDD-cost:    5
1.69/1.79	c ---[86080]---> BDD-cost:    5
1.69/1.79	c ---[86078]---> BDD-cost:    5
1.69/1.79	c ---[86076]---> BDD-cost:    5
1.69/1.79	c ---[86074]---> BDD-cost:    5
1.69/1.79	c ---[86072]---> BDD-cost:    5
1.69/1.79	c ---[86070]---> BDD-cost:    5
1.69/1.79	c ---[86068]---> BDD-cost:    5
1.69/1.79	c ---[86066]---> BDD-cost:    5
1.69/1.79	c ---[86064]---> BDD-cost:    5
1.69/1.79	c ---[86062]---> BDD-cost:    5
1.69/1.79	c ---[86060]---> BDD-cost:    5
1.69/1.79	c ---[86058]---> BDD-cost:    5
1.69/1.79	c ---[86056]---> BDD-cost:    5
1.69/1.79	c ---[86054]---> BDD-cost:    5
1.69/1.79	c ---[86052]---> BDD-cost:    5
1.69/1.79	c ---[86050]---> BDD-cost:    5
1.69/1.79	c ---[86048]---> BDD-cost:    5
1.69/1.79	c ---[86046]---> BDD-cost:    5
1.69/1.79	c ---[86044]---> BDD-cost:    5
1.69/1.79	c ---[86042]---> BDD-cost:    5
1.69/1.79	c ---[86040]---> BDD-cost:    5
1.69/1.79	c ---[86038]---> BDD-cost:    5
1.69/1.79	c ---[86036]---> BDD-cost:    5
1.69/1.79	c ---[86034]---> BDD-cost:    5
1.69/1.79	c ---[86032]---> BDD-cost:    5
1.69/1.79	c ---[86030]---> BDD-cost:    5
1.69/1.79	c ---[86028]---> BDD-cost:    5
1.69/1.79	c ---[86026]---> BDD-cost:    5
1.69/1.79	c ---[86024]---> BDD-cost:    5
1.69/1.79	c ---[86022]---> BDD-cost:    5
1.69/1.79	c ---[86020]---> BDD-cost:    5
1.69/1.79	c ---[86018]---> BDD-cost:    5
1.69/1.79	c ---[86016]---> BDD-cost:    5
1.69/1.79	c ---[86014]---> BDD-cost:    5
1.69/1.79	c ---[86012]---> BDD-cost:    5
1.69/1.79	c ---[86010]---> BDD-cost:    5
1.69/1.79	c ---[86008]---> BDD-cost:    5
1.69/1.79	c ---[86006]---> BDD-cost:    5
1.69/1.79	c ---[86004]---> BDD-cost:    5
1.69/1.79	c ---[86002]---> BDD-cost:    5
1.69/1.79	c ---[86000]---> BDD-cost:    5
1.69/1.79	c ---[85998]---> BDD-cost:    5
1.69/1.79	c ---[85996]---> BDD-cost:    5
1.69/1.79	c ---[85994]---> BDD-cost:    5
1.69/1.79	c ---[85992]---> BDD-cost:    5
1.69/1.79	c ---[85990]---> BDD-cost:    5
1.69/1.79	c ---[85988]---> BDD-cost:    5
1.69/1.79	c ---[85986]---> BDD-cost:    5
1.69/1.79	c ---[85984]---> BDD-cost:    5
1.69/1.79	c ---[85982]---> BDD-cost:    5
1.69/1.79	c ---[85980]---> BDD-cost:    5
1.69/1.79	c ---[85978]---> BDD-cost:    5
1.69/1.79	c ---[85976]---> BDD-cost:    5
1.69/1.79	c ---[85974]---> BDD-cost:    5
1.69/1.79	c ---[85972]---> BDD-cost:    5
1.69/1.79	c ---[85970]---> BDD-cost:    5
1.69/1.79	c ---[85968]---> BDD-cost:    5
1.69/1.79	c ---[85966]---> BDD-cost:    5
1.69/1.79	c ---[85964]---> BDD-cost:    5
1.69/1.79	c ---[85962]---> BDD-cost:    5
1.69/1.79	c ---[85960]---> BDD-cost:    5
1.69/1.79	c ---[85958]---> BDD-cost:    5
1.69/1.79	c ---[85956]---> BDD-cost:    5
1.69/1.79	c ---[85954]---> BDD-cost:    5
1.69/1.79	c ---[85952]---> BDD-cost:    5
1.69/1.79	c ---[85950]---> BDD-cost:    5
1.69/1.79	c ---[85948]---> BDD-cost:    5
1.69/1.79	c ---[85946]---> BDD-cost:    5
1.69/1.79	c ---[85944]---> BDD-cost:    5
1.69/1.79	c ---[85942]---> BDD-cost:    5
1.69/1.79	c ---[85940]---> BDD-cost:    5
1.69/1.79	c ---[85938]---> BDD-cost:    5
1.69/1.79	c ---[85936]---> BDD-cost:    5
1.69/1.79	c ---[85934]---> BDD-cost:    5
1.69/1.79	c ---[85932]---> BDD-cost:    5
1.69/1.79	c ---[85930]---> BDD-cost:    5
1.69/1.79	c ---[85928]---> BDD-cost:    5
1.69/1.79	c ---[85926]---> BDD-cost:    5
1.69/1.79	c ---[85924]---> BDD-cost:    5
1.69/1.79	c ---[85922]---> BDD-cost:    5
1.69/1.79	c ---[85920]---> BDD-cost:    5
1.69/1.79	c ---[85918]---> BDD-cost:    5
1.69/1.79	c ---[85916]---> BDD-cost:    5
1.69/1.79	c ---[85914]---> BDD-cost:    5
1.69/1.79	c ---[85912]---> BDD-cost:    5
1.69/1.79	c ---[85910]---> BDD-cost:    5
1.69/1.79	c ---[85908]---> BDD-cost:    5
1.69/1.79	c ---[85906]---> BDD-cost:    5
1.69/1.79	c ---[85904]---> BDD-cost:    5
1.69/1.79	c ---[85902]---> BDD-cost:    5
1.69/1.79	c ---[85900]---> BDD-cost:    5
1.69/1.79	c ---[85898]---> BDD-cost:    5
1.69/1.79	c ---[85896]---> BDD-cost:    5
1.69/1.79	c ---[85894]---> BDD-cost:    5
1.69/1.79	c ---[85892]---> BDD-cost:    5
1.69/1.79	c ---[85890]---> BDD-cost:    5
1.69/1.79	c ---[85888]---> BDD-cost:    5
1.69/1.79	c ---[85886]---> BDD-cost:    5
1.69/1.79	c ---[85884]---> BDD-cost:    5
1.69/1.79	c ---[85882]---> BDD-cost:    5
1.69/1.79	c ---[85880]---> BDD-cost:    5
1.69/1.79	c ---[85878]---> BDD-cost:    5
1.69/1.79	c ---[85876]---> BDD-cost:    5
1.69/1.79	c ---[85874]---> BDD-cost:    5
1.69/1.79	c ---[85872]---> BDD-cost:    5
1.69/1.79	c ---[85870]---> BDD-cost:    5
1.69/1.79	c ---[85868]---> BDD-cost:    5
1.69/1.79	c ---[85866]---> BDD-cost:    5
1.69/1.79	c ---[85864]---> BDD-cost:    5
1.69/1.79	c ---[85862]---> BDD-cost:    5
1.69/1.79	c ---[85860]---> BDD-cost:    5
1.69/1.79	c ---[85858]---> BDD-cost:    5
1.69/1.79	c ---[85856]---> BDD-cost:    5
1.69/1.79	c ---[85854]---> BDD-cost:    5
1.69/1.79	c ---[85852]---> BDD-cost:    5
1.69/1.79	c ---[85850]---> BDD-cost:    5
1.69/1.79	c ---[85848]---> BDD-cost:    5
1.69/1.79	c ---[85846]---> BDD-cost:    5
1.69/1.79	c ---[85844]---> BDD-cost:    5
1.69/1.79	c ---[85842]---> BDD-cost:    5
1.69/1.79	c ---[85840]---> BDD-cost:    5
1.69/1.79	c ---[85838]---> BDD-cost:    5
1.69/1.79	c ---[85836]---> BDD-cost:    5
1.69/1.79	c ---[85834]---> BDD-cost:    5
1.69/1.79	c ---[85832]---> BDD-cost:    5
1.69/1.79	c ---[85830]---> BDD-cost:    5
1.69/1.79	c ---[85828]---> BDD-cost:    5
1.69/1.79	c ---[85826]---> BDD-cost:    5
1.69/1.79	c ---[85824]---> BDD-cost:    5
1.69/1.79	c ---[85822]---> BDD-cost:    5
1.69/1.79	c ---[85820]---> BDD-cost:    5
1.69/1.79	c ---[85818]---> BDD-cost:    5
1.69/1.79	c ---[85816]---> BDD-cost:    5
1.69/1.79	c ---[85814]---> BDD-cost:    5
1.69/1.79	c ---[85812]---> BDD-cost:    5
1.69/1.79	c ---[85810]---> BDD-cost:    5
1.69/1.79	c ---[85808]---> BDD-cost:    5
1.69/1.79	c ---[85806]---> BDD-cost:    5
1.69/1.79	c ---[85804]---> BDD-cost:    5
1.69/1.79	c ---[85802]---> BDD-cost:    5
1.69/1.79	c ---[85800]---> BDD-cost:    5
1.69/1.79	c ---[85798]---> BDD-cost:    5
1.69/1.79	c ---[85796]---> BDD-cost:    5
1.69/1.79	c ---[85794]---> BDD-cost:    5
1.69/1.79	c ---[85792]---> BDD-cost:    5
1.69/1.79	c ---[85790]---> BDD-cost:    5
1.69/1.79	c ---[85788]---> BDD-cost:    5
1.69/1.79	c ---[85786]---> BDD-cost:    5
1.69/1.79	c ---[85784]---> BDD-cost:    5
1.69/1.79	c ---[85782]---> BDD-cost:    5
1.69/1.79	c ---[85780]---> BDD-cost:    5
1.69/1.79	c ---[85778]---> BDD-cost:    5
1.69/1.79	c ---[85776]---> BDD-cost:    5
1.69/1.79	c ---[85774]---> BDD-cost:    5
1.69/1.79	c ---[85772]---> BDD-cost:    5
1.69/1.79	c ---[85770]---> BDD-cost:    5
1.69/1.79	c ---[85768]---> BDD-cost:    5
1.69/1.79	c ---[85766]---> BDD-cost:    5
1.69/1.79	c ---[85764]---> BDD-cost:    5
1.69/1.79	c ---[85762]---> BDD-cost:    5
1.69/1.79	c ---[85760]---> BDD-cost:    5
1.69/1.79	c ---[85758]---> BDD-cost:    5
1.69/1.79	c ---[85756]---> BDD-cost:    5
1.69/1.79	c ---[85754]---> BDD-cost:    5
1.69/1.79	c ---[85752]---> BDD-cost:    5
1.69/1.79	c ---[85750]---> BDD-cost:    5
1.69/1.79	c ---[85748]---> BDD-cost:    5
1.69/1.79	c ---[85746]---> BDD-cost:    5
1.69/1.79	c ---[85744]---> BDD-cost:    5
1.69/1.79	c ---[85742]---> BDD-cost:    5
1.69/1.79	c ---[85740]---> BDD-cost:    5
1.69/1.79	c ---[85738]---> BDD-cost:    5
1.69/1.79	c ---[85736]---> BDD-cost:    5
1.69/1.79	c ---[85734]---> BDD-cost:    5
1.69/1.79	c ---[85732]---> BDD-cost:    5
1.69/1.80	c ---[85730]---> BDD-cost:    5
1.69/1.80	c ---[85728]---> BDD-cost:    5
1.69/1.80	c ---[85726]---> BDD-cost:    5
1.69/1.80	c ---[85724]---> BDD-cost:    5
1.69/1.80	c ---[85722]---> BDD-cost:    5
1.69/1.80	c ---[85720]---> BDD-cost:    5
1.69/1.80	c ---[85718]---> BDD-cost:    5
1.69/1.80	c ---[85716]---> BDD-cost:    5
1.69/1.80	c ---[85714]---> BDD-cost:    5
1.69/1.80	c ---[85712]---> BDD-cost:    5
1.79/1.80	c ---[85710]---> BDD-cost:    5
1.79/1.80	c ---[85708]---> BDD-cost:    5
1.79/1.80	c ---[85706]---> BDD-cost:    5
1.79/1.80	c ---[85704]---> BDD-cost:    5
1.79/1.80	c ---[85702]---> BDD-cost:    5
1.79/1.80	c ---[85700]---> BDD-cost:    5
1.79/1.80	c ---[85698]---> BDD-cost:    5
1.79/1.80	c ---[85696]---> BDD-cost:    5
1.79/1.80	c ---[85694]---> BDD-cost:    5
1.79/1.80	c ---[85692]---> BDD-cost:    5
1.79/1.80	c ---[85690]---> BDD-cost:    5
1.79/1.80	c ---[85688]---> BDD-cost:    5
1.79/1.80	c ---[85686]---> BDD-cost:    5
1.79/1.80	c ---[85684]---> BDD-cost:    5
1.79/1.80	c ---[85682]---> BDD-cost:    5
1.79/1.80	c ---[85680]---> BDD-cost:    5
1.79/1.80	c ==================================[MINISAT+]==================================
1.79/1.80	c | Conflicts | Original         | Learnt                           | Progress |
1.79/1.80	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.79/1.80	c ==============================================================================
1.79/1.80	c |         0 |   90000   354240 |   30000       0        0     nan |  0.000 % |
1.79/1.80	c |       101 |   90000   354240 |   33000     101     2097    20.8 | 11.111 % |
1.79/1.82	c |       251 |   90000   354240 |   36300     251    12566    50.1 | 11.111 % |
1.79/1.84	c |       477 |   90000   354240 |   39930     477    30009    62.9 | 11.111 % |
1.79/1.88	c |       814 |   90000   354240 |   43923     814    61772    75.9 | 11.111 % |
1.89/1.93	c |      1321 |   90000   354240 |   48315    1321   100616    76.2 | 11.111 % |
1.99/2.00	c |      2081 |   90000   354240 |   53146    2081   169851    81.6 | 11.111 % |
2.10/2.13	c |      3221 |   90000   354240 |   58461    3221   277626    86.2 | 11.111 % |
2.29/2.32	c |      4929 |   90000   354240 |   64307    4929   449174    91.1 | 11.111 % |
2.49/2.57	c |      7491 |   90000   354240 |   70738    7491   664874    88.8 | 11.111 % |
2.99/3.02	c |     11338 |   90000   354240 |   77812   11338  1009455    89.0 | 11.111 % |
3.79/3.83	c |     17104 |   90000   354240 |   85593   17104  1626430    95.1 | 11.111 % |
4.89/5.00	c |     25754 |   90000   354240 |   94152   25754  2431003    94.4 | 11.111 % |
6.98/7.08	c |     38729 |   90000   354240 |  103568   38729  3767448    97.3 | 11.111 % |
10.68/10.76	c |     58192 |   90000   354240 |  113924   58192  5924737   101.8 | 11.111 % |
16.48/16.51	c |     87385 |   90000   354240 |  125317   87385  8739102   100.0 | 11.111 % |
27.76/27.86	c |    131175 |   90000   354240 |  137849   21578  1946912    90.2 | 11.111 % |
39.25/39.39	c |    196860 |   90000   354240 |  151634   87263  8882892   101.8 | 11.111 % |
64.76/64.86	c |    295387 |   90000   354240 |  166797   48836  5446542   111.5 | 11.111 % |
107.34/107.49	c |    443176 |   90000   354240 |  183477   45876  4001845    87.2 | 11.111 % |
175.83/175.97	c |    664860 |   90000   354240 |  201824   97635 11870698   121.6 | 11.111 % |
293.90/294.02	c |    997386 |   90000   354240 |  222007   68268  7575904   111.0 | 11.111 % |
482.07/482.28	c |   1496175 |   90000   354240 |  244208  156114 18952170   121.4 | 11.111 % |
807.41/807.60	c |   2244357 |   90000   354240 |  268629  220544 25843939   117.2 | 11.111 % |
1312.13/1312.42	c |   3366632 |   90000   354240 |  295491   77742 11069431   142.4 | 11.111 % |
1800.05/1800.40	c 
1800.05/1800.40	c *** TERMINATED ***
1800.05/1800.40	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3721028-1338552591/watcher-3721028-1338552591 -o /tmp/evaluation-result-3721028-1338552591/solver-3721028-1338552591 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721028-1338552591.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 0.08 0.02 0.01 2/173 18486
/proc/meminfo: memFree=28381892/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=1268 CPUtime=0 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 179 0 0 0 0 0 0 0 20 0 1 0 321384557 1298432 136 33554432000 134512640 135395479 4286904192 4286903024 134618678 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/18486/statm: 317 136 74 216 0 99 0

[startup+0.04263 s]
/proc/loadavg: 0.08 0.02 0.01 2/173 18486
/proc/meminfo: memFree=28381892/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=2008 CPUtime=0.04 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 363 0 0 0 4 0 0 0 20 0 1 0 321384557 2056192 320 33554432000 134512640 135395479 4286904192 4286902708 134812674 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/18486/statm: 502 320 74 216 0 284 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2008

[startup+0.100212 s]
/proc/loadavg: 0.08 0.02 0.01 2/173 18486
/proc/meminfo: memFree=28381892/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=3024 CPUtime=0.09 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 623 0 0 0 9 0 0 0 20 0 1 0 321384557 3096576 580 33554432000 134512640 135395479 4286904192 4286902672 135012183 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/18486/statm: 756 580 74 216 0 538 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3024

[startup+0.300188 s]
/proc/loadavg: 0.08 0.02 0.01 2/173 18486
/proc/meminfo: memFree=28381892/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=6652 CPUtime=0.29 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 1532 0 0 0 29 0 0 0 20 0 1 0 321384557 6811648 1489 33554432000 134512640 135395479 4286904192 4286902840 135005844 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/18486/statm: 1663 1490 74 216 0 1445 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6652

[startup+0.700184 s]
/proc/loadavg: 0.08 0.02 0.01 2/173 18486
/proc/meminfo: memFree=28381892/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=14048 CPUtime=0.69 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 3345 0 0 0 69 0 0 0 20 0 1 0 321384557 14385152 3302 33554432000 134512640 135395479 4286904192 4286902592 135002750 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/18486/statm: 3512 3302 74 216 0 3294 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14048

[startup+1.50019 s]
/proc/loadavg: 0.08 0.02 0.01 2/174 18487
/proc/meminfo: memFree=28363920/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=28280 CPUtime=1.49 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 6893 0 0 0 148 1 0 0 20 0 1 0 321384557 28958720 6850 33554432000 134512640 135395479 4286904192 4286903008 134618787 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/18486/statm: 7070 6850 74 216 0 6852 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28280

[startup+3.10019 s]
/proc/loadavg: 0.23 0.05 0.02 3/179 18508
/proc/meminfo: memFree=28342644/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=36216 CPUtime=3.09 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 8914 0 0 0 304 5 0 0 20 0 1 0 321384557 37085184 8871 33554432000 134512640 135395479 4286904192 4286902064 134574219 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/18486/statm: 9054 8871 106 216 0 8836 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36216

[startup+6.30019 s]
/proc/loadavg: 0.23 0.05 0.02 3/179 18508
/proc/meminfo: memFree=28338172/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=36380 CPUtime=6.28 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 8981 0 0 0 623 5 0 0 20 0 1 0 321384557 37253120 8932 33554432000 134512640 135395479 4286904192 4286902544 134581028 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/18486/statm: 9095 8932 106 216 0 8877 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36380

[startup+12.7002 s]
/proc/loadavg: 0.37 0.08 0.03 3/180 18511
/proc/meminfo: memFree=28325556/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=50428 CPUtime=12.68 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 12468 0 0 0 1263 5 0 0 20 0 1 0 321384557 51638272 12419 33554432000 134512640 135395479 4286904192 4286902544 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/18486/statm: 12607 12419 106 216 0 12389 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 50428

[startup+25.5003 s]
/proc/loadavg: 0.73 0.18 0.06 3/180 18511
/proc/meminfo: memFree=28301896/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=72548 CPUtime=25.47 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 18007 0 0 0 2538 9 0 0 20 0 1 0 321384557 74289152 17952 33554432000 134512640 135395479 4286904192 4286902092 135007481 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 18137 17952 106 216 0 17919 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 72548

[startup+51.1003 s]
/proc/loadavg: 1.16 0.32 0.11 3/180 18511
/proc/meminfo: memFree=28289460/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=83356 CPUtime=51.05 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 20735 0 0 0 5095 10 0 0 20 0 1 0 321384557 85356544 20674 33554432000 134512640 135395479 4286904192 4286902544 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 20839 20674 106 216 0 20621 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 83356

[startup+102.306 s]
/proc/loadavg: 1.66 0.60 0.21 3/179 18512
/proc/meminfo: memFree=28276068/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=93404 CPUtime=102.25 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 23216 0 0 0 10214 11 0 0 20 0 1 0 321384557 95645696 23156 33554432000 134512640 135395479 4286904192 4286902448 134568477 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 23351 23156 106 216 0 23133 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 93404

[startup+162.3 s]
/proc/loadavg: 1.86 0.83 0.31 3/179 18512
/proc/meminfo: memFree=28256148/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=111792 CPUtime=162.23 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 27799 0 0 0 16210 13 0 0 20 0 1 0 321384557 114475008 27737 33554432000 134512640 135395479 4286904192 4286902544 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 27948 27737 106 216 0 27730 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 111792

[startup+222.3 s]
/proc/loadavg: 1.98 1.06 0.42 3/179 18512
/proc/meminfo: memFree=28237344/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=129256 CPUtime=222.22 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 32173 0 0 0 22207 15 0 0 20 0 1 0 321384557 132358144 32123 33554432000 134512640 135395479 4286904192 4286902544 134580840 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 32314 32123 106 216 0 32096 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 129256

[startup+282.3 s]
/proc/loadavg: 2.04 1.24 0.52 3/179 18512
/proc/meminfo: memFree=28236896/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=129488 CPUtime=282.2 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 32201 0 0 0 28205 15 0 0 20 0 1 0 321384557 132595712 32151 33554432000 134512640 135395479 4286904192 4286902544 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 32372 32151 106 216 0 32154 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 129488

[startup+342.3 s]
/proc/loadavg: 2.01 1.38 0.61 3/179 18512
/proc/meminfo: memFree=28235464/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=130016 CPUtime=342.19 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 32368 0 0 0 34204 15 0 0 20 0 1 0 321384557 133136384 32321 33554432000 134512640 135395479 4286904192 4286902544 134580945 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 32504 32321 106 216 0 32286 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 130016

[startup+402.3 s]
/proc/loadavg: 2.00 1.49 0.70 3/179 18513
/proc/meminfo: memFree=28226776/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=137784 CPUtime=402.18 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 34184 0 0 0 40202 16 0 0 20 0 1 0 321384557 141090816 34153 33554432000 134512640 135395479 4286904192 4286902544 134580756 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 34446 34153 106 216 0 34228 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 137784

[startup+462.3 s]
/proc/loadavg: 2.00 1.58 0.77 3/179 18513
/proc/meminfo: memFree=28219956/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=144132 CPUtime=462.17 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 35768 0 0 0 46200 17 0 0 20 0 1 0 321384557 147591168 35737 33554432000 134512640 135395479 4286904192 4286902544 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 36033 35737 106 216 0 35815 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 144132

[startup+522.3 s]
/proc/loadavg: 2.00 1.65 0.85 3/179 18513
/proc/meminfo: memFree=28204384/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=159004 CPUtime=522.16 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 39484 0 0 0 52197 19 0 0 20 0 1 0 321384557 162820096 39453 33554432000 134512640 135395479 4286904192 4286902544 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 39751 39453 106 216 0 39533 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 159004

[startup+582.3 s]
/proc/loadavg: 2.00 1.71 0.92 3/179 18513
/proc/meminfo: memFree=28203392/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=159204 CPUtime=582.15 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 39538 0 0 0 58196 19 0 0 20 0 1 0 321384557 163024896 39507 33554432000 134512640 135395479 4286904192 4286902544 134580888 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 39801 39507 106 216 0 39583 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 159204

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 1.87 1.16 3/179 18517
/proc/meminfo: memFree=28188116/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=170352 CPUtime=822.1 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 42331 0 0 0 82189 21 0 0 20 0 1 0 321384557 174440448 42285 33554432000 134512640 135395479 4286904192 4286902544 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 42588 42285 106 216 0 42370 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 170352

[startup+882.3 s]
/proc/loadavg: 2.00 1.89 1.21 3/179 18517
/proc/meminfo: memFree=28184328/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=171408 CPUtime=882.09 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 42578 0 0 0 88188 21 0 0 20 0 1 0 321384557 175521792 42532 33554432000 134512640 135395479 4286904192 4286902544 134581053 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 42852 42532 106 216 0 42634 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 171408

[startup+942.3 s]
/proc/loadavg: 2.00 1.91 1.25 3/179 18517
/proc/meminfo: memFree=28177508/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=175236 CPUtime=942.08 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 43553 0 0 0 94186 22 0 0 20 0 1 0 321384557 179441664 43507 33554432000 134512640 135395479 4286904192 4286902544 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 43809 43507 106 216 0 43591 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 175236

[startup+1002.3 s]
/proc/loadavg: 2.00 1.92 1.30 3/179 18518
/proc/meminfo: memFree=28176448/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=175236 CPUtime=1002.07 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 43555 0 0 0 100185 22 0 0 20 0 1 0 321384557 179441664 43507 33554432000 134512640 135395479 4286904192 4286902544 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 43809 43507 106 216 0 43591 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 175236

[startup+1062.3 s]
/proc/loadavg: 2.00 1.93 1.34 3/179 18518
/proc/meminfo: memFree=28166280/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=184544 CPUtime=1062.06 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 45863 0 0 0 106182 24 0 0 20 0 1 0 321384557 188973056 45815 33554432000 134512640 135395479 4286904192 4286902544 134580896 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 46136 45815 106 216 0 45918 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 184544

[startup+1122.3 s]
/proc/loadavg: 2.00 1.94 1.38 3/179 18518
/proc/meminfo: memFree=28166080/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=184544 CPUtime=1122.05 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 45868 0 0 0 112181 24 0 0 20 0 1 0 321384557 188973056 45821 33554432000 134512640 135395479 4286904192 4286902544 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 46136 45821 106 216 0 45918 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 184544

[startup+1182.3 s]
/proc/loadavg: 2.00 1.95 1.41 3/179 18518
/proc/meminfo: memFree=28154300/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=196012 CPUtime=1182.04 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 48700 0 0 0 118178 26 0 0 20 0 1 0 321384557 200716288 48653 33554432000 134512640 135395479 4286904192 4286902544 134580945 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 49003 48653 106 216 0 48785 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 196012

[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.45 3/180 18521
/proc/meminfo: memFree=28154036/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=196012 CPUtime=1242.04 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 48706 0 0 0 124177 27 0 0 20 0 1 0 321384557 200716288 48661 33554432000 134512640 135395479 4286904192 4286902544 134581480 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 49003 48661 106 216 0 48785 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 196012

[startup+1302.3 s]
/proc/loadavg: 2.00 1.96 1.48 3/179 18522
/proc/meminfo: memFree=28142760/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=206740 CPUtime=1302.03 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 51392 0 0 0 130174 29 0 0 20 0 1 0 321384557 211701760 51347 33554432000 134512640 135395479 4286904192 4286902544 134580888 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 51685 51347 106 216 0 51467 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 206740

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/179 18522
/proc/meminfo: memFree=28142264/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=206740 CPUtime=1362.02 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 51392 0 0 0 136173 29 0 0 20 0 1 0 321384557 211701760 51347 33554432000 134512640 135395479 4286904192 4286902544 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 51685 51347 106 216 0 51467 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 206740

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/179 18522
/proc/meminfo: memFree=28140824/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=206348 CPUtime=1422.01 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 51423 0 0 0 142172 29 0 0 20 0 1 0 321384557 211300352 51300 33554432000 134512640 135395479 4286904192 4286902544 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 51587 51300 106 216 0 51369 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 206348

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.56 3/179 18522
/proc/meminfo: memFree=28140948/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=206348 CPUtime=1482 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 51423 0 0 0 148171 29 0 0 20 0 1 0 321384557 211300352 51300 33554432000 134512640 135395479 4286904192 4286902544 134580756 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 51587 51300 106 216 0 51369 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 206348

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/179 18522
/proc/meminfo: memFree=28140948/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=206348 CPUtime=1541.99 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 51424 0 0 0 154170 29 0 0 20 0 1 0 321384557 211300352 51301 33554432000 134512640 135395479 4286904192 4286902544 134581183 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 51587 51301 106 216 0 51369 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 206348

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.61 3/179 18523
/proc/meminfo: memFree=28140388/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=206348 CPUtime=1601.98 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 51424 0 0 0 160169 29 0 0 20 0 1 0 321384557 211300352 51301 33554432000 134512640 135395479 4286904192 4286902544 134580768 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 51587 51301 106 216 0 51369 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 206348

[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.63 3/179 18523
/proc/meminfo: memFree=28140264/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=206348 CPUtime=1661.97 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 51424 0 0 0 166168 29 0 0 20 0 1 0 321384557 211300352 51301 33554432000 134512640 135395479 4286904192 4286902544 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 51587 51301 106 216 0 51369 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 206348

[startup+1722.3 s]
/proc/loadavg: 2.04 1.99 1.66 3/179 18523
/proc/meminfo: memFree=28139892/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=206348 CPUtime=1721.96 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 51424 0 0 0 172167 29 0 0 20 0 1 0 321384557 211300352 51301 33554432000 134512640 135395479 4286904192 4286902544 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 51587 51301 106 216 0 51369 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 206348

[startup+1782.3 s]
/proc/loadavg: 2.07 2.00 1.68 3/179 18523
/proc/meminfo: memFree=28130096/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=216436 CPUtime=1781.95 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 53907 0 0 0 178164 31 0 0 20 0 1 0 321384557 221630464 53784 33554432000 134512640 135395479 4286904192 4286901912 135007481 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 54109 53784 106 216 0 53891 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 216436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.05 2.00 1.69 3/179 18523
/proc/meminfo: memFree=28122532/32873844 swapFree=7124/7124
[pid=18486] ppid=18484 vsize=223944 CPUtime=1800.05 cores=0,2,4,6
/proc/18486/stat : 18486 (minisat+) R 18484 18486 18257 0 -1 4202496 55785 0 0 0 179973 32 0 0 20 0 1 0 321384557 229318656 55662 33554432000 134512640 135395479 4286904192 4286902544 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/18486/statm: 55986 55662 106 216 0 55768 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 223944

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.73
CPU system time (s): 0.330949
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 223944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.330949
maximum resident set size= 222652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55786
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= 96
involuntary context switches= 1984

runsolver used 3.39148 second user time and 9.38357 second system time

The end

Launcher Data 

Begin job on node134 at 2012-06-01 14:09:52
IDJOB=3721028
IDBENCH=1372
IDSOLVER=2306
FILE ID=node134/3721028-1338552591
RUNJOBID= node134-1338552572-18273
PBS_JOBID= 14635850
Free space on /tmp= 70356 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.opb
COMMAND LINE= HOME/minisat+ BENCHNAME            
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721028-1338552591/watcher-3721028-1338552591 -o /tmp/evaluation-result-3721028-1338552591/solver-3721028-1338552591 -C 1800 -W 1900 -M 15500  HOME/minisat+ HOME/instance-3721028-1338552591.opb            

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

MD5SUM BENCH= a399b3055416a9d1117a7f2bb11b2cef
RANDOM SEED=629132233

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28382536 kB
Buffers:          430596 kB
Cached:          3160876 kB
SwapCached:           76 kB
Active:          1686936 kB
Inactive:        1915076 kB
Active(anon):       1956 kB
Inactive(anon):    10508 kB
Active(file):    1684980 kB
Inactive(file):  1904568 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:              6028 kB
Writeback:             0 kB
AnonPages:         17036 kB
Mapped:            10368 kB
Shmem:                96 kB
Slab:             753352 kB
SReclaimable:     194568 kB
SUnreclaim:       558784 kB
KernelStack:        1408 kB
PageTables:         3804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     103996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721028-1338552591.opb

Free space on /tmp at the end= 70352 MiB
End job on node134 at 2012-06-01 14:39:54