Trace number 353676

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 NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14SAT (TO)-45 1800.08 1800.54

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
MD5SUM29f577041bedcbf69a98210424b233be
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-49
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints81068
Number of constraints which are clauses81068
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1150
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c Parsing PB file...
2.10/2.19	c Converting 81068 PB-constraints to clauses...
2.10/2.20	c   -- Unit propagations: (none)
2.10/2.20	c   -- Detecting intervals from adjacent constraints: (none)
2.19/2.20	c   -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
2.29/2.39	c ==================================[MINISAT+]==================================
2.29/2.39	c | Conflicts | Original         | Learnt                           | Progress |
2.29/2.39	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.29/2.39	c ==============================================================================
2.29/2.39	c |         0 |   81068   162136 |   27022       0        0     nan |  0.000 % |
2.29/2.39	c ==============================================================================
2.29/2.39	c Found solution: -34
2.29/2.39	o -34
2.39/2.40	c ---[   0]---> Sorter-cost:63046     Base:
2.49/2.55	c ==================================[MINISAT+]==================================
2.49/2.55	c | Conflicts | Original         | Learnt                           | Progress |
2.49/2.55	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.49/2.55	c ==============================================================================
2.49/2.55	c |         0 |  148824   321085 |   49608       0        0     nan |  0.000 % |
2.69/2.70	c |       100 |  148525   320464 |   54568      89      647     7.3 |  0.364 % |
2.89/2.95	c |       250 |  147550   318365 |   60025     172     1582     9.2 |  1.583 % |
3.29/3.38	c |       475 |  146282   315603 |   66028     352     3233     9.2 |  3.202 % |
3.89/3.96	c |       813 |  144245   311162 |   72631     579     5643     9.7 |  5.871 % |
4.59/4.61	c |      1319 |  142081   306384 |   79894     969     9530     9.8 |  8.642 % |
5.89/5.96	c |      2078 |  137736   296703 |   87883    1563    16664    10.7 | 14.500 % |
7.59/7.69	c |      3217 |  131537   282628 |   96671    2418    27257    11.3 | 23.018 % |
9.89/9.94	c |      4925 |  123620   264611 |  106339    3613    42907    11.9 | 33.844 % |
12.59/12.65	c |      7487 |  113550   241172 |  116973    5356    67950    12.7 | 47.966 % |
13.89/14.00	c ==============================================================================
13.89/14.00	c Found solution: -35
13.89/14.00	o -35
13.99/14.01	c ---[   0]---> Sorter-cost:    0     Base:
13.99/14.09	c ==================================[MINISAT+]==================================
13.99/14.09	c | Conflicts | Original         | Learnt                           | Progress |
13.99/14.09	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
13.99/14.09	c ==============================================================================
13.99/14.09	c |      8942 |  109479   231646 |   36493    6398    83738    13.1 | 47.966 % |
14.09/14.13	c |      9042 |  109425   231526 |   40142    6488    84756    13.1 | 54.101 % |
14.29/14.31	c |      9192 |  108817   230122 |   44156    6542    85696    13.1 | 54.940 % |
14.39/14.42	c |      9417 |  108742   229957 |   48572    6753    88958    13.2 | 55.038 % |
14.69/14.79	c |      9754 |  107510   227021 |   53429    6943    92761    13.4 | 56.846 % |
15.18/15.25	c |     10260 |  105913   223216 |   58772    7155    97498    13.6 | 59.215 % |
15.68/15.73	c |     11020 |  105175   221476 |   64649    7673   105317    13.7 | 60.288 % |
16.58/16.64	c |     12159 |  103203   216846 |   71114    8489   120338    14.2 | 63.131 % |
17.38/17.48	c ==============================================================================
17.38/17.48	c Found solution: -36
17.38/17.48	o -36
17.38/17.50	c ---[   0]---> Sorter-cost:    0     Base:
17.49/17.57	c ==================================[MINISAT+]==================================
17.49/17.57	c | Conflicts | Original         | Learnt                           | Progress |
17.49/17.57	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
17.49/17.57	c ==============================================================================
17.49/17.57	c |     13203 |  100733   210967 |   33577    9056   136886    15.1 | 63.131 % |
17.59/17.62	c |     13303 |  100611   210685 |   36934    9131   139212    15.2 | 66.860 % |
17.68/17.73	c |     13453 |  100325   210019 |   40628    9181   139747    15.2 | 67.265 % |
17.78/17.88	c |     13678 |  100059   209371 |   44690    9352   142290    15.2 | 67.665 % |
17.98/18.07	c |     14015 |   99707   208499 |   49160    9535   150995    15.8 | 68.219 % |
18.28/18.31	c |     14522 |   99276   207440 |   54076   10000   163255    16.3 | 68.874 % |
18.38/18.47	c ==============================================================================
18.38/18.47	c Found solution: -37
18.38/18.47	o -37
18.38/18.49	c ---[   0]---> Sorter-cost:    0     Base:
18.48/18.56	c ==================================[MINISAT+]==================================
18.48/18.56	c | Conflicts | Original         | Learnt                           | Progress |
18.48/18.56	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
18.48/18.56	c ==============================================================================
18.48/18.56	c |     14905 |   99017   206836 |   33005   10349   176652    17.1 | 68.874 % |
18.59/18.65	c |     15005 |   98880   206528 |   36305   10433   177386    17.0 | 69.468 % |
18.69/18.73	c |     15156 |   98646   205978 |   39936   10557   180672    17.1 | 69.807 % |
18.78/18.87	c |     15381 |   98366   205323 |   43929   10660   183391    17.2 | 70.205 % |
18.98/19.07	c |     15718 |   97960   204346 |   48322   10906   188208    17.3 | 70.808 % |
19.38/19.41	c |     16224 |   97329   202834 |   53154   11259   197451    17.5 | 71.755 % |
19.58/19.60	c ==============================================================================
19.58/19.60	c Found solution: -38
19.58/19.60	o -38
19.58/19.62	c ---[   0]---> Sorter-cost:    0     Base:
19.58/19.70	c ==================================[MINISAT+]==================================
19.58/19.70	c | Conflicts | Original         | Learnt                           | Progress |
19.58/19.70	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
19.58/19.70	c ==============================================================================
19.58/19.70	c |     16609 |   97142   202333 |   32380   11543   200782    17.4 | 71.755 % |
19.69/19.76	c |     16709 |   97045   202091 |   35618   11621   201582    17.3 | 72.198 % |
19.79/19.84	c |     16860 |   96950   201864 |   39179   11735   204990    17.5 | 72.347 % |
19.88/19.94	c |     17088 |   96889   201715 |   43097   11909   209728    17.6 | 72.433 % |
20.08/20.14	c |     17425 |   96380   200482 |   47407   12147   216033    17.8 | 73.196 % |
20.28/20.36	c |     17932 |   96079   199749 |   52148   12412   237148    19.1 | 73.650 % |
20.58/20.66	c |     18692 |   95763   198984 |   57363   13024   253885    19.5 | 74.133 % |
20.88/20.92	c ==============================================================================
20.88/20.92	c Found solution: -39
20.88/20.92	o -39
20.88/20.94	c ---[   0]---> Sorter-cost:    0     Base:
20.98/21.02	c ==================================[MINISAT+]==================================
20.98/21.02	c | Conflicts | Original         | Learnt                           | Progress |
20.98/21.02	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
20.98/21.02	c ==============================================================================
20.98/21.02	c |     19374 |   95715   198918 |   31905   13669   272269    19.9 | 74.133 % |
20.98/21.05	c |     19474 |   95715   198918 |   35095   13769   274839    20.0 | 74.287 % |
21.08/21.14	c |     19624 |   95609   198662 |   38605   13853   276879    20.0 | 74.444 % |
21.18/21.23	c |     19849 |   95504   198406 |   42465   14055   280648    20.0 | 74.608 % |
21.38/21.43	c |     20186 |   95321   197961 |   46712   14273   290024    20.3 | 74.888 % |
21.58/21.63	c |     20692 |   95154   197572 |   51383   14648   305122    20.8 | 75.121 % |
21.88/21.94	c |     21451 |   94801   196722 |   56521   15251   327192    21.5 | 75.643 % |
22.58/22.63	c |     22590 |   93726   194151 |   62173   16066   352985    22.0 | 77.246 % |
22.88/22.93	c ==============================================================================
22.88/22.93	c Found solution: -41
22.88/22.93	o -41
22.88/22.94	c ---[   0]---> Sorter-cost:    0     Base:
22.98/23.03	c ==================================[MINISAT+]==================================
22.98/23.03	c | Conflicts | Original         | Learnt                           | Progress |
22.98/23.03	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
22.98/23.03	c ==============================================================================
22.98/23.03	c |     23429 |   93460   193538 |   31153   16809   378976    22.5 | 77.246 % |
22.98/23.06	c |     23529 |   93460   193538 |   34268   16909   381017    22.5 | 77.671 % |
23.08/23.13	c |     23679 |   93460   193538 |   37695   17059   388758    22.8 | 77.671 % |
23.18/23.21	c |     23904 |   93460   193538 |   41464   17284   395681    22.9 | 77.671 % |
23.28/23.33	c |     24241 |   93370   193322 |   45611   17561   402866    22.9 | 77.805 % |
23.48/23.57	c |     24748 |   93155   192800 |   50172   17880   419682    23.5 | 78.132 % |
23.88/23.92	c |     25507 |   92786   191894 |   55189   18335   435938    23.8 | 78.691 % |
24.48/24.50	c |     26646 |   92029   190018 |   60708   19085   465968    24.4 | 79.853 % |
25.08/25.13	c |     28354 |   91911   189738 |   66779   20687   567048    27.4 | 80.025 % |
26.08/26.11	c |     30918 |   91718   189266 |   73457   23148   724187    31.3 | 80.312 % |
27.78/27.81	c |     34763 |   91541   188853 |   80802   26821  1007077    37.5 | 80.553 % |
30.28/30.38	c |     40529 |   91425   188555 |   88883   32336  1405077    43.5 | 80.745 % |
35.48/35.59	c |     49178 |   90591   186576 |   97771   40058  2307923    57.6 | 81.963 % |
45.27/45.35	c |     62152 |   90053   185258 |  107548   52252  3904159    74.7 | 82.791 % |
64.57/64.60	c |     81614 |   89718   184449 |  118303   70757  6817442    96.4 | 83.299 % |
77.76/77.82	c ==============================================================================
77.76/77.82	c Found solution: -42
77.76/77.82	o -42
77.76/77.84	c ---[   0]---> Sorter-cost:    0     Base:
77.97/78.02	c ==================================[MINISAT+]==================================
77.97/78.02	c | Conflicts | Original         | Learnt                           | Progress |
77.97/78.02	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
77.97/78.02	c ==============================================================================
77.97/78.03	c |     92949 |   89145   183005 |   29715   81197  8186868   100.8 | 83.299 % |
78.16/78.25	c |     93050 |   89145   183005 |   32686   22034  1602261    72.7 | 84.175 % |
78.26/78.37	c |     93200 |   89036   182740 |   35955   22132  1607001    72.6 | 84.341 % |
78.36/78.47	c |     93426 |   88996   182646 |   39550   22127  1611092    72.8 | 84.397 % |
78.56/78.64	c |     93763 |   88996   182646 |   43505   22464  1641209    73.1 | 84.397 % |
78.86/78.92	c |     94269 |   88996   182646 |   47856   22970  1706790    74.3 | 84.397 % |
79.26/79.32	c |     95028 |   88949   182534 |   52641   23714  1783041    75.2 | 84.460 % |
79.86/79.91	c |     96167 |   88941   182514 |   57906   24846  1915727    77.1 | 84.472 % |
80.76/80.87	c |     97876 |   88901   182419 |   63696   26515  2138859    80.7 | 84.529 % |
82.16/82.25	c |    100438 |   88795   182161 |   70066   29050  2363631    81.4 | 84.692 % |
84.76/84.85	c |    104282 |   88753   182051 |   77073   32854  2852036    86.8 | 84.766 % |
89.26/89.35	c |    110048 |   88753   182051 |   84780   38620  3734405    96.7 | 84.766 % |
98.46/98.50	c |    118697 |   88753   182051 |   93258   47269  5406231   114.4 | 84.766 % |
108.15/108.23	c ==============================================================================
108.15/108.23	c Found solution: -43
108.15/108.23	o -43
108.15/108.24	c ---[   0]---> Sorter-cost:    0     Base:
108.35/108.41	c ==================================[MINISAT+]==================================
108.35/108.41	c | Conflicts | Original         | Learnt                           | Progress |
108.35/108.41	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
108.35/108.41	c ==============================================================================
108.35/108.41	c |    129419 |   88785   182147 |   29595   57991  7188448   124.0 | 84.766 % |
108.45/108.58	c |    129519 |   88747   182048 |   32554   58060  7189895   123.8 | 84.813 % |
108.65/108.75	c |    129669 |   88747   182048 |   35809   58210  7203645   123.8 | 84.813 % |
108.95/109.01	c |    129894 |   88747   182048 |   39390   58435  7222308   123.6 | 84.813 % |
109.25/109.30	c |    130231 |   88747   182048 |   43330   58772  7240654   123.2 | 84.813 % |
109.75/109.83	c |    130737 |   88747   182048 |   47663   59278  7308626   123.3 | 84.813 % |
110.55/110.64	c |    131496 |   88747   182048 |   52429   60037  7397997   123.2 | 84.813 % |
111.65/111.70	c |    132635 |   88747   182048 |   57672   61176  7525501   123.0 | 84.813 % |
113.26/113.32	c |    134344 |   88747   182048 |   63439   62885  7690787   122.3 | 84.813 % |
115.75/115.83	c |    136908 |   88747   182048 |   69783   65449  7984177   122.0 | 84.813 % |
120.16/120.24	c |    140752 |   88734   182017 |   76761   69270  8519695   123.0 | 84.832 % |
126.55/126.69	c |    146518 |   88734   182017 |   84437   75036  9316076   124.2 | 84.832 % |
138.25/138.31	c |    155169 |   88734   182017 |   92881   83687 10482862   125.3 | 84.832 % |
155.05/155.15	c |    168144 |   88731   182010 |  102169   96657 12423900   128.5 | 84.837 % |
188.43/188.59	c |    187605 |   88731   182010 |  112386  116118 15556343   134.0 | 84.837 % |
208.43/208.55	c ==============================================================================
208.43/208.55	c Found solution: -44
208.43/208.55	o -44
208.43/208.57	c ---[   0]---> Sorter-cost:    0     Base:
208.73/208.86	c ==================================[MINISAT+]==================================
208.73/208.86	c | Conflicts | Original         | Learnt                           | Progress |
208.73/208.86	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
208.73/208.86	c ==============================================================================
208.73/208.86	c |    200502 |   88705   181922 |   29568  127023 16926154   133.3 | 84.837 % |
209.23/209.33	c |    200602 |   88705   181922 |   32524   23397  1923533    82.2 | 84.876 % |
209.33/209.44	c |    200752 |   88705   181922 |   35777   23547  1936394    82.2 | 84.876 % |
209.43/209.59	c |    200977 |   88705   181922 |   39355   23772  1958482    82.4 | 84.876 % |
209.63/209.76	c |    201315 |   88705   181922 |   43290   24110  1985133    82.3 | 84.876 % |
209.83/209.99	c |    201821 |   88705   181922 |   47619   24616  2015838    81.9 | 84.876 % |
210.43/210.50	c |    202582 |   88689   181882 |   52381   25361  2086362    82.3 | 84.902 % |
210.93/211.05	c |    203721 |   88689   181882 |   57619   26500  2187127    82.5 | 84.902 % |
211.93/212.07	c |    205432 |   88689   181882 |   63381   28211  2387337    84.6 | 84.902 % |
213.83/213.96	c |    207994 |   88689   181882 |   69719   30773  2779868    90.3 | 84.902 % |
216.72/216.83	c |    211839 |   88689   181882 |   76691   34618  3316548    95.8 | 84.902 % |
221.52/221.61	c |    217605 |   88689   181882 |   84360   40384  4220056   104.5 | 84.902 % |
229.02/229.17	c |    226255 |   88679   181858 |   92797   49031  5387721   109.9 | 84.917 % |
242.82/242.93	c |    239230 |   88669   181834 |  102076   61996  7218396   116.4 | 84.932 % |
275.31/275.45	c |    258691 |   88669   181834 |  112284   81457 11453565   140.6 | 84.932 % |
323.31/323.47	c |    287884 |   88657   181806 |  123512  110646 15171541   137.1 | 84.949 % |
428.07/428.24	c |    331676 |   88657   181806 |  135864  154438 22015189   142.6 | 84.949 % |
489.06/489.24	c ==============================================================================
489.06/489.24	c Found solution: -45
489.06/489.24	o -45
489.06/489.26	c ---[   0]---> Sorter-cost:    0     Base:
489.46/489.63	c ==================================[MINISAT+]==================================
489.46/489.63	c | Conflicts | Original         | Learnt                           | Progress |
489.46/489.63	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
489.46/489.63	c ==============================================================================
489.46/489.63	c |    355690 |   88678   181867 |   29559  178452 25171779   141.1 | 84.949 % |
490.26/490.46	c |    355790 |   88678   181867 |   32514   23208  1976127    85.1 | 84.928 % |
490.37/490.57	c |    355940 |   88678   181867 |   35766   23358  1992119    85.3 | 84.928 % |
490.47/490.64	c |    356165 |   88678   181867 |   39343   23583  1999750    84.8 | 84.928 % |
490.66/490.80	c |    356502 |   88678   181867 |   43277   23920  2016596    84.3 | 84.928 % |
490.96/491.10	c |    357008 |   88532   181539 |   47605   24418  2030737    83.2 | 85.117 % |
491.26/491.41	c |    357767 |   88532   181539 |   52365   25177  2084426    82.8 | 85.117 % |
491.86/492.02	c |    358907 |   88532   181539 |   57602   26317  2190912    83.3 | 85.117 % |
492.86/493.02	c |    360616 |   88461   181366 |   63362   28016  2372904    84.7 | 85.223 % |
494.26/494.41	c |    363179 |   88461   181366 |   69698   30579  2595725    84.9 | 85.223 % |
496.66/496.83	c |    367023 |   88365   181126 |   76668   34408  2938796    85.4 | 85.377 % |
500.46/500.63	c |    372789 |   88323   181019 |   84335   40042  3502421    87.5 | 85.444 % |
506.76/506.90	c |    381438 |   88314   180996 |   92768   48688  4624924    95.0 | 85.459 % |
519.56/519.79	c |    394412 |   88035   180312 |  102045   61631  6268332   101.7 | 85.889 % |
542.55/542.71	c |    413873 |   88024   180283 |  112250   81003  8855683   109.3 | 85.908 % |
584.94/585.20	c |    443065 |   87888   179969 |  123475  109945 12619418   114.8 | 86.095 % |
675.22/675.47	c |    486854 |   87883   179958 |  135822  153733 18690893   121.6 | 86.102 % |
783.69/783.95	c |    552539 |   87868   179919 |  149405   63192  8854402   140.1 | 86.128 % |
962.15/962.43	c |    651065 |   87791   179732 |  164345  161647 22831147   141.2 | 86.246 % |
1177.39/1177.71	c |    798854 |   87510   179062 |  180780  125894 15975623   126.9 | 86.659 % |
1568.69/1569.13	c |   1020539 |   87402   178792 |  198858  150353 23999887   159.6 | 86.830 % |
1800.04/1800.50	c 
1800.04/1800.50	c *** TERMINATED ***
1800.04/1800.50	s SATISFIABLE
1800.04/1800.50	v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134
1800.04/1800.50	v -x1133 -x1132 -x1131 -x1130 x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 x1118 -x1117 -x1116
1800.04/1800.50	v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099
1800.04/1800.50	v -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082
1800.04/1800.50	v -x1081 -x1080 -x1079 -x1078 x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065
1800.04/1800.50	v -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048
1800.04/1800.50	v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 x1036 -x1035 -x1034 x1033 -x1032 -x1031 -x1030
1800.04/1800.50	v -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013
1800.04/1800.50	v -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995
1800.04/1800.50	v -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974
1800.04/1800.50	v -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 x956 -x955 -x954 -x953
1800.04/1800.50	v -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932
1800.04/1800.50	v -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911
1800.04/1800.50	v -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890
1800.04/1800.50	v -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869
1800.04/1800.50	v -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 x850 -x849 -x848
1800.04/1800.50	v -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827
1800.04/1800.50	v -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 x806
1800.04/1800.50	v -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 x786 -x785
1800.04/1800.50	v -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764
1800.04/1800.50	v x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743
1800.04/1800.50	v -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722
1800.04/1800.50	v -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701
1800.04/1800.50	v -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680
1800.04/1800.50	v -x679 -x678 -x677 -x676 x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659
1800.04/1800.50	v -x658 -x657 -x656 -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 x642 -x641 -x640 -x639 -x638
1800.04/1800.50	v -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617
1800.04/1800.50	v x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596
1800.04/1800.50	v -x595 -x594 -x593 -x592 -x591 -x590 x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575
1800.04/1800.50	v -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554
1800.04/1800.50	v -x553 -x552 -x551 x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533
1800.04/1800.50	v -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 x512
1800.04/1800.50	v -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491
1800.04/1800.50	v -x490 -x489 -x488 -x487 -x486 x485 -x484 -x483 x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470
1800.04/1800.50	v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449
1800.04/1800.50	v -x448 -x447 x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 x428
1800.04/1800.50	v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407
1800.04/1800.50	v -x406 -x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386
1800.04/1800.50	v -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365
1800.04/1800.50	v -x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344
1800.04/1800.50	v -x343 -x342 -x341 x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323
1800.04/1800.50	v x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302
1800.04/1800.50	v -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281
1800.04/1800.50	v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260
1800.04/1800.50	v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239
1800.04/1800.50	v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218
1800.04/1800.50	v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197
1800.04/1800.50	v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176
1800.04/1800.50	v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155
1800.04/1800.50	v -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134
1800.04/1800.50	v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
1800.04/1800.50	v -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90
1800.04/1800.50	v -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64
1800.04/1800.50	v -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38
1800.04/1800.50	v -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12
1800.04/1800.50	v -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data (download as text)

OK	-45

Conversion Script Data (download as text)

/tmp/evaluation/353676-1176672593/instance-353676-1176672593.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/node55/watcher-353676-1176672593 -o ROOT/results/node55/solver-353676-1176672593 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353676-1176672593/minisat+ /tmp/evaluation/353676-1176672593/instance-353676-1176672593.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.91 0.97 0.99 3/64 9948
/proc/meminfo: memFree=1837444/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=1312 CPUtime=0
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 162 0 0 0 0 0 0 0 18 0 1 0 115169350 1343488 147 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 328 147 74 215 0 110 0

[startup+0.0516161 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 9948
/proc/meminfo: memFree=1837444/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=1576 CPUtime=0.04
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 255 0 0 0 4 0 0 0 18 0 1 0 115169350 1613824 240 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 394 240 74 215 0 176 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1576

[startup+0.10162 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 9948
/proc/meminfo: memFree=1837444/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=2120 CPUtime=0.09
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 360 0 0 0 9 0 0 0 18 0 1 0 115169350 2170880 345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 530 345 74 215 0 312 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2120

[startup+0.301639 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 9948
/proc/meminfo: memFree=1837444/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=3648 CPUtime=0.29
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 774 0 0 0 29 0 0 0 19 0 1 0 115169350 3735552 759 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 912 759 74 215 0 694 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3648

[startup+0.701677 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 9948
/proc/meminfo: memFree=1837444/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=6920 CPUtime=0.69
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 1587 0 0 0 69 0 0 0 22 0 1 0 115169350 7086080 1572 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 1730 1572 74 215 0 1512 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6920

[startup+1.50175 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 9949
/proc/meminfo: memFree=1828924/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=13620 CPUtime=1.49
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 3233 0 0 0 148 1 0 0 25 0 1 0 115169350 13946880 3218 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 3405 3218 74 215 0 3187 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13620

[startup+3.10191 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 9949
/proc/meminfo: memFree=1819708/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=30288 CPUtime=3.09
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 7249 0 0 0 297 12 0 0 22 0 1 0 115169350 31014912 7052 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569710 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 7572 7052 110 215 0 7354 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30288

[startup+6.30121 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 9949
/proc/meminfo: memFree=1809212/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=30288 CPUtime=6.29
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 7249 0 0 0 616 13 0 0 25 0 1 0 115169350 31014912 7052 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 7572 7052 110 215 0 7354 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30288

[startup+12.7018 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 9949
/proc/meminfo: memFree=1809220/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=30288 CPUtime=12.69
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 7249 0 0 0 1256 13 0 0 25 0 1 0 115169350 31014912 7052 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 7572 7052 110 215 0 7354 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30288

[startup+25.501 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 9949
/proc/meminfo: memFree=1809092/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=30668 CPUtime=25.48
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 7310 0 0 0 2535 13 0 0 25 0 1 0 115169350 31404032 7113 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574445 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 7667 7113 110 215 0 7449 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30668

[startup+51.1015 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 9949
/proc/meminfo: memFree=1794820/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=45356 CPUtime=51.07
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 10968 0 0 0 5091 16 0 0 25 0 1 0 115169350 46444544 10771 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 11339 10771 110 215 0 11121 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 45356

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 9949
/proc/meminfo: memFree=1779716/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=59956 CPUtime=102.26
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 14617 0 0 0 10207 19 0 0 25 0 1 0 115169350 61394944 14420 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580212 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 14989 14420 110 215 0 14771 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 59956

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9949
/proc/meminfo: memFree=1759236/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=80700 CPUtime=162.24
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 19783 0 0 0 16199 25 0 0 25 0 1 0 115169350 82636800 19586 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 20175 19586 110 215 0 19957 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 80700

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9949
/proc/meminfo: memFree=1741124/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=98372 CPUtime=222.22
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 24223 0 0 0 22192 30 0 0 25 0 1 0 115169350 100732928 24026 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 24593 24026 110 215 0 24375 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 98372

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9949
/proc/meminfo: memFree=1741124/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=98372 CPUtime=282.21
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 24223 0 0 0 28191 30 0 0 25 0 1 0 115169350 100732928 24026 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 24593 24026 110 215 0 24375 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 98372

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9949
/proc/meminfo: memFree=1741124/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=98372 CPUtime=342.2
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 24223 0 0 0 34189 31 0 0 25 0 1 0 115169350 100732928 24026 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574293 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 24593 24026 110 215 0 24375 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 98372

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9949
/proc/meminfo: memFree=1726916/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=113004 CPUtime=402.18
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 27811 0 0 0 40183 35 0 0 25 0 1 0 115169350 115716096 27614 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 28251 27614 110 215 0 28033 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 113004

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9949
/proc/meminfo: memFree=1713220/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=126572 CPUtime=462.17
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 31227 0 0 0 46179 38 0 0 25 0 1 0 115169350 129609728 31030 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580959 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 31643 31030 110 215 0 31425 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 126572

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9951
/proc/meminfo: memFree=1707012/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=132580 CPUtime=522.15
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 32751 0 0 0 52175 40 0 0 25 0 1 0 115169350 135761920 32554 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 33145 32554 110 215 0 32927 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 132580

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9951
/proc/meminfo: memFree=1707012/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=132580 CPUtime=582.14
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 32751 0 0 0 58174 40 0 0 25 0 1 0 115169350 135761920 32554 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 33145 32554 110 215 0 32927 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 132580

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9951
/proc/meminfo: memFree=1706948/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=132580 CPUtime=642.13
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 32751 0 0 0 64173 40 0 0 25 0 1 0 115169350 135761920 32554 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 33145 32554 110 215 0 32927 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 132580


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9951
/proc/meminfo: memFree=1706884/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=132572 CPUtime=882.06
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 32752 0 0 0 88166 40 0 0 25 0 1 0 115169350 135753728 32555 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 33143 32555 110 215 0 32925 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 132572

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9951
/proc/meminfo: memFree=1706884/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=132572 CPUtime=942.04
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 32752 0 0 0 94164 40 0 0 25 0 1 0 115169350 135753728 32555 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010625 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 33143 32555 110 215 0 32925 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 132572

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9951
/proc/meminfo: memFree=1703812/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=135852 CPUtime=1002.03
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 33548 0 0 0 100162 41 0 0 25 0 1 0 115169350 139112448 33351 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 33963 33351 110 215 0 33745 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 135852

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9951
/proc/meminfo: memFree=1692164/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=147592 CPUtime=1062.02
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 36420 0 0 0 106157 45 0 0 25 0 1 0 115169350 151134208 36223 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 36898 36223 110 215 0 36680 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 147592

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9951
/proc/meminfo: memFree=1692164/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=147592 CPUtime=1122
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 36420 0 0 0 112155 45 0 0 25 0 1 0 115169350 151134208 36223 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 36898 36223 110 215 0 36680 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 147592

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9951
/proc/meminfo: memFree=1692164/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=147592 CPUtime=1181.99
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 36420 0 0 0 118154 45 0 0 25 0 1 0 115169350 151134208 36223 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 36898 36223 110 215 0 36680 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 147592

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9951
/proc/meminfo: memFree=1692100/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=147592 CPUtime=1241.97
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 36420 0 0 0 124152 45 0 0 25 0 1 0 115169350 151134208 36223 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 36898 36223 110 215 0 36680 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 147592

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 3/65 9951
/proc/meminfo: memFree=1692100/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=147592 CPUtime=1301.96
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 36420 0 0 0 130151 45 0 0 25 0 1 0 115169350 151134208 36223 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 36898 36223 110 215 0 36680 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 147592

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9951
/proc/meminfo: memFree=1689924/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=149812 CPUtime=1361.95
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 36994 0 0 0 136149 46 0 0 25 0 1 0 115169350 153407488 36797 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 37453 36797 110 215 0 37235 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 149812

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9951
/proc/meminfo: memFree=1685444/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=154124 CPUtime=1421.93
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 38076 0 0 0 142146 47 0 0 25 0 1 0 115169350 157822976 37879 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 38531 37879 110 215 0 38313 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 154124

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9951
/proc/meminfo: memFree=1685444/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=154124 CPUtime=1481.92
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 38076 0 0 0 148145 47 0 0 25 0 1 0 115169350 157822976 37879 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 38531 37879 110 215 0 38313 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 154124

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9951
/proc/meminfo: memFree=1685380/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=154124 CPUtime=1541.9
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 38076 0 0 0 154143 47 0 0 25 0 1 0 115169350 157822976 37879 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 38531 37879 110 215 0 38313 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 154124

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9951
/proc/meminfo: memFree=1685380/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=154124 CPUtime=1601.88
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 38076 0 0 0 160141 47 0 0 25 0 1 0 115169350 157822976 37879 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 38531 37879 110 215 0 38313 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 154124

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9951
/proc/meminfo: memFree=1685380/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=154124 CPUtime=1661.87
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 38076 0 0 0 166140 47 0 0 25 0 1 0 115169350 157822976 37879 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 38531 37879 110 215 0 38313 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 154124

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9951
/proc/meminfo: memFree=1677700/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=162068 CPUtime=1721.86
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 40040 0 0 0 172136 50 0 0 25 0 1 0 115169350 165957632 39843 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 40517 39843 110 215 0 40299 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 162068

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9951
/proc/meminfo: memFree=1668804/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=170748 CPUtime=1781.84
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 42217 0 0 0 178132 52 0 0 25 0 1 0 115169350 174845952 42020 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 42687 42020 110 215 0 42469 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 170748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9951
/proc/meminfo: memFree=1666244/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=173208 CPUtime=1800.04
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 42835 0 0 0 179952 52 0 0 25 0 1 0 115169350 177364992 42638 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 43302 42638 110 215 0 43084 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 173208

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9951
/proc/meminfo: memFree=1666244/2055920 swapFree=4184748/4192956
[pid=9948] ppid=9946 vsize=173208 CPUtime=1800.04
/proc/9948/stat : 9948 (minisat+) R 9946 9948 9268 0 -1 4194304 42835 0 0 0 179952 52 0 0 25 0 1 0 115169350 177364992 42638 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9948/statm: 43302 42638 110 215 0 43084 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 173208

Child status: 10
Real time (s): 1800.54
CPU time (s): 1800.08
CPU user time (s): 1799.52
CPU system time (s): 0.556915
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 173208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.556915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42837
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= 355
involuntary context switches= 2872

runsolver used 1.2838 second user time and 3.82942 second system time

The end

Launcher Data (download as text)

Begin job on node55 on Sun Apr 15 21:29:53 UTC 2007

IDJOB= 353676
IDBENCH= 2261
IDSOLVER= 156
FILE ID= node55/353676-1176672593

PBS_JOBID= 4559943

Free space on /tmp= 66559 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
COMMAND LINE= /tmp/evaluation/353676-1176672593/minisat+ /tmp/evaluation/353676-1176672593/instance-353676-1176672593.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node55/convwatcher-353676-1176672593 -o ROOT/results/node55/conversion-353676-1176672593 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353676-1176672593/instance-353676-1176672593.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  29f577041bedcbf69a98210424b233be

RANDOM SEED= 242773265

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node55.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.216
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.216
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:      2055920 kB
MemFree:       1837852 kB
Buffers:         15464 kB
Cached:         121672 kB
SwapCached:       2060 kB
Active:          57580 kB
Inactive:        89952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1837852 kB
SwapTotal:     4192956 kB
SwapFree:      4184748 kB
Dirty:            4240 kB
Writeback:           0 kB
Mapped:          17444 kB
Slab:            56604 kB
Committed_AS:  1015692 kB
PageTables:       1384 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= 66559 MiB

End job on node55 on Sun Apr 15 21:59:56 UTC 2007