Trace number 360448

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, and are wall clock time (not CPU 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
minisat+ 1.14? (TO) 1800.04 1800.63

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
MD5SUMa399b3055416a9d1117a7f2bb11b2cef
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 benchmark3.33549
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 (download as text)

0.00/0.00	c Parsing PB file...
3.69/3.79	c Converting 86400 PB-constraints to clauses...
3.79/3.81	c   -- Unit propagations: (none)
3.79/3.81	c   -- Detecting intervals from adjacent constraints: ########################################################################################################################################################################################################################################################################################################################################################################
3.79/3.82	c   -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
3.99/4.04	c ---[86398]---> BDD-cost:    5
3.99/4.04	c ---[86396]---> BDD-cost:    5
3.99/4.04	c ---[86394]---> BDD-cost:    5
3.99/4.04	c ---[86392]---> BDD-cost:    5
3.99/4.04	c ---[86390]---> BDD-cost:    5
3.99/4.04	c ---[86388]---> BDD-cost:    5
3.99/4.04	c ---[86386]---> BDD-cost:    5
3.99/4.04	c ---[86384]---> BDD-cost:    5
3.99/4.04	c ---[86382]---> BDD-cost:    5
3.99/4.04	c ---[86380]---> BDD-cost:    5
3.99/4.04	c ---[86378]---> BDD-cost:    5
3.99/4.04	c ---[86376]---> BDD-cost:    5
3.99/4.04	c ---[86374]---> BDD-cost:    5
3.99/4.04	c ---[86372]---> BDD-cost:    5
3.99/4.04	c ---[86370]---> BDD-cost:    5
3.99/4.04	c ---[86368]---> BDD-cost:    5
3.99/4.04	c ---[86366]---> BDD-cost:    5
3.99/4.04	c ---[86364]---> BDD-cost:    5
3.99/4.04	c ---[86362]---> BDD-cost:    5
3.99/4.04	c ---[86360]---> BDD-cost:    5
3.99/4.04	c ---[86358]---> BDD-cost:    5
3.99/4.04	c ---[86356]---> BDD-cost:    5
3.99/4.04	c ---[86354]---> BDD-cost:    5
3.99/4.04	c ---[86352]---> BDD-cost:    5
3.99/4.04	c ---[86350]---> BDD-cost:    5
3.99/4.04	c ---[86348]---> BDD-cost:    5
3.99/4.04	c ---[86346]---> BDD-cost:    5
3.99/4.04	c ---[86344]---> BDD-cost:    5
3.99/4.04	c ---[86342]---> BDD-cost:    5
3.99/4.04	c ---[86340]---> BDD-cost:    5
3.99/4.04	c ---[86338]---> BDD-cost:    5
3.99/4.04	c ---[86336]---> BDD-cost:    5
3.99/4.04	c ---[86334]---> BDD-cost:    5
3.99/4.04	c ---[86332]---> BDD-cost:    5
3.99/4.04	c ---[86330]---> BDD-cost:    5
3.99/4.04	c ---[86328]---> BDD-cost:    5
3.99/4.04	c ---[86326]---> BDD-cost:    5
3.99/4.04	c ---[86324]---> BDD-cost:    5
3.99/4.04	c ---[86322]---> BDD-cost:    5
3.99/4.04	c ---[86320]---> BDD-cost:    5
3.99/4.04	c ---[86318]---> BDD-cost:    5
3.99/4.04	c ---[86316]---> BDD-cost:    5
3.99/4.04	c ---[86314]---> BDD-cost:    5
3.99/4.04	c ---[86312]---> BDD-cost:    5
3.99/4.04	c ---[86310]---> BDD-cost:    5
3.99/4.04	c ---[86308]---> BDD-cost:    5
3.99/4.04	c ---[86306]---> BDD-cost:    5
3.99/4.04	c ---[86304]---> BDD-cost:    5
3.99/4.04	c ---[86302]---> BDD-cost:    5
3.99/4.04	c ---[86300]---> BDD-cost:    5
3.99/4.04	c ---[86298]---> BDD-cost:    5
3.99/4.04	c ---[86296]---> BDD-cost:    5
3.99/4.04	c ---[86294]---> BDD-cost:    5
3.99/4.04	c ---[86292]---> BDD-cost:    5
3.99/4.04	c ---[86290]---> BDD-cost:    5
3.99/4.04	c ---[86288]---> BDD-cost:    5
3.99/4.04	c ---[86286]---> BDD-cost:    5
3.99/4.04	c ---[86284]---> BDD-cost:    5
3.99/4.04	c ---[86282]---> BDD-cost:    5
3.99/4.04	c ---[86280]---> BDD-cost:    5
3.99/4.04	c ---[86278]---> BDD-cost:    5
3.99/4.04	c ---[86276]---> BDD-cost:    5
3.99/4.04	c ---[86274]---> BDD-cost:    5
3.99/4.04	c ---[86272]---> BDD-cost:    5
3.99/4.04	c ---[86270]---> BDD-cost:    5
3.99/4.04	c ---[86268]---> BDD-cost:    5
3.99/4.04	c ---[86266]---> BDD-cost:    5
3.99/4.04	c ---[86264]---> BDD-cost:    5
3.99/4.04	c ---[86262]---> BDD-cost:    5
3.99/4.04	c ---[86260]---> BDD-cost:    5
3.99/4.04	c ---[86258]---> BDD-cost:    5
3.99/4.04	c ---[86256]---> BDD-cost:    5
3.99/4.04	c ---[86254]---> BDD-cost:    5
3.99/4.04	c ---[86252]---> BDD-cost:    5
3.99/4.04	c ---[86250]---> BDD-cost:    5
3.99/4.04	c ---[86248]---> BDD-cost:    5
3.99/4.04	c ---[86246]---> BDD-cost:    5
3.99/4.04	c ---[86244]---> BDD-cost:    5
3.99/4.04	c ---[86242]---> BDD-cost:    5
3.99/4.04	c ---[86240]---> BDD-cost:    5
3.99/4.04	c ---[86238]---> BDD-cost:    5
3.99/4.04	c ---[86236]---> BDD-cost:    5
3.99/4.04	c ---[86234]---> BDD-cost:    5
3.99/4.04	c ---[86232]---> BDD-cost:    5
3.99/4.04	c ---[86230]---> BDD-cost:    5
3.99/4.04	c ---[86228]---> BDD-cost:    5
3.99/4.04	c ---[86226]---> BDD-cost:    5
3.99/4.04	c ---[86224]---> BDD-cost:    5
3.99/4.04	c ---[86222]---> BDD-cost:    5
3.99/4.04	c ---[86220]---> BDD-cost:    5
3.99/4.04	c ---[86218]---> BDD-cost:    5
3.99/4.04	c ---[86216]---> BDD-cost:    5
3.99/4.04	c ---[86214]---> BDD-cost:    5
3.99/4.04	c ---[86212]---> BDD-cost:    5
3.99/4.04	c ---[86210]---> BDD-cost:    5
3.99/4.04	c ---[86208]---> BDD-cost:    5
3.99/4.04	c ---[86206]---> BDD-cost:    5
3.99/4.04	c ---[86204]---> BDD-cost:    5
3.99/4.04	c ---[86202]---> BDD-cost:    5
3.99/4.04	c ---[86200]---> BDD-cost:    5
3.99/4.04	c ---[86198]---> BDD-cost:    5
3.99/4.04	c ---[86196]---> BDD-cost:    5
3.99/4.04	c ---[86194]---> BDD-cost:    5
3.99/4.04	c ---[86192]---> BDD-cost:    5
3.99/4.04	c ---[86190]---> BDD-cost:    5
3.99/4.04	c ---[86188]---> BDD-cost:    5
3.99/4.04	c ---[86186]---> BDD-cost:    5
3.99/4.04	c ---[86184]---> BDD-cost:    5
3.99/4.04	c ---[86182]---> BDD-cost:    5
3.99/4.04	c ---[86180]---> BDD-cost:    5
3.99/4.04	c ---[86178]---> BDD-cost:    5
3.99/4.04	c ---[86176]---> BDD-cost:    5
3.99/4.04	c ---[86174]---> BDD-cost:    5
3.99/4.04	c ---[86172]---> BDD-cost:    5
3.99/4.04	c ---[86170]---> BDD-cost:    5
3.99/4.04	c ---[86168]---> BDD-cost:    5
3.99/4.04	c ---[86166]---> BDD-cost:    5
3.99/4.04	c ---[86164]---> BDD-cost:    5
3.99/4.04	c ---[86162]---> BDD-cost:    5
3.99/4.04	c ---[86160]---> BDD-cost:    5
3.99/4.04	c ---[86158]---> BDD-cost:    5
3.99/4.04	c ---[86156]---> BDD-cost:    5
3.99/4.04	c ---[86154]---> BDD-cost:    5
3.99/4.04	c ---[86152]---> BDD-cost:    5
3.99/4.04	c ---[86150]---> BDD-cost:    5
3.99/4.04	c ---[86148]---> BDD-cost:    5
3.99/4.04	c ---[86146]---> BDD-cost:    5
3.99/4.04	c ---[86144]---> BDD-cost:    5
3.99/4.04	c ---[86142]---> BDD-cost:    5
3.99/4.04	c ---[86140]---> BDD-cost:    5
3.99/4.04	c ---[86138]---> BDD-cost:    5
3.99/4.04	c ---[86136]---> BDD-cost:    5
3.99/4.04	c ---[86134]---> BDD-cost:    5
3.99/4.04	c ---[86132]---> BDD-cost:    5
3.99/4.04	c ---[86130]---> BDD-cost:    5
3.99/4.04	c ---[86128]---> BDD-cost:    5
3.99/4.04	c ---[86126]---> BDD-cost:    5
3.99/4.04	c ---[86124]---> BDD-cost:    5
3.99/4.04	c ---[86122]---> BDD-cost:    5
3.99/4.04	c ---[86120]---> BDD-cost:    5
3.99/4.04	c ---[86118]---> BDD-cost:    5
3.99/4.04	c ---[86116]---> BDD-cost:    5
3.99/4.04	c ---[86114]---> BDD-cost:    5
3.99/4.04	c ---[86112]---> BDD-cost:    5
3.99/4.04	c ---[86110]---> BDD-cost:    5
3.99/4.04	c ---[86108]---> BDD-cost:    5
3.99/4.04	c ---[86106]---> BDD-cost:    5
3.99/4.04	c ---[86104]---> BDD-cost:    5
3.99/4.04	c ---[86102]---> BDD-cost:    5
3.99/4.04	c ---[86100]---> BDD-cost:    5
3.99/4.04	c ---[86098]---> BDD-cost:    5
3.99/4.04	c ---[86096]---> BDD-cost:    5
3.99/4.05	c ---[86094]---> BDD-cost:    5
3.99/4.05	c ---[86092]---> BDD-cost:    5
3.99/4.05	c ---[86090]---> BDD-cost:    5
3.99/4.05	c ---[86088]---> BDD-cost:    5
3.99/4.05	c ---[86086]---> BDD-cost:    5
3.99/4.05	c ---[86084]---> BDD-cost:    5
3.99/4.05	c ---[86082]---> BDD-cost:    5
3.99/4.05	c ---[86080]---> BDD-cost:    5
3.99/4.05	c ---[86078]---> BDD-cost:    5
3.99/4.05	c ---[86076]---> BDD-cost:    5
3.99/4.05	c ---[86074]---> BDD-cost:    5
3.99/4.05	c ---[86072]---> BDD-cost:    5
3.99/4.05	c ---[86070]---> BDD-cost:    5
3.99/4.05	c ---[86068]---> BDD-cost:    5
3.99/4.05	c ---[86066]---> BDD-cost:    5
3.99/4.05	c ---[86064]---> BDD-cost:    5
3.99/4.05	c ---[86062]---> BDD-cost:    5
3.99/4.05	c ---[86060]---> BDD-cost:    5
3.99/4.05	c ---[86058]---> BDD-cost:    5
3.99/4.05	c ---[86056]---> BDD-cost:    5
3.99/4.05	c ---[86054]---> BDD-cost:    5
3.99/4.05	c ---[86052]---> BDD-cost:    5
3.99/4.05	c ---[86050]---> BDD-cost:    5
3.99/4.05	c ---[86048]---> BDD-cost:    5
3.99/4.05	c ---[86046]---> BDD-cost:    5
3.99/4.05	c ---[86044]---> BDD-cost:    5
3.99/4.05	c ---[86042]---> BDD-cost:    5
3.99/4.05	c ---[86040]---> BDD-cost:    5
3.99/4.05	c ---[86038]---> BDD-cost:    5
3.99/4.05	c ---[86036]---> BDD-cost:    5
3.99/4.05	c ---[86034]---> BDD-cost:    5
3.99/4.05	c ---[86032]---> BDD-cost:    5
3.99/4.05	c ---[86030]---> BDD-cost:    5
3.99/4.05	c ---[86028]---> BDD-cost:    5
3.99/4.05	c ---[86026]---> BDD-cost:    5
3.99/4.05	c ---[86024]---> BDD-cost:    5
3.99/4.05	c ---[86022]---> BDD-cost:    5
3.99/4.05	c ---[86020]---> BDD-cost:    5
3.99/4.05	c ---[86018]---> BDD-cost:    5
3.99/4.05	c ---[86016]---> BDD-cost:    5
3.99/4.05	c ---[86014]---> BDD-cost:    5
3.99/4.05	c ---[86012]---> BDD-cost:    5
3.99/4.05	c ---[86010]---> BDD-cost:    5
3.99/4.05	c ---[86008]---> BDD-cost:    5
3.99/4.05	c ---[86006]---> BDD-cost:    5
3.99/4.05	c ---[86004]---> BDD-cost:    5
3.99/4.05	c ---[86002]---> BDD-cost:    5
3.99/4.05	c ---[86000]---> BDD-cost:    5
3.99/4.05	c ---[85998]---> BDD-cost:    5
3.99/4.05	c ---[85996]---> BDD-cost:    5
3.99/4.05	c ---[85994]---> BDD-cost:    5
3.99/4.05	c ---[85992]---> BDD-cost:    5
3.99/4.05	c ---[85990]---> BDD-cost:    5
3.99/4.05	c ---[85988]---> BDD-cost:    5
3.99/4.05	c ---[85986]---> BDD-cost:    5
3.99/4.05	c ---[85984]---> BDD-cost:    5
3.99/4.05	c ---[85982]---> BDD-cost:    5
3.99/4.05	c ---[85980]---> BDD-cost:    5
3.99/4.05	c ---[85978]---> BDD-cost:    5
3.99/4.05	c ---[85976]---> BDD-cost:    5
3.99/4.05	c ---[85974]---> BDD-cost:    5
3.99/4.05	c ---[85972]---> BDD-cost:    5
3.99/4.05	c ---[85970]---> BDD-cost:    5
3.99/4.05	c ---[85968]---> BDD-cost:    5
3.99/4.05	c ---[85966]---> BDD-cost:    5
3.99/4.05	c ---[85964]---> BDD-cost:    5
3.99/4.05	c ---[85962]---> BDD-cost:    5
3.99/4.05	c ---[85960]---> BDD-cost:    5
3.99/4.05	c ---[85958]---> BDD-cost:    5
3.99/4.05	c ---[85956]---> BDD-cost:    5
3.99/4.05	c ---[85954]---> BDD-cost:    5
3.99/4.05	c ---[85952]---> BDD-cost:    5
3.99/4.05	c ---[85950]---> BDD-cost:    5
3.99/4.05	c ---[85948]---> BDD-cost:    5
3.99/4.05	c ---[85946]---> BDD-cost:    5
3.99/4.05	c ---[85944]---> BDD-cost:    5
3.99/4.05	c ---[85942]---> BDD-cost:    5
3.99/4.05	c ---[85940]---> BDD-cost:    5
3.99/4.05	c ---[85938]---> BDD-cost:    5
3.99/4.05	c ---[85936]---> BDD-cost:    5
3.99/4.05	c ---[85934]---> BDD-cost:    5
3.99/4.05	c ---[85932]---> BDD-cost:    5
3.99/4.05	c ---[85930]---> BDD-cost:    5
3.99/4.05	c ---[85928]---> BDD-cost:    5
3.99/4.05	c ---[85926]---> BDD-cost:    5
3.99/4.05	c ---[85924]---> BDD-cost:    5
3.99/4.05	c ---[85922]---> BDD-cost:    5
3.99/4.05	c ---[85920]---> BDD-cost:    5
3.99/4.05	c ---[85918]---> BDD-cost:    5
3.99/4.05	c ---[85916]---> BDD-cost:    5
3.99/4.05	c ---[85914]---> BDD-cost:    5
3.99/4.05	c ---[85912]---> BDD-cost:    5
3.99/4.05	c ---[85910]---> BDD-cost:    5
3.99/4.05	c ---[85908]---> BDD-cost:    5
3.99/4.05	c ---[85906]---> BDD-cost:    5
3.99/4.05	c ---[85904]---> BDD-cost:    5
3.99/4.05	c ---[85902]---> BDD-cost:    5
3.99/4.05	c ---[85900]---> BDD-cost:    5
3.99/4.05	c ---[85898]---> BDD-cost:    5
3.99/4.05	c ---[85896]---> BDD-cost:    5
3.99/4.05	c ---[85894]---> BDD-cost:    5
3.99/4.05	c ---[85892]---> BDD-cost:    5
3.99/4.05	c ---[85890]---> BDD-cost:    5
3.99/4.05	c ---[85888]---> BDD-cost:    5
3.99/4.05	c ---[85886]---> BDD-cost:    5
3.99/4.05	c ---[85884]---> BDD-cost:    5
3.99/4.05	c ---[85882]---> BDD-cost:    5
3.99/4.05	c ---[85880]---> BDD-cost:    5
3.99/4.05	c ---[85878]---> BDD-cost:    5
3.99/4.05	c ---[85876]---> BDD-cost:    5
3.99/4.05	c ---[85874]---> BDD-cost:    5
3.99/4.05	c ---[85872]---> BDD-cost:    5
3.99/4.05	c ---[85870]---> BDD-cost:    5
3.99/4.05	c ---[85868]---> BDD-cost:    5
3.99/4.05	c ---[85866]---> BDD-cost:    5
3.99/4.05	c ---[85864]---> BDD-cost:    5
3.99/4.05	c ---[85862]---> BDD-cost:    5
3.99/4.05	c ---[85860]---> BDD-cost:    5
3.99/4.05	c ---[85858]---> BDD-cost:    5
3.99/4.05	c ---[85856]---> BDD-cost:    5
3.99/4.05	c ---[85854]---> BDD-cost:    5
3.99/4.05	c ---[85852]---> BDD-cost:    5
3.99/4.05	c ---[85850]---> BDD-cost:    5
3.99/4.05	c ---[85848]---> BDD-cost:    5
3.99/4.05	c ---[85846]---> BDD-cost:    5
3.99/4.05	c ---[85844]---> BDD-cost:    5
3.99/4.05	c ---[85842]---> BDD-cost:    5
3.99/4.05	c ---[85840]---> BDD-cost:    5
3.99/4.05	c ---[85838]---> BDD-cost:    5
3.99/4.05	c ---[85836]---> BDD-cost:    5
3.99/4.05	c ---[85834]---> BDD-cost:    5
3.99/4.05	c ---[85832]---> BDD-cost:    5
3.99/4.05	c ---[85830]---> BDD-cost:    5
3.99/4.05	c ---[85828]---> BDD-cost:    5
3.99/4.05	c ---[85826]---> BDD-cost:    5
3.99/4.05	c ---[85824]---> BDD-cost:    5
3.99/4.05	c ---[85822]---> BDD-cost:    5
3.99/4.05	c ---[85820]---> BDD-cost:    5
3.99/4.05	c ---[85818]---> BDD-cost:    5
3.99/4.05	c ---[85816]---> BDD-cost:    5
3.99/4.05	c ---[85814]---> BDD-cost:    5
3.99/4.05	c ---[85812]---> BDD-cost:    5
3.99/4.05	c ---[85810]---> BDD-cost:    5
3.99/4.05	c ---[85808]---> BDD-cost:    5
3.99/4.05	c ---[85806]---> BDD-cost:    5
3.99/4.05	c ---[85804]---> BDD-cost:    5
3.99/4.05	c ---[85802]---> BDD-cost:    5
3.99/4.05	c ---[85800]---> BDD-cost:    5
3.99/4.05	c ---[85798]---> BDD-cost:    5
3.99/4.05	c ---[85796]---> BDD-cost:    5
3.99/4.05	c ---[85794]---> BDD-cost:    5
3.99/4.05	c ---[85792]---> BDD-cost:    5
3.99/4.05	c ---[85790]---> BDD-cost:    5
3.99/4.05	c ---[85788]---> BDD-cost:    5
3.99/4.05	c ---[85786]---> BDD-cost:    5
3.99/4.05	c ---[85784]---> BDD-cost:    5
3.99/4.05	c ---[85782]---> BDD-cost:    5
3.99/4.05	c ---[85780]---> BDD-cost:    5
3.99/4.05	c ---[85778]---> BDD-cost:    5
3.99/4.05	c ---[85776]---> BDD-cost:    5
3.99/4.05	c ---[85774]---> BDD-cost:    5
3.99/4.05	c ---[85772]---> BDD-cost:    5
3.99/4.05	c ---[85770]---> BDD-cost:    5
3.99/4.05	c ---[85768]---> BDD-cost:    5
3.99/4.05	c ---[85766]---> BDD-cost:    5
3.99/4.05	c ---[85764]---> BDD-cost:    5
3.99/4.05	c ---[85762]---> BDD-cost:    5
3.99/4.06	c ---[85760]---> BDD-cost:    5
3.99/4.06	c ---[85758]---> BDD-cost:    5
3.99/4.06	c ---[85756]---> BDD-cost:    5
3.99/4.06	c ---[85754]---> BDD-cost:    5
3.99/4.06	c ---[85752]---> BDD-cost:    5
3.99/4.06	c ---[85750]---> BDD-cost:    5
3.99/4.06	c ---[85748]---> BDD-cost:    5
3.99/4.06	c ---[85746]---> BDD-cost:    5
3.99/4.06	c ---[85744]---> BDD-cost:    5
3.99/4.06	c ---[85742]---> BDD-cost:    5
3.99/4.06	c ---[85740]---> BDD-cost:    5
3.99/4.06	c ---[85738]---> BDD-cost:    5
3.99/4.06	c ---[85736]---> BDD-cost:    5
3.99/4.06	c ---[85734]---> BDD-cost:    5
3.99/4.06	c ---[85732]---> BDD-cost:    5
3.99/4.06	c ---[85730]---> BDD-cost:    5
3.99/4.06	c ---[85728]---> BDD-cost:    5
3.99/4.06	c ---[85726]---> BDD-cost:    5
3.99/4.06	c ---[85724]---> BDD-cost:    5
3.99/4.06	c ---[85722]---> BDD-cost:    5
3.99/4.06	c ---[85720]---> BDD-cost:    5
3.99/4.06	c ---[85718]---> BDD-cost:    5
3.99/4.06	c ---[85716]---> BDD-cost:    5
3.99/4.06	c ---[85714]---> BDD-cost:    5
3.99/4.06	c ---[85712]---> BDD-cost:    5
3.99/4.06	c ---[85710]---> BDD-cost:    5
3.99/4.06	c ---[85708]---> BDD-cost:    5
3.99/4.06	c ---[85706]---> BDD-cost:    5
3.99/4.06	c ---[85704]---> BDD-cost:    5
3.99/4.06	c ---[85702]---> BDD-cost:    5
3.99/4.06	c ---[85700]---> BDD-cost:    5
3.99/4.06	c ---[85698]---> BDD-cost:    5
3.99/4.06	c ---[85696]---> BDD-cost:    5
3.99/4.06	c ---[85694]---> BDD-cost:    5
3.99/4.06	c ---[85692]---> BDD-cost:    5
3.99/4.06	c ---[85690]---> BDD-cost:    5
3.99/4.06	c ---[85688]---> BDD-cost:    5
3.99/4.06	c ---[85686]---> BDD-cost:    5
3.99/4.06	c ---[85684]---> BDD-cost:    5
3.99/4.06	c ---[85682]---> BDD-cost:    5
3.99/4.06	c ---[85680]---> BDD-cost:    5
3.99/4.07	c ==================================[MINISAT+]==================================
3.99/4.07	c | Conflicts | Original         | Learnt                           | Progress |
3.99/4.07	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.99/4.07	c ==============================================================================
3.99/4.07	c |         0 |   90000   354240 |   30000       0        0     nan |  0.000 % |
3.99/4.07	c |       101 |   90000   354240 |   33000     101     2097    20.8 | 11.111 % |
4.08/4.11	c |       251 |   90000   354240 |   36300     251    12566    50.1 | 11.111 % |
4.08/4.19	c |       477 |   90000   354240 |   39930     477    30009    62.9 | 11.111 % |
4.18/4.29	c |       814 |   90000   354240 |   43923     814    61772    75.9 | 11.111 % |
4.39/4.43	c |      1321 |   90000   354240 |   48315    1321   100616    76.2 | 11.111 % |
4.58/4.64	c |      2081 |   90000   354240 |   53146    2081   169851    81.6 | 11.111 % |
4.88/4.99	c |      3221 |   90000   354240 |   58461    3221   277626    86.2 | 11.111 % |
5.48/5.52	c |      4929 |   90000   354240 |   64307    4929   449174    91.1 | 11.111 % |
6.18/6.22	c |      7491 |   90000   354240 |   70738    7491   664874    88.8 | 11.111 % |
7.48/7.53	c |     11338 |   90000   354240 |   77812   11338  1009455    89.0 | 11.111 % |
9.78/9.85	c |     17104 |   90000   354240 |   85593   17104  1626430    95.1 | 11.111 % |
13.48/13.50	c |     25754 |   90000   354240 |   94152   25754  2431003    94.4 | 11.111 % |
20.78/20.84	c |     38729 |   90000   354240 |  103568   38729  3767448    97.3 | 11.111 % |
33.87/33.99	c |     58192 |   90000   354240 |  113924   58192  5924737   101.8 | 11.111 % |
56.97/57.00	c |     87385 |   90000   354240 |  125317   87385  8739102   100.0 | 11.111 % |
106.55/106.60	c |    131175 |   90000   354240 |  137849   21578  1946912    90.2 | 11.111 % |
156.54/156.68	c |    196860 |   90000   354240 |  151634   87263  8882892   101.8 | 11.111 % |
271.52/271.68	c |    295387 |   90000   354240 |  166797   48836  5446542   111.5 | 11.111 % |
465.26/465.55	c |    443176 |   90000   354240 |  183477   45876  4001845    87.2 | 11.111 % |
761.38/761.75	c |    664860 |   90000   354240 |  201824   97635 11870698   121.6 | 11.111 % |
1272.15/1272.66	c |    997386 |   90000   354240 |  222007   68268  7575904   111.0 | 11.111 % |
1800.01/1800.61	c 
1800.01/1800.61	c *** TERMINATED ***
1800.01/1800.61	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/360448-1176969267/instance-360448-1176969267.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node6/watcher-360448-1176969267 -o ROOT/results/node6/solver-360448-1176969267 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/360448-1176969267/minisat+ /tmp/evaluation/360448-1176969267/instance-360448-1176969267.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 2624
/proc/meminfo: memFree=1290288/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=1048 CPUtime=0
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 117 0 0 0 0 0 0 0 18 0 1 0 172964344 1073152 102 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003857 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 262 102 74 215 0 44 0

[startup+0.0183999 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 2624
/proc/meminfo: memFree=1290288/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=1332 CPUtime=0.01
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 173 0 0 0 1 0 0 0 18 0 1 0 172964344 1363968 158 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 333 158 74 215 0 115 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1332

[startup+0.101409 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 2624
/proc/meminfo: memFree=1290288/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=2068 CPUtime=0.09
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 359 0 0 0 9 0 0 0 18 0 1 0 172964344 2117632 344 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 517 344 74 215 0 299 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2068

[startup+0.301432 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 2624
/proc/meminfo: memFree=1290288/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=3664 CPUtime=0.29
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 753 0 0 0 29 0 0 0 19 0 1 0 172964344 3751936 738 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 916 738 74 215 0 698 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3664

[startup+0.701478 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 2624
/proc/meminfo: memFree=1290288/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=6856 CPUtime=0.69
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 1545 0 0 0 68 1 0 0 23 0 1 0 172964344 7020544 1530 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 1714 1530 74 215 0 1496 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6856

[startup+1.50157 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 2625
/proc/meminfo: memFree=1282088/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=13108 CPUtime=1.49
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 3132 0 0 0 147 2 0 0 25 0 1 0 172964344 13422592 3117 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 3277 3117 74 215 0 3059 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13108

[startup+3.10176 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 2625
/proc/meminfo: memFree=1273256/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=25908 CPUtime=3.09
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 6292 0 0 0 305 4 0 0 25 0 1 0 172964344 26529792 6277 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 6477 6277 74 215 0 6259 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25908

[startup+6.30114 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 2625
/proc/meminfo: memFree=1254704/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=36132 CPUtime=6.28
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 8885 0 0 0 611 17 0 0 25 0 1 0 172964344 36999168 8870 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 9033 8870 106 215 0 8815 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36132

[startup+12.7019 s]
/proc/loadavg: 0.83 0.95 0.98 2/78 2625
/proc/meminfo: memFree=1254704/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=36132 CPUtime=12.68
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 8910 0 0 0 1251 17 0 0 25 0 1 0 172964344 36999168 8895 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 9033 8895 106 215 0 8815 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 36132

[startup+25.5014 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 2625
/proc/meminfo: memFree=1251184/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=40200 CPUtime=25.47
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 9891 0 0 0 2529 18 0 0 25 0 1 0 172964344 41164800 9876 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 10050 9876 106 215 0 9832 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 40200

[startup+51.1014 s]
/proc/loadavg: 0.90 0.96 0.98 2/78 2625
/proc/meminfo: memFree=1236336/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=54964 CPUtime=51.07
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 13600 0 0 0 5086 21 0 0 25 0 1 0 172964344 56283136 13585 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 13741 13585 106 215 0 13523 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 54964

[startup+102.305 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 2625
/proc/meminfo: memFree=1217136/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=74048 CPUtime=102.25
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 18359 0 0 0 10199 26 0 0 25 0 1 0 172964344 75825152 18344 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 18512 18344 106 215 0 18294 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 74048

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 2625
/proc/meminfo: memFree=1216688/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=74448 CPUtime=162.24
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 18462 0 0 0 16197 27 0 0 25 0 1 0 172964344 76234752 18447 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574300 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 18612 18447 106 215 0 18394 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 74448

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2625
/proc/meminfo: memFree=1205296/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=86056 CPUtime=222.22
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 21317 0 0 0 22192 30 0 0 25 0 1 0 172964344 88121344 21302 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 21514 21302 106 215 0 21296 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 86056

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2625
/proc/meminfo: memFree=1199728/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=91476 CPUtime=282.21
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 22686 0 0 0 28189 32 0 0 25 0 1 0 172964344 93671424 22671 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 22869 22671 106 215 0 22651 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 91476

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2625
/proc/meminfo: memFree=1199728/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=91476 CPUtime=342.19
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 22686 0 0 0 34187 32 0 0 25 0 1 0 172964344 93671424 22671 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 22869 22671 106 215 0 22651 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 91476

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/84 2697
/proc/meminfo: memFree=1198336/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=91476 CPUtime=402.14
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 22686 0 0 0 40181 33 0 0 25 0 1 0 172964344 93671424 22671 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580809 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 22869 22671 106 215 0 22651 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 91476

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1197616/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=93324 CPUtime=462.06
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 23153 0 0 0 46172 34 0 0 25 0 1 0 172964344 95563776 23138 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 23331 23138 106 215 0 23113 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 93324

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1197616/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=93324 CPUtime=522.04
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 23153 0 0 0 52170 34 0 0 25 0 1 0 172964344 95563776 23138 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 23331 23138 106 215 0 23113 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 93324

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1197680/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=93580 CPUtime=582.03
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 23220 0 0 0 58168 35 0 0 25 0 1 0 172964344 95825920 23205 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 23395 23205 106 215 0 23177 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 93580

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1182640/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=108536 CPUtime=642.02
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 26942 0 0 0 64164 38 0 0 25 0 1 0 172964344 111140864 26927 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 27134 26927 106 215 0 26916 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 108536


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1179504/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=111680 CPUtime=821.97
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 27722 0 0 0 82156 41 0 0 25 0 1 0 172964344 114360320 27707 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 27920 27707 106 215 0 27702 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 111680

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1169520/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=121692 CPUtime=881.95
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 30225 0 0 0 88151 44 0 0 25 0 1 0 172964344 124612608 30210 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 30423 30210 106 215 0 30205 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 121692

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1161968/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=129184 CPUtime=941.93
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 32089 0 0 0 94147 46 0 0 25 0 1 0 172964344 132284416 32074 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580811 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 32296 32074 106 215 0 32078 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 129184

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1161968/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=129184 CPUtime=1001.91
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 32089 0 0 0 100145 46 0 0 25 0 1 0 172964344 132284416 32074 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 32296 32074 106 215 0 32078 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 129184

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1162032/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=129184 CPUtime=1061.9
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 32089 0 0 0 106143 47 0 0 25 0 1 0 172964344 132284416 32074 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 32296 32074 106 215 0 32078 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 129184

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1162032/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=129184 CPUtime=1121.88
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 32089 0 0 0 112141 47 0 0 25 0 1 0 172964344 132284416 32074 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 32296 32074 106 215 0 32078 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 129184

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1162032/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=129184 CPUtime=1181.87
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 32089 0 0 0 118139 48 0 0 25 0 1 0 172964344 132284416 32074 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 32296 32074 106 215 0 32078 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 129184

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1161264/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=129940 CPUtime=1241.86
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 32274 0 0 0 124137 49 0 0 25 0 1 0 172964344 133058560 32259 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010681 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 32485 32259 106 215 0 32267 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 129940

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1161264/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=129940 CPUtime=1301.84
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 32274 0 0 0 130135 49 0 0 25 0 1 0 172964344 133058560 32259 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 32485 32259 106 215 0 32267 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 129940

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1161264/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=129940 CPUtime=1361.82
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 32275 0 0 0 136132 50 0 0 25 0 1 0 172964344 133058560 32260 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 32485 32260 106 215 0 32267 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 129940

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1161264/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=129940 CPUtime=1421.8
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 32275 0 0 0 142130 50 0 0 25 0 1 0 172964344 133058560 32260 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581287 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 32485 32260 106 215 0 32267 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 129940

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1161264/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=129940 CPUtime=1481.79
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 32275 0 0 0 148128 51 0 0 25 0 1 0 172964344 133058560 32260 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 32485 32260 106 215 0 32267 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 129940

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1158896/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=132772 CPUtime=1541.77
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 32876 0 0 0 154125 52 0 0 25 0 1 0 172964344 135958528 32861 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 33193 32861 106 215 0 32975 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 132772

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1153968/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=137696 CPUtime=1601.76
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 34088 0 0 0 160122 54 0 0 25 0 1 0 172964344 141000704 34073 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 34424 34073 106 215 0 34206 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 137696

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1154032/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=137696 CPUtime=1661.74
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 34089 0 0 0 166119 55 0 0 25 0 1 0 172964344 141000704 34074 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 34424 34074 106 215 0 34206 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 137696

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1154032/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=137696 CPUtime=1721.72
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 34089 0 0 0 172117 55 0 0 25 0 1 0 172964344 141000704 34074 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580896 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 34424 34074 106 215 0 34206 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 137696

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1154032/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=137696 CPUtime=1781.71
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 34089 0 0 0 178115 56 0 0 25 0 1 0 172964344 141000704 34074 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 34424 34074 106 215 0 34206 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 137696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2823
/proc/meminfo: memFree=1154032/2055924 swapFree=4141332/4192956
[pid=2624] ppid=2622 vsize=137696 CPUtime=1800.01
/proc/2624/stat : 2624 (minisat+) R 2622 2624 2562 0 -1 4194304 34089 0 0 0 179945 56 0 0 25 0 1 0 172964344 141000704 34074 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2624/statm: 34424 34074 106 215 0 34206 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 137696

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.63
CPU time (s): 1800.04
CPU user time (s): 1799.45
CPU system time (s): 0.58791
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 137696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.58791
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34090
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= 1302
involuntary context switches= 35782

runsolver used 2.18267 second user time and 4.55631 second system time

The end

Launcher Data (download as text)

Begin job on node6 on Thu Apr 19 07:54:27 UTC 2007

IDJOB= 360448
IDBENCH= 1372
IDSOLVER= 156
FILE ID= node6/360448-1176969267

PBS_JOBID= 4630306

Free space on /tmp= 66414 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.opb
COMMAND LINE= /tmp/evaluation/360448-1176969267/minisat+ /tmp/evaluation/360448-1176969267/instance-360448-1176969267.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node6/convwatcher-360448-1176969267 -o ROOT/results/node6/conversion-360448-1176969267 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/360448-1176969267/instance-360448-1176969267.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-360448-1176969267 -o ROOT/results/node6/solver-360448-1176969267 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/360448-1176969267/minisat+ /tmp/evaluation/360448-1176969267/instance-360448-1176969267.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  a399b3055416a9d1117a7f2bb11b2cef

RANDOM SEED= 144329306

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node6.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055924 kB
MemFree:       1290760 kB
Buffers:         37952 kB
Cached:         656600 kB
SwapCached:      18972 kB
Active:         338780 kB
Inactive:       383792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1290760 kB
SwapTotal:     4192956 kB
SwapFree:      4141332 kB
Dirty:            5976 kB
Writeback:           0 kB
Mapped:          29652 kB
Slab:            28124 kB
Committed_AS:  6911004 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66414 MiB

End job on node6 on Thu Apr 19 08:24:30 UTC 2007