Trace number 353780

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)-53 1800.12 1800.95

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb
MD5SUM2295cbab79cf702b6a93f1d0b8bae876
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-58
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -58
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints125982
Number of constraints which are clauses125982
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.45	c Converting 125982 PB-constraints to clauses...
3.39/3.46	c   -- Unit propagations: (none)
3.39/3.46	c   -- Detecting intervals from adjacent constraints: (none)
3.39/3.47	c   -- Clauses(.)/Splits(s): ..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
3.69/3.75	c ==================================[MINISAT+]==================================
3.69/3.75	c | Conflicts | Original         | Learnt                           | Progress |
3.69/3.75	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.69/3.75	c ==============================================================================
3.69/3.75	c |         0 |  125982   251964 |   41994       0        0     nan |  0.000 % |
3.69/3.75	c ==============================================================================
3.69/3.75	c Found solution: -42
3.69/3.75	o -42
3.69/3.77	c ---[   0]---> Sorter-cost:85954     Base:
3.89/3.98	c ==================================[MINISAT+]==================================
3.89/3.98	c | Conflicts | Original         | Learnt                           | Progress |
3.89/3.98	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.89/3.98	c ==============================================================================
3.89/3.98	c |         0 |  216721   464825 |   72240       0        0     nan |  0.000 % |
4.29/4.37	c |       100 |  215959   463222 |   79464      65      492     7.6 |  0.688 % |
4.69/4.72	c |       250 |  215163   461534 |   87410     185     1565     8.5 |  1.408 % |
4.99/5.07	c |       475 |  214472   460051 |   96151     367     3201     8.7 |  2.048 % |
5.59/5.64	c |       812 |  213299   457504 |  105766     663     6213     9.4 |  3.198 % |
6.59/6.62	c |      1318 |  210803   452048 |  116343    1052    10471    10.0 |  5.545 % |
8.09/8.17	c |      2078 |  206899   443392 |  127977    1632    16581    10.2 |  9.378 % |
10.49/10.59	c |      3217 |  199960   427819 |  140775    2503    25519    10.2 | 16.335 % |
13.78/13.81	c |      4925 |  192015   409778 |  154852    3695    39888    10.8 | 24.503 % |
17.78/17.90	c |      7488 |  180386   383175 |  170338    5442    62629    11.5 | 36.510 % |
20.28/20.31	c ==============================================================================
20.28/20.31	c Found solution: -43
20.28/20.31	o -43
20.28/20.33	c ---[   0]---> Sorter-cost:    0     Base:
20.38/20.43	c ==================================[MINISAT+]==================================
20.38/20.43	c | Conflicts | Original         | Learnt                           | Progress |
20.38/20.43	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
20.38/20.43	c ==============================================================================
20.38/20.43	c |      9101 |  174218   369045 |   58072    6524    77488    11.9 | 36.510 % |
20.58/20.67	c |      9201 |  173612   367663 |   63879    6598    78260    11.9 | 43.746 % |
20.98/21.08	c |      9352 |  172254   364438 |   70267    6634    78701    11.9 | 45.220 % |
21.48/21.50	c |      9577 |  171126   361800 |   77293    6770    80672    11.9 | 46.408 % |
21.78/21.84	c |      9915 |  170107   359398 |   85023    7035    83170    11.8 | 47.468 % |
22.48/22.52	c |     10421 |  168416   355375 |   93525    7369    86547    11.7 | 49.288 % |
23.38/23.41	c |     11180 |  166329   350476 |  102878    7889    92417    11.7 | 51.500 % |
24.98/25.01	c |     12319 |  162134   340596 |  113165    8719   103213    11.8 | 56.044 % |
26.88/26.96	c |     14027 |  157622   329892 |  124482    9863   120023    12.2 | 60.978 % |
28.58/28.68	c |     16590 |  154141   321594 |  136930   11740   143012    12.2 | 64.795 % |
31.58/31.61	c |     20434 |  148827   308955 |  150623   14218   196223    13.8 | 70.642 % |
35.18/35.26	c |     26201 |  143510   296212 |  165686   18448   300139    16.3 | 76.485 % |
35.37/35.47	c ==============================================================================
35.37/35.47	c Found solution: -44
35.37/35.47	o -44
35.37/35.49	c ---[   0]---> Sorter-cost:    0     Base:
35.57/35.60	c ==================================[MINISAT+]==================================
35.57/35.60	c | Conflicts | Original         | Learnt                           | Progress |
35.57/35.60	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
35.57/35.60	c ==============================================================================
35.57/35.60	c |     26706 |  143396   295898 |   47798   18911   307260    16.2 | 76.485 % |
35.57/35.66	c |     26807 |  143365   295823 |   52577   19010   309012    16.3 | 76.650 % |
35.67/35.75	c |     26957 |  143346   295776 |   57835   19153   311224    16.2 | 76.673 % |
35.77/35.82	c |     27182 |  143346   295776 |   63619   19378   315135    16.3 | 76.673 % |
35.87/35.99	c |     27519 |  143147   295303 |   69981   19597   320396    16.3 | 76.894 % |
36.07/36.19	c |     28026 |  143091   295163 |   76979   20091   335810    16.7 | 76.962 % |
36.77/36.81	c |     28786 |  142405   293484 |   84677   20635   354173    17.2 | 77.752 % |
37.28/37.31	c |     29925 |  142052   292643 |   93144   21385   377394    17.6 | 78.191 % |
38.17/38.23	c |     31633 |  141301   290830 |  102459   22900   434457    19.0 | 78.986 % |
38.67/38.75	c ==============================================================================
38.67/38.75	c Found solution: -45
38.67/38.75	o -45
38.67/38.77	c ---[   0]---> Sorter-cost:    0     Base:
38.77/38.88	c ==================================[MINISAT+]==================================
38.77/38.88	c | Conflicts | Original         | Learnt                           | Progress |
38.77/38.88	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
38.77/38.88	c ==============================================================================
38.77/38.88	c |     32831 |  141162   290523 |   47054   23957   491822    20.5 | 78.986 % |
38.97/39.06	c |     32932 |  140811   289673 |   51759   23932   490747    20.5 | 79.557 % |
39.07/39.11	c |     33082 |  140811   289673 |   56935   24082   494759    20.5 | 79.557 % |
39.17/39.22	c |     33307 |  140758   289546 |   62628   24212   497422    20.5 | 79.617 % |
39.27/39.34	c |     33644 |  140708   289438 |   68891   24539   505279    20.6 | 79.664 % |
39.47/39.52	c |     34150 |  140708   289438 |   75780   25045   526109    21.0 | 79.664 % |
39.67/39.76	c ==============================================================================
39.67/39.76	c Found solution: -47
39.67/39.76	o -47
39.67/39.78	c ---[   0]---> Sorter-cost:    0     Base:
39.77/39.89	c ==================================[MINISAT+]==================================
39.77/39.89	c | Conflicts | Original         | Learnt                           | Progress |
39.77/39.89	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
39.77/39.89	c ==============================================================================
39.77/39.89	c |     34585 |  140706   289496 |   46902   25409   545666    21.5 | 79.664 % |
39.87/39.98	c |     34685 |  140631   289325 |   51592   25488   547741    21.5 | 79.790 % |
40.07/40.14	c |     34835 |  140502   289012 |   56751   25504   551262    21.6 | 79.937 % |
40.17/40.30	c |     35060 |  140402   288768 |   62426   25617   555828    21.7 | 80.050 % |
40.47/40.54	c |     35397 |  140196   288258 |   68669   25847   566341    21.9 | 80.291 % |
40.77/40.86	c |     35903 |  139974   287726 |   75536   26221   579362    22.1 | 80.531 % |
41.17/41.22	c |     36662 |  139868   287454 |   83089   26872   608330    22.6 | 80.663 % |
41.87/41.98	c |     37801 |  139004   285361 |   91398   27413   642062    23.4 | 81.628 % |
42.77/42.87	c |     39510 |  138731   284704 |  100538   28798   697757    24.2 | 81.934 % |
44.16/44.22	c |     42072 |  138129   283247 |  110592   30903   807101    26.1 | 82.604 % |
46.26/46.33	c |     45917 |  137418   281505 |  121651   33977   991265    29.2 | 83.419 % |
49.26/49.36	c ==============================================================================
49.26/49.36	c Found solution: -48
49.26/49.36	o -48
49.26/49.38	c ---[   0]---> Sorter-cost:    0     Base:
49.47/49.51	c ==================================[MINISAT+]==================================
49.47/49.51	c | Conflicts | Original         | Learnt                           | Progress |
49.47/49.51	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
49.47/49.51	c ==============================================================================
49.47/49.51	c |     50963 |  136707   279714 |   45569   38071  1355297    35.6 | 83.419 % |
49.47/49.58	c |     51064 |  136665   279612 |   50125   38151  1356275    35.6 | 84.305 % |
49.56/49.70	c |     51214 |  136633   279530 |   55138   38260  1360588    35.6 | 84.344 % |
49.76/49.88	c |     51440 |  136573   279388 |   60652   38306  1366438    35.7 | 84.410 % |
50.06/50.16	c |     51777 |  136483   279176 |   66717   38425  1384832    36.0 | 84.508 % |
50.36/50.44	c |     52284 |  136441   279076 |   73389   38870  1410855    36.3 | 84.555 % |
50.86/50.97	c |     53044 |  136283   278706 |   80728   39261  1464008    37.3 | 84.726 % |
51.57/51.61	c |     54183 |  136243   278610 |   88801   40352  1545061    38.3 | 84.771 % |
52.56/52.65	c |     55891 |  136190   278485 |   97681   41887  1699101    40.6 | 84.827 % |
54.16/54.24	c |     58453 |  136091   278234 |  107449   44175  1922681    43.5 | 84.946 % |
56.87/56.97	c |     62297 |  136041   278108 |  118194   47904  2464514    51.4 | 85.006 % |
61.37/61.45	c |     68063 |  135763   277417 |  130013   53108  3155017    59.4 | 85.333 % |
64.77/64.82	c ==============================================================================
64.77/64.82	c Found solution: -49
64.77/64.82	o -49
64.77/64.84	c ---[   0]---> Sorter-cost:    0     Base:
64.87/64.99	c ==================================[MINISAT+]==================================
64.87/64.99	c | Conflicts | Original         | Learnt                           | Progress |
64.87/64.99	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
64.87/64.99	c ==============================================================================
64.87/64.99	c |     72442 |  135783   277482 |   45261   57408  3652183    63.6 | 85.333 % |
64.97/65.07	c |     72542 |  135783   277482 |   49787   57508  3657004    63.6 | 85.319 % |
65.17/65.24	c |     72693 |  135749   277402 |   54765   57629  3661230    63.5 | 85.356 % |
65.36/65.47	c |     72918 |  135744   277391 |   60242   57848  3671369    63.5 | 85.361 % |
65.76/65.80	c |     73256 |  135732   277365 |   66266   58171  3703940    63.7 | 85.372 % |
66.16/66.24	c |     73763 |  135695   277274 |   72893   58562  3756826    64.2 | 85.416 % |
66.76/66.83	c |     74522 |  135611   277064 |   80182   59191  3786127    64.0 | 85.514 % |
67.66/67.79	c |     75662 |  135611   277064 |   88200   60331  3934420    65.2 | 85.514 % |
69.26/69.36	c |     77370 |  135597   277030 |   97020   62037  4154789    67.0 | 85.530 % |
70.85/70.92	c ==============================================================================
70.85/70.92	c Found solution: -50
70.85/70.92	o -50
70.85/70.94	c ---[   0]---> Sorter-cost:    0     Base:
71.05/71.10	c ==================================[MINISAT+]==================================
71.05/71.10	c | Conflicts | Original         | Learnt                           | Progress |
71.05/71.10	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
71.05/71.10	c ==============================================================================
71.05/71.10	c |     78950 |  135575   276913 |   45191   62522  4231397    67.7 | 85.530 % |
71.15/71.22	c |     79050 |  135532   276799 |   49710   62546  4231449    67.7 | 85.609 % |
71.25/71.32	c |     79200 |  135532   276799 |   54681   62696  4238985    67.6 | 85.609 % |
71.46/71.59	c |     79425 |  135529   276792 |   60149   62920  4255939    67.6 | 85.613 % |
71.85/71.91	c |     79762 |  135529   276792 |   66164   63257  4304084    68.0 | 85.613 % |
72.25/72.37	c |     80270 |  135529   276792 |   72780   63765  4359392    68.4 | 85.613 % |
73.05/73.14	c |     81029 |  135444   276590 |   80058   64283  4405638    68.5 | 85.704 % |
74.06/74.17	c |     82168 |  135444   276590 |   88064   65422  4514282    69.0 | 85.704 % |
74.56/74.69	c ==============================================================================
74.56/74.69	c Found solution: -51
74.56/74.69	o -51
74.66/74.71	c ---[   0]---> Sorter-cost:    0     Base:
74.76/74.87	c ==================================[MINISAT+]==================================
74.76/74.87	c | Conflicts | Original         | Learnt                           | Progress |
74.76/74.87	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
74.76/74.87	c ==============================================================================
74.76/74.87	c |     82761 |  135475   276684 |   45158   66015  4553481    69.0 | 85.704 % |
74.96/75.09	c |     82861 |  135465   276660 |   49673   66081  4556332    69.0 | 85.710 % |
75.16/75.22	c |     83011 |  135465   276660 |   54641   66231  4565254    68.9 | 85.710 % |
75.26/75.31	c |     83236 |  135465   276660 |   60105   66456  4570299    68.8 | 85.710 % |
75.46/75.60	c |     83573 |  135465   276660 |   66115   66793  4594919    68.8 | 85.710 % |
76.26/76.31	c |     84079 |  135342   276354 |   72727   67152  4631108    69.0 | 85.848 % |
77.16/77.22	c |     84839 |  135228   276086 |   80000   67812  4691309    69.2 | 85.972 % |
78.35/78.46	c |     85979 |  135203   276023 |   88000   68603  4777095    69.6 | 86.003 % |
80.16/80.25	c |     87687 |  135029   275598 |   96800   69732  4907965    70.4 | 86.203 % |
82.76/82.84	c |     90249 |  135029   275598 |  106480   72294  5274639    73.0 | 86.203 % |
86.65/86.78	c |     94093 |  134944   275390 |  117128   75951  5693190    75.0 | 86.301 % |
93.25/93.36	c |     99859 |  134883   275249 |  128841   81592  6421159    78.7 | 86.366 % |
104.05/104.18	c |    108508 |  134835   275135 |  141725   90163  7860535    87.2 | 86.419 % |
121.45/121.52	c |    121482 |  134799   275042 |  155897  102952  9664105    93.9 | 86.462 % |
154.14/154.20	c |    140943 |  134747   274910 |  171487  122344 13291931   108.6 | 86.526 % |
217.52/217.61	c |    170136 |  134672   274727 |  188636  151088 19209599   127.1 | 86.613 % |
249.82/249.91	c ==============================================================================
249.82/249.91	c Found solution: -52
249.82/249.91	o -52
249.82/249.94	c ---[   0]---> Sorter-cost:    0     Base:
250.21/250.30	c ==================================[MINISAT+]==================================
250.21/250.30	c | Conflicts | Original         | Learnt                           | Progress |
250.21/250.30	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
250.21/250.30	c ==============================================================================
250.21/250.30	c |    186163 |  134612   274561 |   44870  165904 21520868   129.7 | 86.613 % |
250.81/250.90	c |    186263 |  134612   274561 |   49357   25515  2207333    86.5 | 86.684 % |
250.91/251.02	c |    186414 |  134601   274534 |   54292   25642  2217650    86.5 | 86.697 % |
251.01/251.18	c |    186639 |  134601   274534 |   59721   25867  2241685    86.7 | 86.697 % |
251.21/251.36	c |    186976 |  134524   274345 |   65694   26124  2249912    86.1 | 86.787 % |
251.61/251.72	c |    187482 |  134420   274095 |   72263   26616  2278339    85.6 | 86.903 % |
252.01/252.11	c |    188241 |  134420   274095 |   79489   27375  2319156    84.7 | 86.903 % |
252.71/252.84	c |    189380 |  134420   274095 |   87438   28514  2435373    85.4 | 86.903 % |
253.71/253.81	c |    191088 |  134420   274095 |   96182   30222  2600030    86.0 | 86.903 % |
255.51/255.67	c |    193650 |  134417   274088 |  105801   32781  3007387    91.7 | 86.906 % |
258.51/258.65	c |    197495 |  134364   273965 |  116381   36616  3563866    97.3 | 86.962 % |
263.01/263.15	c |    203261 |  134364   273965 |  128019   42382  4293921   101.3 | 86.962 % |
271.11/271.23	c |    211910 |  134328   273873 |  140821   51012  5544856   108.7 | 87.005 % |
285.81/285.92	c |    224884 |  134328   273873 |  154903   63986  7907749   123.6 | 87.005 % |
311.69/311.89	c |    244345 |  134328   273873 |  170393   83447 11620820   139.3 | 87.005 % |
322.39/322.59	c ==============================================================================
322.39/322.59	c Found solution: -53
322.39/322.59	o -53
322.49/322.61	c ---[   0]---> Sorter-cost:    0     Base:
322.69/322.87	c ==================================[MINISAT+]==================================
322.69/322.87	c | Conflicts | Original         | Learnt                           | Progress |
322.69/322.87	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
322.69/322.87	c ==============================================================================
322.69/322.87	c |    251911 |  134341   273909 |   44780   90983 12874260   141.5 | 87.005 % |
322.89/323.00	c |    252011 |  134341   273909 |   49258   91083 12879997   141.4 | 87.002 % |
323.09/323.24	c |    252162 |  134341   273909 |   54183   91234 12893752   141.3 | 87.002 % |
323.49/323.60	c |    252387 |  134341   273909 |   59602   91459 12918345   141.2 | 87.002 % |
323.99/324.11	c |    252725 |  134341   273909 |   65562   91797 12950424   141.1 | 87.002 % |
324.79/324.92	c |    253231 |  134337   273899 |   72118   92302 12995661   140.8 | 87.007 % |
325.99/326.12	c |    253991 |  134323   273863 |   79330   93028 13081442   140.6 | 87.025 % |
327.79/327.98	c |    255130 |  134323   273863 |   87263   94167 13274461   141.0 | 87.025 % |
330.19/330.39	c |    256838 |  134323   273863 |   95989   95875 13445425   140.2 | 87.025 % |
334.49/334.66	c |    259400 |  134283   273763 |  105588   98400 13873992   141.0 | 87.073 % |
340.38/340.50	c |    263244 |  134283   273763 |  116147  102244 14537960   142.2 | 87.073 % |
348.49/348.68	c |    269010 |  134283   273763 |  127762  108010 15238191   141.1 | 87.073 % |
362.08/362.29	c |    277659 |  134277   273749 |  140538  116656 16475671   141.2 | 87.079 % |
385.37/385.51	c |    290634 |  134255   273697 |  154592  129612 18285321   141.1 | 87.103 % |
426.06/426.20	c |    310096 |  134255   273697 |  170051  149074 21255001   142.6 | 87.103 % |
488.65/488.85	c |    339288 |  134239   273657 |  187057  178263 25394300   142.5 | 87.123 % |
608.52/608.77	c |    383077 |  134131   273393 |  205762  221447 32434452   146.5 | 87.245 % |
762.47/762.70	c |    448762 |  134096   273306 |  226339   50706  5024975    99.1 | 87.286 % |
917.02/917.39	c |    547288 |  134076   273258 |  248973  149226 22862294   153.2 | 87.309 % |
1327.76/1328.32	c |    695077 |  134070   273244 |  273870  297014 44653188   150.3 | 87.315 % |
1800.07/1800.90	c 
1800.07/1800.90	c *** TERMINATED ***
1800.07/1800.90	s SATISFIABLE
1800.07/1800.90	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 x1518
1800.07/1800.90	v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 x1505 -x1504 -x1503 -x1502 -x1501
1800.07/1800.90	v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484
1800.07/1800.90	v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467
1800.07/1800.90	v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450
1800.07/1800.90	v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433
1800.07/1800.90	v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416
1800.07/1800.90	v -x1415 x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399
1800.07/1800.90	v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 x1383 -x1382
1800.07/1800.90	v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365
1800.07/1800.90	v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348
1800.07/1800.90	v -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331
1800.07/1800.90	v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314
1800.07/1800.90	v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297
1800.07/1800.90	v -x1296 -x1295 -x1294 -x1293 x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280
1800.07/1800.90	v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263
1800.07/1800.90	v -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246
1800.07/1800.90	v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229
1800.07/1800.90	v x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211
1800.07/1800.90	v -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194
1800.07/1800.90	v -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 x1182 -x1181 -x1180 -x1179 -x1178 -x1177
1800.07/1800.90	v -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160
1800.07/1800.90	v -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 x1146 -x1145 -x1144 -x1143
1800.07/1800.90	v -x1142 -x1141 -x1140 -x1139 x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126
1800.07/1800.90	v -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109
1800.07/1800.90	v -x1108 -x1107 -x1106 -x1105 x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092
1800.07/1800.90	v -x1091 -x1090 x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075
1800.07/1800.90	v -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058
1800.07/1800.90	v -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041
1800.07/1800.90	v -x1040 -x1039 -x1038 -x1037 -x1036 x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024
1800.07/1800.90	v -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 x1010 -x1009 -x1008 -x1007
1800.07/1800.90	v -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988
1800.07/1800.90	v x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967
1800.07/1800.90	v -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946
1800.07/1800.90	v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 x927 -x926 -x925
1800.07/1800.90	v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904
1800.07/1800.90	v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883
1800.07/1800.90	v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862
1800.07/1800.90	v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841
1800.07/1800.90	v -x840 -x839 -x838 x837 -x836 -x835 -x834 -x833 -x832 x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820
1800.07/1800.90	v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799
1800.07/1800.90	v -x798 -x797 -x796 -x795 -x794 -x793 -x792 x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778
1800.07/1800.90	v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757
1800.07/1800.90	v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736
1800.07/1800.90	v x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715
1800.07/1800.90	v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694
1800.07/1800.90	v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 x673
1800.07/1800.90	v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652
1800.07/1800.90	v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 x636 -x635 -x634 -x633 -x632 -x631
1800.07/1800.90	v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610
1800.07/1800.90	v -x609 -x608 -x607 -x606 -x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589
1800.07/1800.90	v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 -x568
1800.07/1800.90	v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547
1800.07/1800.90	v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 x531 -x530 -x529 -x528 -x527 -x526
1800.07/1800.90	v -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505
1800.07/1800.90	v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484
1800.07/1800.90	v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463
1800.07/1800.90	v x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 x442
1800.07/1800.90	v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421
1800.07/1800.90	v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400
1800.07/1800.90	v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 -x379
1800.07/1800.90	v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358
1800.07/1800.90	v -x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337
1800.07/1800.90	v -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316
1800.07/1800.90	v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295
1800.07/1800.90	v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274
1800.07/1800.90	v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253
1800.07/1800.90	v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232
1800.07/1800.90	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211
1800.07/1800.90	v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190
1800.07/1800.90	v -x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169
1800.07/1800.90	v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.07/1800.90	v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.07/1800.90	v -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.07/1800.90	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.07/1800.90	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.07/1800.90	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.07/1800.90	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.07/1800.90	v -x1

Verifier Data (download as text)

OK	-53

Conversion Script Data (download as text)

/tmp/evaluation/353780-1176675641/instance-353780-1176675641.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/node27/watcher-353780-1176675641 -o ROOT/results/node27/solver-353780-1176675641 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353780-1176675641/minisat+ /tmp/evaluation/353780-1176675641/instance-353780-1176675641.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 29173
/proc/meminfo: memFree=1658488/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=1340 CPUtime=0
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 177 0 0 0 0 0 0 0 18 0 1 0 80259992 1372160 162 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135002727 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29173/statm: 335 163 74 215 0 117 0

[startup+0.008523 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 29173
/proc/meminfo: memFree=1658488/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=1340 CPUtime=0
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 80259992 1372160 168 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134806075 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29173/statm: 335 168 74 215 0 117 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1340

[startup+0.102531 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 29173
/proc/meminfo: memFree=1658488/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=2172 CPUtime=0.09
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 375 0 0 0 9 0 0 0 18 0 1 0 80259992 2224128 360 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012155 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29173/statm: 543 360 74 215 0 325 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2172

[startup+0.301551 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 29173
/proc/meminfo: memFree=1658488/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=3704 CPUtime=0.29
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 783 0 0 0 29 0 0 0 19 0 1 0 80259992 3792896 768 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809064 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29173/statm: 926 768 74 215 0 708 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3704

[startup+0.70159 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 29173
/proc/meminfo: memFree=1658488/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=6976 CPUtime=0.69
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 1601 0 0 0 68 1 0 0 22 0 1 0 80259992 7143424 1586 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809063 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29173/statm: 1744 1587 74 215 0 1526 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6976

[startup+1.50167 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 29174
/proc/meminfo: memFree=1650032/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=13536 CPUtime=1.49
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 3237 0 0 0 147 2 0 0 25 0 1 0 80259992 13860864 3222 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29173/statm: 3384 3222 74 215 0 3166 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13536

[startup+3.10183 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 29174
/proc/meminfo: memFree=1640880/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=26548 CPUtime=3.09
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 6465 0 0 0 305 4 0 0 25 0 1 0 80259992 27185152 6450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29173/statm: 6637 6450 74 215 0 6419 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26548

[startup+6.30135 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 29174
/proc/meminfo: memFree=1615856/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=44760 CPUtime=6.29
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 11051 0 0 0 609 20 0 0 25 0 1 0 80259992 45834240 10665 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 11190 10665 110 215 0 10972 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44760

[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 29174
/proc/meminfo: memFree=1615792/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=44760 CPUtime=12.69
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 11051 0 0 0 1249 20 0 0 25 0 1 0 80259992 45834240 10665 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 11190 10665 110 215 0 10972 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44760

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 29174
/proc/meminfo: memFree=1615728/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=45392 CPUtime=25.48
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 11150 0 0 0 2528 20 0 0 25 0 1 0 80259992 46481408 10764 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 11348 10764 110 215 0 11130 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45392

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 29174
/proc/meminfo: memFree=1615472/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=45556 CPUtime=51.06
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 11205 0 0 0 5086 20 0 0 25 0 1 0 80259992 46649344 10816 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 11389 10816 110 215 0 11171 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 45556

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 29174
/proc/meminfo: memFree=1593136/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=67956 CPUtime=102.25
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 16891 0 0 0 10197 28 0 0 25 0 1 0 80259992 69586944 16401 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576840 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 16989 16401 110 215 0 16771 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 67956

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29174
/proc/meminfo: memFree=1566384/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=94980 CPUtime=162.24
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 23634 0 0 0 16189 35 0 0 25 0 1 0 80259992 97259520 23144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 23745 23144 110 215 0 23527 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 94980

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29174
/proc/meminfo: memFree=1543216/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=117976 CPUtime=222.22
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 29359 0 0 0 22183 39 0 0 25 0 1 0 80259992 120807424 28869 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 29494 28869 110 215 0 29276 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 117976

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29174
/proc/meminfo: memFree=1533872/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=126976 CPUtime=282.2
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 31657 0 0 0 28178 42 0 0 25 0 1 0 80259992 130023424 31134 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 31744 31134 110 215 0 31526 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 126976

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29174
/proc/meminfo: memFree=1533808/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=126976 CPUtime=342.18
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 31657 0 0 0 34176 42 0 0 25 0 1 0 80259992 130023424 31134 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 31744 31134 110 215 0 31526 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 126976

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1533808/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=126976 CPUtime=402.16
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 31657 0 0 0 40174 42 0 0 25 0 1 0 80259992 130023424 31134 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 31744 31134 110 215 0 31526 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 126976

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1524272/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=136892 CPUtime=462.15
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 34123 0 0 0 46170 45 0 0 25 0 1 0 80259992 140177408 33600 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 34223 33600 110 215 0 34005 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 136892

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1508208/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=152972 CPUtime=522.13
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 38155 0 0 0 52164 49 0 0 25 0 1 0 80259992 156643328 37632 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581475 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 38243 37632 110 215 0 38025 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 152972

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1493680/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=167756 CPUtime=582.12
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 41768 0 0 0 58158 54 0 0 25 0 1 0 80259992 171782144 41245 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574282 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 41939 41245 110 215 0 41721 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 167756

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1480816/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=180332 CPUtime=642.11
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 44953 0 0 0 64153 58 0 0 25 0 1 0 80259992 184659968 44430 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 45083 44430 110 215 0 44865 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 180332


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1463344/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=197496 CPUtime=882.03
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 49272 0 0 0 88139 64 0 0 25 0 1 0 80259992 202235904 48749 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 49374 48749 110 215 0 49156 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 197496

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1463280/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=197496 CPUtime=942
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 49272 0 0 0 94136 64 0 0 25 0 1 0 80259992 202235904 48749 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576837 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 49374 48749 110 215 0 49156 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 197496

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1463280/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=197496 CPUtime=1001.96
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 49272 0 0 0 100132 64 0 0 25 0 1 0 80259992 202235904 48749 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 49374 48749 110 215 0 49156 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 197496

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1463216/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=197496 CPUtime=1061.93
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 49273 0 0 0 106129 64 0 0 25 0 1 0 80259992 202235904 48750 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 49374 48750 110 215 0 49156 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 197496

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1463216/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=197496 CPUtime=1121.89
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 49273 0 0 0 112125 64 0 0 25 0 1 0 80259992 202235904 48750 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581426 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 49374 48750 110 215 0 49156 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 197496

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1461872/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=199328 CPUtime=1181.84
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 49708 0 0 0 118120 64 0 0 25 0 1 0 80259992 204111872 49185 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 49832 49185 110 215 0 49614 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 199328

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1450096/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=210896 CPUtime=1241.81
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 52605 0 0 0 124112 69 0 0 25 0 1 0 80259992 215957504 52082 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134578875 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 52724 52082 110 215 0 52506 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 210896

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1439408/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=221252 CPUtime=1301.77
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 55213 0 0 0 130105 72 0 0 25 0 1 0 80259992 226562048 54690 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580262 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 55313 54690 110 215 0 55095 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 221252

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1430128/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=230620 CPUtime=1361.73
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 57587 0 0 0 136097 76 0 0 25 0 1 0 80259992 236154880 57064 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580929 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 57655 57064 110 215 0 57437 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 230620

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1422512/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=238768 CPUtime=1421.69
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 59462 0 0 0 142091 78 0 0 25 0 1 0 80259992 244498432 58939 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 59692 58939 110 215 0 59474 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 238768

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1417200/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=243852 CPUtime=1481.64
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 60764 0 0 0 148085 79 0 0 25 0 1 0 80259992 249704448 60241 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574358 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 60963 60241 110 215 0 60745 0
Current children cumulated CPU time (s) 1481.64
Current children cumulated vsize (KiB) 243852

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1417200/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=243852 CPUtime=1541.61
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 60764 0 0 0 154081 80 0 0 25 0 1 0 80259992 249704448 60241 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 60963 60241 110 215 0 60745 0
Current children cumulated CPU time (s) 1541.61
Current children cumulated vsize (KiB) 243852

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1417136/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=243852 CPUtime=1601.58
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 60764 0 0 0 160078 80 0 0 25 0 1 0 80259992 249704448 60241 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 60963 60241 110 215 0 60745 0
Current children cumulated CPU time (s) 1601.58
Current children cumulated vsize (KiB) 243852

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1417136/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=243852 CPUtime=1661.54
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 60764 0 0 0 166074 80 0 0 25 0 1 0 80259992 249704448 60241 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 60963 60241 110 215 0 60745 0
Current children cumulated CPU time (s) 1661.54
Current children cumulated vsize (KiB) 243852

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1417072/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=243852 CPUtime=1721.51
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 60764 0 0 0 172071 80 0 0 25 0 1 0 80259992 249704448 60241 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 60963 60241 110 215 0 60745 0
Current children cumulated CPU time (s) 1721.51
Current children cumulated vsize (KiB) 243852

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1416944/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=243852 CPUtime=1781.48
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 60764 0 0 0 178068 80 0 0 25 0 1 0 80259992 249704448 60241 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 60963 60241 110 215 0 60745 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (KiB) 243852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1416944/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=243852 CPUtime=1800.07
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 60764 0 0 0 179927 80 0 0 25 0 1 0 80259992 249704448 60241 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 60963 60241 110 215 0 60745 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 243852

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

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

[startup+1800.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 29176
/proc/meminfo: memFree=1416944/2055920 swapFree=4187324/4192956
[pid=29173] ppid=29171 vsize=243852 CPUtime=1800.07
/proc/29173/stat : 29173 (minisat+) R 29171 29173 28084 0 -1 4194304 60764 0 0 0 179927 80 0 0 25 0 1 0 80259992 249704448 60241 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29173/statm: 60963 60241 110 215 0 60745 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 243852

Child status: 10
Real time (s): 1800.95
CPU time (s): 1800.12
CPU user time (s): 1799.28
CPU system time (s): 0.842871
CPU usage (%): 99.954
Max. virtual memory (cumulated for all children) (KiB): 243852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 0.842871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60766
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= 484
involuntary context switches= 6324

runsolver used 1.89771 second user time and 4.94825 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Sun Apr 15 22:20:41 UTC 2007

IDJOB= 353780
IDBENCH= 2269
IDSOLVER= 156
FILE ID= node27/353780-1176675641

PBS_JOBID= 4559916

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-5.opb
COMMAND LINE= /tmp/evaluation/353780-1176675641/minisat+ /tmp/evaluation/353780-1176675641/instance-353780-1176675641.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node27/convwatcher-353780-1176675641 -o ROOT/results/node27/conversion-353780-1176675641 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353780-1176675641/instance-353780-1176675641.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  2295cbab79cf702b6a93f1d0b8bae876

RANDOM SEED= 337258874

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.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.213
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	: 5931.00
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.213
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:       1658960 kB
Buffers:         52440 kB
Cached:         242552 kB
SwapCached:       2916 kB
Active:          54200 kB
Inactive:       256104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1658960 kB
SwapTotal:     4192956 kB
SwapFree:      4187324 kB
Dirty:            5360 kB
Writeback:           0 kB
Mapped:          20172 kB
Slab:            72664 kB
Committed_AS:  1532944 kB
PageTables:       1412 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 node27 on Sun Apr 15 22:50:44 UTC 2007