Trace number 353741

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)-52 1800.06 1800.55

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
MD5SUM937ec96fd1742e5ed6250d14e65c707b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-57
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 -57
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints127011
Number of constraints which are clauses127011
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 1534
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 1534
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 1534
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...
3.39/3.47	c Converting 127011 PB-constraints to clauses...
3.39/3.48	c   -- Unit propagations: (none)
3.39/3.48	c   -- Detecting intervals from adjacent constraints: (none)
3.39/3.49	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
3.68/3.78	c ==================================[MINISAT+]==================================
3.68/3.78	c | Conflicts | Original         | Learnt                           | Progress |
3.68/3.78	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.68/3.78	c ==============================================================================
3.68/3.78	c |         0 |  127011   254022 |   42337       0        0     nan |  0.000 % |
3.68/3.78	c ==============================================================================
3.68/3.78	c Found solution: -39
3.68/3.78	o -39
3.68/3.80	c ---[   0]---> Sorter-cost:85954     Base:
3.98/4.01	c ==================================[MINISAT+]==================================
3.98/4.01	c | Conflicts | Original         | Learnt                           | Progress |
3.98/4.01	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.98/4.01	c ==============================================================================
3.98/4.01	c |         0 |  217724   466825 |   72574       0        0     nan |  0.000 % |
4.28/4.31	c |       101 |  217100   465520 |   79831      75     1891    25.2 |  0.552 % |
4.68/4.72	c |       251 |  216142   463482 |   87814     175     2869    16.4 |  1.472 % |
4.78/4.89	c ==============================================================================
4.78/4.89	c Found solution: -41
4.78/4.89	o -41
4.88/4.91	c ---[   0]---> Sorter-cost:    0     Base:
4.88/5.00	c ==================================[MINISAT+]==================================
4.88/5.00	c | Conflicts | Original         | Learnt                           | Progress |
4.88/5.00	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
4.88/5.00	c ==============================================================================
4.88/5.00	c |       283 |  215895   463068 |   71965     196     3081    15.7 |  1.472 % |
5.17/5.20	c |       383 |  215282   461707 |   79161     278     3977    14.3 |  2.308 % |
5.48/5.57	c |       533 |  214159   459226 |   87077     364     4788    13.2 |  3.458 % |
6.07/6.14	c |       758 |  213006   456739 |   95785     549     6483    11.8 |  4.484 % |
7.07/7.17	c |      1095 |  209782   449507 |  105363     745     9421    12.6 |  7.724 % |
8.36/8.47	c |      1601 |  206432   442115 |  115900    1112    13705    12.3 | 10.979 % |
10.26/10.36	c |      2360 |  201924   431973 |  127490    1602    20009    12.5 | 15.533 % |
12.85/12.95	c |      3500 |  195490   417458 |  140239    2379    31301    13.2 | 22.054 % |
16.64/16.70	c |      5208 |  186285   396444 |  154263    3408    43041    12.6 | 31.638 % |
21.13/21.25	c |      7770 |  173869   367796 |  169689    5209    63334    12.2 | 44.393 % |
26.33/26.41	c |     11614 |  161751   339183 |  186658    7679    87729    11.4 | 57.565 % |
28.13/28.25	c ==============================================================================
28.13/28.25	c Found solution: -42
28.13/28.25	o -42
28.13/28.27	c ---[   0]---> Sorter-cost:    0     Base:
28.23/28.37	c ==================================[MINISAT+]==================================
28.23/28.37	c | Conflicts | Original         | Learnt                           | Progress |
28.23/28.37	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
28.23/28.37	c ==============================================================================
28.23/28.37	c |     13187 |  157688   329476 |   52562    8663   102201    11.8 | 57.565 % |
28.53/28.65	c |     13287 |  156933   327666 |   57818    8663   102407    11.8 | 62.822 % |
28.73/28.86	c |     13437 |  156496   326637 |   63600    8745   104289    11.9 | 63.301 % |
28.93/29.08	c |     13662 |  155926   325281 |   69960    8819   104473    11.8 | 63.932 % |
29.23/29.38	c |     13999 |  155223   323650 |   76956    9083   108132    11.9 | 64.683 % |
29.93/30.02	c |     14505 |  153620   319797 |   84651    9246   108097    11.7 | 66.481 % |
30.53/30.60	c |     15266 |  152501   317114 |   93116    9748   115430    11.8 | 67.730 % |
31.42/31.54	c |     16405 |  150344   311979 |  102428   10394   122912    11.8 | 70.057 % |
32.72/32.87	c |     18113 |  147697   305619 |  112671   11549   139462    12.1 | 72.985 % |
33.02/33.16	c ==============================================================================
33.02/33.16	c Found solution: -43
33.02/33.16	o -43
33.02/33.18	c ---[   0]---> Sorter-cost:    0     Base:
33.12/33.28	c ==================================[MINISAT+]==================================
33.12/33.28	c | Conflicts | Original         | Learnt                           | Progress |
33.12/33.28	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
33.12/33.28	c ==============================================================================
33.12/33.28	c |     18694 |  147539   305334 |   49179   12008   148388    12.4 | 72.985 % |
33.22/33.37	c |     18794 |  147400   304996 |   54096   12090   148857    12.3 | 73.377 % |
33.42/33.56	c |     18945 |  146811   303591 |   59506   12125   150381    12.4 | 74.016 % |
33.62/33.77	c |     19170 |  146618   303111 |   65457   12274   152728    12.4 | 74.244 % |
33.92/34.03	c |     19507 |  145916   301459 |   72002   12424   155150    12.5 | 75.006 % |
34.32/34.44	c |     20013 |  145431   300287 |   79203   12767   162117    12.7 | 75.554 % |
34.82/34.97	c |     20772 |  144765   298681 |   87123   13375   171555    12.8 | 76.309 % |
35.62/35.73	c |     21911 |  143552   295765 |   95835   14116   185523    13.1 | 77.671 % |
36.32/36.42	c ==============================================================================
36.32/36.42	c Found solution: -44
36.32/36.42	o -44
36.32/36.44	c ---[   0]---> Sorter-cost:    0     Base:
36.42/36.55	c ==================================[MINISAT+]==================================
36.42/36.55	c | Conflicts | Original         | Learnt                           | Progress |
36.42/36.55	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
36.42/36.55	c ==============================================================================
36.42/36.55	c |     23059 |  142709   293706 |   47569   14897   209048    14.0 | 77.671 % |
36.52/36.65	c |     23159 |  142510   293231 |   52325   14949   209340    14.0 | 78.860 % |
36.62/36.79	c |     23310 |  142062   292140 |   57558   14929   208787    14.0 | 79.346 % |
36.82/36.98	c |     23536 |  141876   291690 |   63314   15084   214231    14.2 | 79.559 % |
37.12/37.20	c |     23873 |  141619   291066 |   69645   15263   216726    14.2 | 79.842 % |
37.33/37.45	c |     24380 |  141451   290658 |   76610   15623   225005    14.4 | 80.026 % |
37.53/37.68	c |     25139 |  141389   290517 |   84271   16374   240561    14.7 | 80.090 % |
38.02/38.14	c |     26278 |  141010   289613 |   92698   17296   268483    15.5 | 80.505 % |
38.71/38.87	c |     27986 |  140784   289062 |  101968   18835   308966    16.4 | 80.767 % |
39.81/39.95	c |     30548 |  140209   287664 |  112165   21022   405981    19.3 | 81.421 % |
40.51/40.65	c ==============================================================================
40.51/40.65	c Found solution: -45
40.51/40.65	o -45
40.51/40.67	c ---[   0]---> Sorter-cost:    0     Base:
40.61/40.79	c ==================================[MINISAT+]==================================
40.61/40.79	c | Conflicts | Original         | Learnt                           | Progress |
40.61/40.79	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
40.61/40.79	c ==============================================================================
40.61/40.79	c |     31778 |  139373   285667 |   46457   21842   443937    20.3 | 81.421 % |
40.71/40.86	c |     31878 |  139276   285430 |   51102   21902   444674    20.3 | 82.494 % |
40.81/40.92	c |     32029 |  139276   285430 |   56212   22053   447802    20.3 | 82.494 % |
40.91/41.09	c |     32254 |  139132   285074 |   61834   22160   457327    20.6 | 82.665 % |
41.11/41.23	c |     32591 |  139096   284980 |   68017   22456   466009    20.8 | 82.711 % |
41.31/41.45	c |     33097 |  139094   284976 |   74819   22954   500316    21.8 | 82.712 % |
41.61/41.73	c |     33856 |  139054   284872 |   82301   23600   526498    22.3 | 82.762 % |
42.21/42.33	c |     34995 |  138920   284556 |   90531   24549   663204    27.0 | 82.909 % |
43.01/43.11	c ==============================================================================
43.01/43.11	c Found solution: -46
43.01/43.11	o -46
43.01/43.13	c ---[   0]---> Sorter-cost:    0     Base:
43.11/43.25	c ==================================[MINISAT+]==================================
43.11/43.25	c | Conflicts | Original         | Learnt                           | Progress |
43.11/43.25	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
43.11/43.25	c ==============================================================================
43.11/43.25	c |     36284 |  138821   284259 |   46273   25668   883732    34.4 | 82.909 % |
43.21/43.39	c |     36385 |  138694   283953 |   50900   25669   884126    34.4 | 83.174 % |
43.31/43.46	c |     36536 |  138694   283953 |   55990   25820   891891    34.5 | 83.174 % |
43.51/43.62	c |     36762 |  138602   283731 |   61589   25934   893650    34.5 | 83.279 % |
43.61/43.78	c |     37100 |  138554   283617 |   67748   26205   902693    34.4 | 83.333 % |
44.01/44.11	c |     37606 |  138370   283163 |   74523   26546   924148    34.8 | 83.550 % |
44.31/44.47	c |     38365 |  138313   283026 |   81975   27113   948062    35.0 | 83.615 % |
44.51/44.69	c ==============================================================================
44.51/44.69	c Found solution: -48
44.51/44.69	o -48
44.61/44.72	c ---[   0]---> Sorter-cost:    0     Base:
44.71/44.84	c ==================================[MINISAT+]==================================
44.71/44.84	c | Conflicts | Original         | Learnt                           | Progress |
44.71/44.84	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
44.71/44.84	c ==============================================================================
44.71/44.84	c |     38791 |  138360   283160 |   46120   27022   836672    31.0 | 83.615 % |
44.71/44.89	c |     38892 |  138358   283156 |   50732   27122   837742    30.9 | 83.607 % |
44.91/45.02	c |     39043 |  138332   283094 |   55805   27268   842795    30.9 | 83.636 % |
45.11/45.23	c |     39268 |  138117   282577 |   61385   27410   845816    30.9 | 83.879 % |
45.31/45.40	c |     39605 |  138117   282577 |   67524   27747   884440    31.9 | 83.879 % |
45.51/45.67	c |     40111 |  138075   282477 |   74276   28208   904104    32.1 | 83.926 % |
45.91/46.09	c |     40870 |  137982   282266 |   81704   28889   956337    33.1 | 84.019 % |
46.51/46.69	c |     42009 |  137859   281970 |   89874   29943  1018380    34.0 | 84.157 % |
47.51/47.66	c |     43717 |  137738   281685 |   98862   31588  1206634    38.2 | 84.288 % |
48.91/49.02	c |     46279 |  137357   280740 |  108748   33696  1418373    42.1 | 84.732 % |
51.61/51.70	c |     50123 |  137309   280630 |  119623   37526  2132174    56.8 | 84.782 % |
55.30/55.47	c ==============================================================================
55.30/55.47	c Found solution: -49
55.30/55.47	o -49
55.30/55.49	c ---[   0]---> Sorter-cost:    0     Base:
55.50/55.64	c ==================================[MINISAT+]==================================
55.50/55.64	c | Conflicts | Original         | Learnt                           | Progress |
55.50/55.64	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
55.50/55.64	c ==============================================================================
55.50/55.64	c |     55401 |  137127   280197 |   45709   42680  2974708    69.7 | 84.782 % |
55.50/55.68	c |     55501 |  137127   280197 |   50279   42780  2976346    69.6 | 85.002 % |
55.70/55.85	c |     55651 |  136978   279835 |   55307   42557  2970739    69.8 | 85.168 % |
55.91/56.01	c |     55876 |  136978   279835 |   60838   42782  2981811    69.7 | 85.168 % |
56.20/56.36	c |     56213 |  136946   279745 |   66922   42968  2999837    69.8 | 85.208 % |
56.60/56.79	c |     56720 |  136769   279322 |   73614   42865  3011417    70.3 | 85.406 % |
57.20/57.38	c |     57479 |  136682   279123 |   80976   43566  3091567    71.0 | 85.496 % |
58.00/58.10	c |     58618 |  136682   279123 |   89073   44705  3176085    71.0 | 85.496 % |
59.21/59.33	c |     60327 |  136677   279112 |   97981   46359  3394772    73.2 | 85.501 % |
61.40/61.58	c |     62889 |  136606   278935 |  107779   48822  3952476    81.0 | 85.586 % |
64.30/64.47	c |     66734 |  136606   278935 |  118557   52667  4362427    82.8 | 85.586 % |
67.60/67.78	c ==============================================================================
67.60/67.78	c Found solution: -50
67.60/67.78	o -50
67.70/67.81	c ---[   0]---> Sorter-cost:    0     Base:
67.79/67.98	c ==================================[MINISAT+]==================================
67.79/67.98	c | Conflicts | Original         | Learnt                           | Progress |
67.79/67.98	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
67.79/67.98	c ==============================================================================
67.79/67.98	c |     70484 |  136545   278743 |   45515   56061  4839854    86.3 | 85.586 % |
67.89/68.08	c |     70585 |  136545   278743 |   50066   56162  4844298    86.3 | 85.659 % |
68.01/68.19	c |     70735 |  136545   278743 |   55073   56312  4853620    86.2 | 85.659 % |
68.30/68.49	c |     70965 |  136508   278657 |   60580   56513  4877293    86.3 | 85.698 % |
68.70/68.83	c |     71302 |  136496   278631 |   66638   56834  4903232    86.3 | 85.709 % |
69.00/69.19	c |     71808 |  136496   278631 |   73302   57340  4937196    86.1 | 85.709 % |
69.60/69.73	c |     72567 |  136496   278631 |   80632   58099  4981194    85.7 | 85.709 % |
70.80/70.96	c |     73706 |  136461   278546 |   88695   59205  5136627    86.8 | 85.749 % |
72.59/72.72	c |     75418 |  136461   278546 |   97565   60917  5434311    89.2 | 85.749 % |
75.10/75.24	c |     77980 |  136417   278438 |  107321   63453  5774796    91.0 | 85.799 % |
79.19/79.37	c |     81824 |  136321   278208 |  118054   67105  6309832    94.0 | 85.907 % |
86.70/86.88	c |     87590 |  136321   278208 |  129859   72871  7685311   105.5 | 85.907 % |
97.99/98.11	c |     96241 |  136217   277949 |  142845   81328  9191572   113.0 | 86.031 % |
117.19/117.39	c |    109215 |  136204   277918 |  157130   94286 11641845   123.5 | 86.046 % |
149.48/149.64	c ==============================================================================
149.48/149.65	c Found solution: -51
149.48/149.65	o -51
149.48/149.67	c ---[   0]---> Sorter-cost:    0     Base:
149.78/149.98	c ==================================[MINISAT+]==================================
149.78/149.98	c | Conflicts | Original         | Learnt                           | Progress |
149.78/149.98	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
149.78/149.98	c ==============================================================================
149.78/149.98	c |    125220 |  136194   277914 |   45398  110254 16471650   149.4 | 86.046 % |
150.18/150.37	c |    125320 |  136181   277883 |   49937   20057  4267558   212.8 | 86.113 % |
150.28/150.49	c |    125470 |  136169   277853 |   54931   20206  4271480   211.4 | 86.113 % |
150.38/150.53	c |    125697 |  136169   277853 |   60424   20433  4273810   209.2 | 86.113 % |
150.59/150.78	c |    126034 |  136117   277724 |   66467   20608  4287831   208.1 | 86.174 % |
151.28/151.42	c |    126540 |  135890   277186 |   73113   21097  4314903   204.5 | 86.423 % |
151.59/151.78	c |    127299 |  135890   277186 |   80425   21856  4363796   199.7 | 86.423 % |
152.08/152.28	c |    128438 |  135890   277186 |   88467   22995  4434339   192.8 | 86.423 % |
152.98/153.12	c |    130146 |  135868   277130 |   97314   24672  4540070   184.0 | 86.451 % |
154.28/154.40	c |    132709 |  135755   276862 |  107046   27219  4704140   172.8 | 86.574 % |
156.88/157.09	c |    136554 |  135751   276852 |  117750   31061  5320921   171.3 | 86.579 % |
160.88/161.08	c |    142320 |  135645   276598 |  129525   36769  5908029   160.7 | 86.698 % |
167.98/168.12	c |    150969 |  135622   276541 |  142478   45411  7122478   156.8 | 86.725 % |
179.88/180.07	c |    163943 |  135377   275953 |  156726   58104  8615626   148.3 | 86.995 % |
202.07/202.21	c |    183404 |  135186   275506 |  172398   77279 11243538   145.5 | 87.201 % |
243.76/243.94	c |    212596 |  135136   275378 |  189638  106355 16308482   153.3 | 87.262 % |
339.54/339.74	c |    256385 |  135136   275378 |  208602  150144 24609310   163.9 | 87.262 % |
498.01/498.24	c ==============================================================================
498.01/498.24	c Found solution: -52
498.01/498.24	o -52
498.01/498.27	c ---[   0]---> Sorter-cost:    0     Base:
498.60/498.83	c ==================================[MINISAT+]==================================
498.60/498.83	c | Conflicts | Original         | Learnt                           | Progress |
498.60/498.83	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
498.60/498.83	c ==============================================================================
498.60/498.83	c |    319218 |  135118   275317 |   45039  212629 36982741   173.9 | 87.262 % |
499.40/499.65	c |    319319 |  135102   275277 |   49542   23999  2954720   123.1 | 87.302 % |
499.50/499.76	c |    319469 |  135102   275277 |   54497   24149  2958652   122.5 | 87.302 % |
499.60/499.88	c |    319694 |  135102   275277 |   59946   24374  2971371   121.9 | 87.302 % |
499.80/500.06	c |    320031 |  135102   275277 |   65941   24711  2996195   121.2 | 87.302 % |
500.00/500.27	c |    320537 |  135102   275277 |   72535   25217  3032767   120.3 | 87.302 % |
500.50/500.74	c |    321296 |  135070   275205 |   79789   25962  3089953   119.0 | 87.334 % |
501.10/501.32	c |    322435 |  135070   275205 |   87768   27101  3165373   116.8 | 87.334 % |
502.00/502.23	c |    324143 |  135070   275205 |   96545   28809  3294990   114.4 | 87.334 % |
503.50/503.77	c |    326705 |  135070   275205 |  106199   31371  3594774   114.6 | 87.334 % |
506.30/506.53	c |    330549 |  135025   275096 |  116819   35180  4108395   116.8 | 87.386 % |
510.60/510.89	c |    336315 |  135025   275096 |  128501   40946  4934785   120.5 | 87.386 % |
517.59/517.87	c |    344964 |  134979   274988 |  141351   49583  6070038   122.4 | 87.436 % |
530.09/530.39	c |    357939 |  134979   274988 |  155486   62558  8149187   130.3 | 87.436 % |
554.19/554.49	c |    377401 |  134971   274968 |  171035   82016 11007905   134.2 | 87.445 % |
598.88/599.14	c |    406593 |  134952   274923 |  188139  111200 16198587   145.7 | 87.466 % |
680.85/681.11	c |    450383 |  134930   274869 |  206952  154931 23785627   153.5 | 87.492 % |
852.82/853.11	c |    516067 |  134920   274845 |  227648  220565 35722294   162.0 | 87.503 % |
1117.65/1118.07	c |    614594 |  134911   274822 |  250413   58194 11304096   194.2 | 87.514 % |
1395.20/1395.67	c |    762383 |  134819   274614 |  275454  205959 37702602   183.1 | 87.607 % |
1800.01/1800.50	c 
1800.01/1800.50	c *** TERMINATED ***
1800.01/1800.50	s SATISFIABLE
1800.01/1800.50	v -x1534 -x1533 -x1532 -x1531 x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518
1800.01/1800.50	v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501
1800.01/1800.50	v -x1500 -x1499 -x1498 x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484
1800.01/1800.50	v -x1483 -x1482 -x1481 -x1480 -x1479 x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467
1800.01/1800.50	v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450
1800.01/1800.50	v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 x1435 -x1434 -x1433
1800.01/1800.50	v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 x1417 -x1416
1800.01/1800.50	v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399
1800.01/1800.50	v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382
1800.01/1800.50	v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365
1800.01/1800.50	v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 x1354 -x1353 -x1352 -x1351 x1350 -x1349 -x1348 -x1347
1800.01/1800.50	v -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330
1800.01/1800.50	v -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313
1800.01/1800.50	v -x1312 -x1311 x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296
1800.01/1800.50	v -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279
1800.01/1800.50	v -x1278 -x1277 -x1276 -x1275 -x1274 x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262
1800.01/1800.50	v -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245
1800.01/1800.50	v -x1244 -x1243 -x1242 -x1241 -x1240 x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228
1800.01/1800.50	v -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211
1800.01/1800.50	v -x1210 -x1209 x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194
1800.01/1800.50	v -x1193 -x1192 x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177
1800.01/1800.50	v -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160
1800.01/1800.50	v -x1159 -x1158 x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143
1800.01/1800.50	v -x1142 -x1141 -x1140 -x1139 -x1138 x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126
1800.01/1800.50	v -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109
1800.01/1800.50	v -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 x1094 -x1093 -x1092
1800.01/1800.50	v -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075
1800.01/1800.50	v -x1074 -x1073 -x1072 -x1071 -x1070 x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058
1800.01/1800.50	v -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 x1045 -x1044 -x1043 -x1042 -x1041
1800.01/1800.50	v -x1040 -x1039 -x1038 x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024
1800.01/1800.50	v -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007
1800.01/1800.50	v -x1006 -x1005 -x1004 -x1003 -x1002 x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988
1800.01/1800.50	v -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967
1800.01/1800.50	v -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 x947 -x946
1800.01/1800.50	v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 x929 -x928 -x927 -x926 -x925
1800.01/1800.50	v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904
1800.01/1800.50	v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883
1800.01/1800.50	v -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862
1800.01/1800.50	v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841
1800.01/1800.50	v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 x824 -x823 -x822 -x821 -x820
1800.01/1800.50	v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799
1800.01/1800.50	v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 x782 -x781 -x780 x779 -x778
1800.01/1800.50	v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757
1800.01/1800.50	v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736
1800.01/1800.50	v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715
1800.01/1800.50	v -x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694
1800.01/1800.50	v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673
1800.01/1800.50	v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652
1800.01/1800.50	v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631
1800.01/1800.50	v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610
1800.01/1800.50	v -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 x594 -x593 -x592 -x591 -x590 -x589
1800.01/1800.50	v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568
1800.01/1800.50	v x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547
1800.01/1800.50	v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526
1800.01/1800.50	v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505
1800.01/1800.50	v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484
1800.01/1800.50	v -x483 -x482 -x481 -x480 -x479 -x478 -x477 x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 x468 -x467 -x466 -x465 -x464 -x463
1800.01/1800.50	v -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442
1800.01/1800.50	v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421
1800.01/1800.50	v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400
1800.01/1800.50	v x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379
1800.01/1800.50	v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358
1800.01/1800.50	v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337
1800.01/1800.50	v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316
1800.01/1800.50	v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295
1800.01/1800.50	v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274
1800.01/1800.50	v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253
1800.01/1800.50	v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232
1800.01/1800.50	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211
1800.01/1800.50	v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190
1800.01/1800.50	v -x189 -x188 x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169
1800.01/1800.50	v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.01/1800.50	v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.01/1800.50	v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.01/1800.50	v -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
1800.01/1800.50	v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56
1800.01/1800.50	v -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30
1800.01/1800.50	v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.01/1800.50	v -x1

Verifier Data (download as text)

OK	-52

Conversion Script Data (download as text)

/tmp/evaluation/353741-1176674480/instance-353741-1176674480.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/node34/watcher-353741-1176674480 -o ROOT/results/node34/solver-353741-1176674480 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353741-1176674480/minisat+ /tmp/evaluation/353741-1176674480/instance-353741-1176674480.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: 1.00 1.00 1.00 3/83 22545
/proc/meminfo: memFree=1619968/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=1340 CPUtime=0
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 115363447 1372160 163 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 335 163 74 215 0 117 0

[startup+0.0785361 s]
/proc/loadavg: 1.00 1.00 1.00 3/83 22545
/proc/meminfo: memFree=1619968/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=1892 CPUtime=0.07
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 324 0 0 0 7 0 0 0 18 0 1 0 115363447 1937408 309 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 473 309 74 215 0 255 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1892

[startup+0.101538 s]
/proc/loadavg: 1.00 1.00 1.00 3/83 22545
/proc/meminfo: memFree=1619968/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=2172 CPUtime=0.09
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 373 0 0 0 9 0 0 0 18 0 1 0 115363447 2224128 358 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 543 358 74 215 0 325 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2172

[startup+0.301553 s]
/proc/loadavg: 1.00 1.00 1.00 3/83 22545
/proc/meminfo: memFree=1619968/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=3840 CPUtime=0.29
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 789 0 0 0 29 0 0 0 19 0 1 0 115363447 3932160 774 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007864 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 960 775 74 215 0 742 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3840

[startup+0.701585 s]
/proc/loadavg: 1.00 1.00 1.00 3/83 22545
/proc/meminfo: memFree=1619968/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=7112 CPUtime=0.69
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 1621 0 0 0 68 1 0 0 23 0 1 0 115363447 7282688 1606 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 1778 1606 74 215 0 1560 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7112

[startup+1.50165 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 22546
/proc/meminfo: memFree=1611384/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=13672 CPUtime=1.49
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 3257 0 0 0 147 2 0 0 25 0 1 0 115363447 14000128 3242 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 3418 3242 74 215 0 3200 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13672

[startup+3.10277 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 22546
/proc/meminfo: memFree=1602296/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=26684 CPUtime=3.09
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 6500 0 0 0 305 4 0 0 25 0 1 0 115363447 27324416 6485 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134619004 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 6671 6485 74 215 0 6453 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26684

[startup+6.30103 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 22560
/proc/meminfo: memFree=1576568/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=45724 CPUtime=6.27
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 11139 0 0 0 608 19 0 0 25 0 1 0 115363447 46821376 10843 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569815 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 11431 10843 110 215 0 11213 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 45724

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 22594
/proc/meminfo: memFree=1576624/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=45724 CPUtime=12.65
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 11140 0 0 0 1246 19 0 0 25 0 1 0 115363447 46821376 10844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569777 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 11431 10844 111 215 0 11213 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 45724

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 22608
/proc/meminfo: memFree=1576824/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=45724 CPUtime=25.43
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 11140 0 0 0 2524 19 0 0 25 0 1 0 115363447 46821376 10844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569795 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 11431 10844 111 215 0 11213 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 45724

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1577776/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=45912 CPUtime=51.01
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 11183 0 0 0 5081 20 0 0 25 0 1 0 115363447 47013888 10886 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572709 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 11478 10886 111 215 0 11260 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 45912

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1547768/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=76060 CPUtime=102.2
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 18783 0 0 0 10192 28 0 0 25 0 1 0 115363447 77885440 18418 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 19015 18418 111 215 0 18797 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 76060

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1519544/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=104052 CPUtime=162.18
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 25810 0 0 0 16182 36 0 0 25 0 1 0 115363447 106549248 25412 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 26013 25412 111 215 0 25795 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 104052

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1519608/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=104052 CPUtime=222.16
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 25810 0 0 0 22180 36 0 0 25 0 1 0 115363447 106549248 25412 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 26013 25412 111 215 0 25795 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 104052

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1504696/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=119256 CPUtime=282.15
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 29616 0 0 0 28175 40 0 0 25 0 1 0 115363447 122118144 29218 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581062 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 29814 29218 111 215 0 29596 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 119256

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1484408/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=139576 CPUtime=342.14
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 34640 0 0 0 34167 47 0 0 25 0 1 0 115363447 142925824 34242 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 34894 34242 111 215 0 34676 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 139576

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1466360/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=157656 CPUtime=402.12
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 39188 0 0 0 40160 52 0 0 25 0 1 0 115363447 161439744 38790 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 39414 38790 111 215 0 39196 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 157656

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1445496/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=178128 CPUtime=462.11
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 44341 0 0 0 46154 57 0 0 25 0 1 0 115363447 182403072 43943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 44532 43943 111 215 0 44314 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 178128

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1433720/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=190048 CPUtime=522.09
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 47271 0 0 0 52148 61 0 0 25 0 1 0 115363447 194609152 46841 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 47512 46841 111 215 0 47294 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 190048

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1433720/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=190048 CPUtime=582.08
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 47271 0 0 0 58147 61 0 0 25 0 1 0 115363447 194609152 46841 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 47512 46841 111 215 0 47294 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 190048

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1433720/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=190048 CPUtime=642.07
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 47271 0 0 0 64145 62 0 0 25 0 1 0 115363447 194609152 46841 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 47512 46841 111 215 0 47294 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 190048


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1429880/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=193968 CPUtime=882.01
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 48264 0 0 0 88135 66 0 0 25 0 1 0 115363447 198623232 47834 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 48492 47834 111 215 0 48274 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 193968

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1414712/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=209116 CPUtime=941.99
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 52071 0 0 0 94129 70 0 0 25 0 1 0 115363447 214134784 51641 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 52279 51641 111 215 0 52061 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 209116

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1400120/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=223660 CPUtime=1001.99
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 55691 0 0 0 100124 75 0 0 25 0 1 0 115363447 229027840 55261 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 55915 55261 111 215 0 55697 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 223660

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1384120/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=239620 CPUtime=1061.97
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 59724 0 0 0 106118 79 0 0 25 0 1 0 115363447 245370880 59294 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 59905 59294 111 215 0 59687 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 239620

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1379960/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=243532 CPUtime=1121.95
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 60702 0 0 0 112115 80 0 0 25 0 1 0 115363447 249376768 60272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588659 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 60883 60272 111 215 0 60665 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 243532

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1379896/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=243532 CPUtime=1181.94
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 60702 0 0 0 118114 80 0 0 25 0 1 0 115363447 249376768 60272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 60883 60272 111 215 0 60665 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 243532

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1379896/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=243532 CPUtime=1241.93
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 60702 0 0 0 124112 81 0 0 25 0 1 0 115363447 249376768 60272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 60883 60272 111 215 0 60665 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 243532

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1379960/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=243532 CPUtime=1301.92
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 60702 0 0 0 130111 81 0 0 25 0 1 0 115363447 249376768 60272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580896 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 60883 60272 111 215 0 60665 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 243532

[startup+1362.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 22636
/proc/meminfo: memFree=1379960/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=243532 CPUtime=1361.9
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 60702 0 0 0 136109 81 0 0 25 0 1 0 115363447 249376768 60272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576448 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 60883 60272 111 215 0 60665 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 243532

[startup+1422.31 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 22636
/proc/meminfo: memFree=1379896/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=243532 CPUtime=1421.89
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 60702 0 0 0 142107 82 0 0 25 0 1 0 115363447 249376768 60272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 60883 60272 111 215 0 60665 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 243532

[startup+1482.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1379896/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=243532 CPUtime=1481.87
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 60702 0 0 0 148105 82 0 0 25 0 1 0 115363447 249376768 60272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 60883 60272 111 215 0 60665 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 243532

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1379896/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=243532 CPUtime=1541.86
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 60702 0 0 0 154103 83 0 0 25 0 1 0 115363447 249376768 60272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 60883 60272 111 215 0 60665 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 243532

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1379832/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=243532 CPUtime=1601.84
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 60702 0 0 0 160101 83 0 0 25 0 1 0 115363447 249376768 60272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 60883 60272 111 215 0 60665 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 243532

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1369208/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=254264 CPUtime=1661.83
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 63372 0 0 0 166096 87 0 0 25 0 1 0 115363447 260366336 62942 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580888 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 63566 62942 111 215 0 63348 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 254264

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1359032/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=265036 CPUtime=1721.82
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 65926 0 0 0 172091 91 0 0 25 0 1 0 115363447 271396864 65496 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 66259 65496 111 215 0 66041 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 265036

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1349304/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=274536 CPUtime=1781.8
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 68323 0 0 0 178086 94 0 0 25 0 1 0 115363447 281124864 67893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 68634 67893 111 215 0 68416 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 274536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1347192/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=276484 CPUtime=1800.01
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 68836 0 0 0 179906 95 0 0 25 0 1 0 115363447 283119616 68406 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 69121 68406 111 215 0 68903 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 276484

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: 1.00 1.00 1.00 2/78 22636
/proc/meminfo: memFree=1347192/2055920 swapFree=4161580/4192956
[pid=22545] ppid=22543 vsize=276484 CPUtime=1800.01
/proc/22545/stat : 22545 (minisat+) R 22543 22545 21719 0 -1 4194304 68836 0 0 0 179906 95 0 0 25 0 1 0 115363447 283119616 68406 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/22545/statm: 69121 68406 111 215 0 68903 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 276484

Child status: 10
Real time (s): 1800.55
CPU time (s): 1800.06
CPU user time (s): 1799.06
CPU system time (s): 0.997848
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 276484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.06
system time used= 0.997848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68838
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= 762
involuntary context switches= 37783

runsolver used 2.21666 second user time and 4.5813 second system time

The end

Launcher Data (download as text)

Begin job on node34 on Sun Apr 15 22:01:20 UTC 2007

IDJOB= 353741
IDBENCH= 2266
IDSOLVER= 156
FILE ID= node34/353741-1176674480

PBS_JOBID= 4559947

Free space on /tmp= 66558 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/frb59-26-opb/normalized-frb59-26-4.opb
COMMAND LINE= /tmp/evaluation/353741-1176674480/minisat+ /tmp/evaluation/353741-1176674480/instance-353741-1176674480.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node34/convwatcher-353741-1176674480 -o ROOT/results/node34/conversion-353741-1176674480 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353741-1176674480/instance-353741-1176674480.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  937ec96fd1742e5ed6250d14e65c707b

RANDOM SEED= 745897462

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node34.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.236
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.236
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:       1620376 kB
Buffers:         33104 kB
Cached:         205724 kB
SwapCached:       2232 kB
Active:         228232 kB
Inactive:       145436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1620376 kB
SwapTotal:     4192956 kB
SwapFree:      4161580 kB
Dirty:            5468 kB
Writeback:           0 kB
Mapped:         150220 kB
Slab:            46784 kB
Committed_AS:   432644 kB
PageTables:       2212 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= 66558 MiB

End job on node34 on Sun Apr 15 22:31:23 UTC 2007