Trace number 35636

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.59 1801.21

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
MD5SUMf7a936a02ddf18c17dc27b7b53733ab1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-57
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -57
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints126163
Number of constraints which are clauses126163
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	c Parsing PB file...
3.40	c Converting 126163 PB-constraints to clauses...
3.41	c   -- Unit propagations: (none)
3.41	c   -- Detecting intervals from adjacent constraints: (none)
3.41	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
3.71	c ==================================[MINISAT+]==================================
3.71	c | Conflicts | Original         | Learnt                           | Progress |
3.71	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.71	c ==============================================================================
3.71	c |         0 |  126163   252326 |   42054       0        0     nan |  0.000 % |
3.71	c ==============================================================================
3.71	c Found solution: -42
3.71	o -42
3.73	c ---[   0]---> Sorter-cost:85954     Base:
3.94	c ==================================[MINISAT+]==================================
3.94	c | Conflicts | Original         | Learnt                           | Progress |
3.94	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.94	c ==============================================================================
3.94	c |         0 |  216902   465187 |   72300       0        0     nan |  0.000 % |
4.21	c |       100 |  216378   464089 |   79530      71     1045    14.7 |  0.476 % |
4.67	c |       250 |  215666   462590 |   87483     197     2307    11.7 |  1.110 % |
5.10	c |       475 |  214693   460491 |   96231     382     4569    12.0 |  2.022 % |
6.00	c |       812 |  212890   456566 |  105854     654     7279    11.1 |  3.734 % |
7.18	c |      1318 |  210422   451160 |  116439    1060    10851    10.2 |  6.157 % |
8.90	c |      2077 |  206393   442217 |  128083    1635    16954    10.4 | 10.063 % |
11.44	c |      3216 |  198975   425552 |  140892    2422    25813    10.7 | 17.559 % |
14.84	c |      4924 |  190640   406622 |  154981    3664    40208    11.0 | 26.087 % |
18.99	c |      7486 |  179470   381025 |  170479    5477    62777    11.5 | 37.698 % |
24.09	c |     11330 |  166692   351158 |  187527    8259    96088    11.6 | 51.142 % |
27.27	c ==============================================================================
27.27	c Found solution: -44
27.27	o -44
27.29	c ---[   0]---> Sorter-cost:    0     Base:
27.39	c ==================================[MINISAT+]==================================
27.39	c | Conflicts | Original         | Learnt                           | Progress |
27.39	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
27.39	c ==============================================================================
27.39	c |     14201 |  159762   334804 |   53254   10383   124904    12.0 | 51.142 % |
27.48	c |     14301 |  159518   334234 |   58579   10463   126556    12.1 | 59.111 % |
27.61	c |     14451 |  159171   333401 |   64437   10595   128502    12.1 | 59.497 % |
27.90	c |     14676 |  158480   331759 |   70881   10678   129458    12.1 | 60.258 % |
28.17	c |     15013 |  158174   331032 |   77969   10915   133832    12.3 | 60.595 % |
28.60	c |     15520 |  157341   329073 |   85766   11321   139331    12.3 | 61.505 % |
29.42	c |     16280 |  155349   324351 |   94342   11703   145801    12.5 | 63.687 % |
30.29	c |     17419 |  153760   320544 |  103776   12549   161675    12.9 | 65.453 % |
31.32	c |     19127 |  152453   317467 |  114154   13881   182702    13.2 | 66.863 % |
33.29	c |     21689 |  148743   308640 |  125570   15567   217965    14.0 | 70.881 % |
35.43	c ==============================================================================
35.43	c Found solution: -45
35.43	o -45
35.45	c ---[   0]---> Sorter-cost:    0     Base:
35.56	c ==================================[MINISAT+]==================================
35.56	c | Conflicts | Original         | Learnt                           | Progress |
35.56	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
35.56	c ==============================================================================
35.56	c |     24382 |  145456   300817 |   48485   17375   249367    14.4 | 70.881 % |
35.63	c |     24483 |  145363   300588 |   53333   17440   251246    14.4 | 74.648 % |
35.70	c |     24633 |  145288   300407 |   58666   17551   251739    14.3 | 74.732 % |
35.91	c |     24858 |  144991   299696 |   64533   17581   253807    14.4 | 75.065 % |
36.19	c |     25195 |  144671   298897 |   70986   17767   260713    14.7 | 75.446 % |
36.64	c |     25702 |  144071   297413 |   78085   18002   268321    14.9 | 76.147 % |
37.25	c |     26461 |  143083   295047 |   85894   18367   278416    15.2 | 77.238 % |
38.05	c |     27600 |  142217   292945 |   94483   19129   300433    15.7 | 78.224 % |
39.08	c |     29308 |  141140   290360 |  103931   20436   345754    16.9 | 79.432 % |
39.97	c ==============================================================================
39.97	c Found solution: -46
39.97	o -46
39.99	c ---[   0]---> Sorter-cost:    0     Base:
40.11	c ==================================[MINISAT+]==================================
40.11	c | Conflicts | Original         | Learnt                           | Progress |
40.11	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
40.11	c ==============================================================================
40.11	c |     30862 |  140267   288181 |   46755   21633   397822    18.4 | 79.432 % |
40.15	c |     30963 |  140267   288181 |   51430   21734   399242    18.4 | 80.416 % |
40.23	c |     31114 |  140168   287935 |   56573   21806   400090    18.3 | 80.529 % |
40.33	c |     31339 |  140168   287935 |   62230   22031   412550    18.7 | 80.529 % |
40.59	c |     31676 |  140023   287590 |   68453   22256   418337    18.8 | 80.689 % |
40.74	c |     32183 |  140023   287590 |   75299   22763   438437    19.3 | 80.689 % |
41.06	c ==============================================================================
41.06	c Found solution: -47
41.06	o -47
41.09	c ---[   0]---> Sorter-cost:    0     Base:
41.20	c ==================================[MINISAT+]==================================
41.20	c | Conflicts | Original         | Learnt                           | Progress |
41.20	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
41.20	c ==============================================================================
41.20	c |     32937 |  140085   287791 |   46695   23512   471006    20.0 | 80.689 % |
41.25	c |     33037 |  140085   287791 |   51364   23612   474023    20.1 | 80.668 % |
41.37	c |     33188 |  139985   287565 |   56500   23703   476332    20.1 | 80.768 % |
41.48	c |     33413 |  139925   287414 |   62151   23901   482389    20.2 | 80.840 % |
41.62	c |     33750 |  139819   287160 |   68366   24223   491372    20.3 | 80.958 % |
41.95	c |     34257 |  139501   286378 |   75202   24523   504115    20.6 | 81.320 % |
42.34	c |     35016 |  139221   285698 |   82723   25080   519407    20.7 | 81.634 % |
42.85	c |     36155 |  138949   285015 |   90995   26080   578152    22.2 | 81.958 % |
43.59	c |     37863 |  138937   284987 |  100094   27753   670991    24.2 | 81.971 % |
45.02	c |     40425 |  138358   283576 |  110104   29587   808674    27.3 | 82.622 % |
45.71	c ==============================================================================
45.71	c Found solution: -49
45.71	o -49
45.73	c ---[   0]---> Sorter-cost:    0     Base:
45.85	c ==================================[MINISAT+]==================================
45.85	c | Conflicts | Original         | Learnt                           | Progress |
45.85	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
45.85	c ==============================================================================
45.85	c |     41630 |  138147   283085 |   46049   30685   883161    28.8 | 82.622 % |
45.95	c |     41730 |  138092   282958 |   50653   30763   884351    28.7 | 82.933 % |
46.14	c |     41880 |  137941   282583 |   55719   30835   887360    28.8 | 83.109 % |
46.23	c |     42105 |  137901   282493 |   61291   31052   893326    28.8 | 83.149 % |
46.40	c |     42442 |  137895   282479 |   67420   31375   909461    29.0 | 83.155 % |
46.65	c |     42948 |  137873   282425 |   74162   31874   947781    29.7 | 83.181 % |
46.93	c |     43707 |  137873   282425 |   81578   32633   990787    30.4 | 83.181 % |
47.46	c |     44846 |  137866   282408 |   89736   33764  1042346    30.9 | 83.189 % |
48.45	c |     46554 |  137539   281618 |   98710   35123  1108640    31.6 | 83.556 % |
49.90	c |     49116 |  137311   281072 |  108581   37144  1292520    34.8 | 83.810 % |
52.04	c |     52960 |  137157   280708 |  119439   40856  1598714    39.1 | 83.978 % |
55.96	c |     58727 |  136513   279109 |  131383   45613  1978665    43.4 | 84.730 % |
59.51	c ==============================================================================
59.51	c Found solution: -50
59.51	o -50
59.54	c ---[   0]---> Sorter-cost:    0     Base:
59.69	c ==================================[MINISAT+]==================================
59.69	c | Conflicts | Original         | Learnt                           | Progress |
59.69	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
59.69	c ==============================================================================
59.69	c |     64383 |  136428   278853 |   45476   50690  2426715    47.9 | 84.730 % |
59.84	c |     64483 |  136372   278721 |   50023   50704  2426821    47.9 | 84.888 % |
59.95	c |     64633 |  136372   278721 |   55025   50854  2434364    47.9 | 84.888 % |
60.12	c |     64858 |  136372   278721 |   60528   51079  2451936    48.0 | 84.888 % |
60.40	c |     65195 |  136354   278679 |   66581   51330  2465308    48.0 | 84.907 % |
60.72	c |     65701 |  136354   278679 |   73239   51836  2497084    48.2 | 84.907 % |
61.22	c |     66460 |  136315   278575 |   80563   52539  2537278    48.3 | 84.952 % |
62.01	c |     67599 |  136315   278575 |   88619   53678  2687895    50.1 | 84.952 % |
63.32	c |     69307 |  136315   278575 |   97481   55386  2882870    52.1 | 84.952 % |
65.52	c |     71869 |  136315   278575 |  107230   57948  3297295    56.9 | 84.952 % |
67.68	c ==============================================================================
67.68	c Found solution: -51
67.68	o -51
67.71	c ---[   0]---> Sorter-cost:    0     Base:
67.87	c ==================================[MINISAT+]==================================
67.87	c | Conflicts | Original         | Learnt                           | Progress |
67.87	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
67.87	c ==============================================================================
67.87	c |     74103 |  136106   278085 |   45368   59809  3485256    58.3 | 84.952 % |
67.95	c |     74203 |  136106   278085 |   49904   59909  3491775    58.3 | 85.223 % |
68.11	c |     74353 |  136063   277970 |   54895   59670  3485850    58.4 | 85.278 % |
68.29	c |     74578 |  136063   277970 |   60384   59895  3498842    58.4 | 85.278 % |
68.60	c |     74916 |  136058   277957 |   66423   60226  3530651    58.6 | 85.284 % |
69.27	c |     75422 |  135994   277802 |   73065   60597  3563296    58.8 | 85.355 % |
70.00	c |     76181 |  135950   277698 |   80372   61179  3620235    59.2 | 85.403 % |
70.98	c |     77320 |  135945   277687 |   88409   62293  3702636    59.4 | 85.408 % |
72.49	c |     79028 |  135928   277644 |   97250   63981  3892624    60.8 | 85.429 % |
75.21	c |     81590 |  135691   277063 |  106975   65768  4131868    62.8 | 85.702 % |
78.91	c |     85436 |  135590   276824 |  117672   69157  4565212    66.0 | 85.813 % |
84.77	c |     91202 |  135583   276807 |  129440   74866  5415516    72.3 | 85.821 % |
94.02	c |     99851 |  135540   276704 |  142384   83045  6414369    77.2 | 85.869 % |
110.13	c |    112826 |  135455   276509 |  156622   95875  8314958    86.7 | 85.957 % |
134.85	c ==============================================================================
134.85	c Found solution: -52
134.85	o -52
134.87	c ---[   0]---> Sorter-cost:    0     Base:
135.14	c ==================================[MINISAT+]==================================
135.14	c | Conflicts | Original         | Learnt                           | Progress |
135.14	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
135.14	c ==============================================================================
135.14	c |    127962 |  135394   276336 |   45131  109446 11574582   105.8 | 85.957 % |
135.39	c |    128062 |  135394   276336 |   49644   22310  3255192   145.9 | 86.028 % |
135.63	c |    128212 |  135295   276100 |   54608   22395  3259721   145.6 | 86.136 % |
135.78	c |    128437 |  135290   276089 |   60069   22610  3275212   144.9 | 86.141 % |
136.04	c |    128775 |  135238   275955 |   66076   22938  3289266   143.4 | 86.207 % |
136.49	c |    129281 |  135204   275877 |   72683   23429  3310280   141.3 | 86.242 % |
136.93	c |    130040 |  135194   275853 |   79952   24166  3344207   138.4 | 86.253 % |
137.62	c |    131179 |  135186   275835 |   87947   25295  3433065   135.7 | 86.261 % |
138.81	c |    132888 |  135178   275815 |   96742   26972  3689589   136.8 | 86.271 % |
140.69	c |    135450 |  135123   275675 |  106416   29433  4012571   136.3 | 86.338 % |
143.17	c |    139294 |  135123   275675 |  117058   33277  4564286   137.2 | 86.338 % |
147.62	c |    145060 |  134993   275371 |  128764   38714  5165896   133.4 | 86.475 % |
157.43	c |    153709 |  134993   275371 |  141640   47363  7432043   156.9 | 86.475 % |
171.39	c |    166684 |  134984   275352 |  155804   60336  9779793   162.1 | 86.483 % |
195.59	c |    186146 |  134984   275352 |  171384   79798 13225885   165.7 | 86.483 % |
242.04	c |    215338 |  134936   275238 |  188523  108912 18650008   171.2 | 86.536 % |
333.44	c |    259127 |  134911   275179 |  207375  152675 26672713   174.7 | 86.563 % |
505.98	c |    324813 |  134871   275082 |  228113  218353 37755388   172.9 | 86.608 % |
738.12	c |    423339 |  134694   274655 |  250924   59850  6824772   114.0 | 86.809 % |
1050.53	c |    571128 |  134616   274473 |  276017  207606 36886035   177.7 | 86.893 % |
1660.87	c |    792811 |  134345   273815 |  303618  120044 22066728   183.8 | 87.203 % |
1708.83	c ==============================================================================
1708.83	c Found solution: -53
1708.83	o -53
1708.86	c ---[   0]---> Sorter-cost:    0     Base:
1709.28	c ==================================[MINISAT+]==================================
1709.28	c | Conflicts | Original         | Learnt                           | Progress |
1709.28	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1709.28	c ==============================================================================
1709.28	c |    816118 |  134367   273876 |   44789  143351 26236269   183.0 | 87.203 % |
1711.12	c |    816218 |  134367   273876 |   49267   24779  2656873   107.2 | 87.186 % |
1711.25	c |    816368 |  134355   273848 |   54194   24926  2658679   106.7 | 87.199 % |
1711.41	c |    816593 |  134343   273818 |   59614   25146  2665287   106.0 | 87.214 % |
1711.47	c |    816931 |  134343   273818 |   65575   25484  2669029   104.7 | 87.214 % |
1711.68	c |    817437 |  134343   273818 |   72133   25990  2683105   103.2 | 87.214 % |
1712.09	c |    818197 |  134343   273818 |   79346   26750  2749065   102.8 | 87.214 % |
1712.60	c |    819336 |  134338   273807 |   87281   27885  2803944   100.6 | 87.219 % |
1713.73	c |    821045 |  134153   273352 |   96009   29550  2899463    98.1 | 87.432 % |
1715.13	c |    823607 |  134153   273352 |  105610   32112  3130599    97.5 | 87.432 % |
1717.38	c |    827451 |  134153   273352 |  116171   35956  3484719    96.9 | 87.432 % |
1721.72	c |    833218 |  134144   273329 |  127788   41711  4118800    98.7 | 87.443 % |
1728.13	c |    841868 |  134131   273298 |  140567   50335  4994249    99.2 | 87.458 % |
1740.51	c |    854843 |  134125   273284 |  154623   63306  6720226   106.2 | 87.464 % |
1766.09	c |    874304 |  134075   273164 |  170086   82730  9523268   115.1 | 87.520 % |
1801.16	c 
1801.16	c *** TERMINATED ***
1801.16	s SATISFIABLE
1801.16	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518
1801.16	v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 x1502 -x1501
1801.16	v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484
1801.16	v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467
1801.16	v -x1466 -x1465 x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449
1801.16	v -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432
1801.16	v -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415
1801.16	v -x1414 x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 x1401 -x1400 -x1399 -x1398 -x1397
1801.16	v -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380
1801.16	v -x1379 -x1378 -x1377 -x1376 x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363
1801.16	v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346
1801.16	v -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 x1330 -x1329
1801.16	v -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 x1317 -x1316 -x1315 -x1314 -x1313 -x1312
1801.16	v -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295
1801.16	v -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278
1801.16	v -x1277 x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261
1801.16	v -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244
1801.16	v -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227
1801.16	v -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 x1211 -x1210
1801.16	v -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193
1801.16	v -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 x1179 -x1178 -x1177 -x1176
1801.16	v -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 x1159
1801.16	v -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142
1801.16	v x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125
1801.16	v -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 x1112 -x1111 -x1110 -x1109 -x1108
1801.16	v -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091
1801.16	v -x1090 -x1089 x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074
1801.16	v -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 x1060 -x1059 -x1058 -x1057
1801.16	v -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 x1040
1801.16	v -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023
1801.16	v -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006
1801.16	v -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 x989 -x988 -x987 -x986
1801.16	v -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 x967 -x966 -x965
1801.16	v -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944
1801.16	v -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 x929 -x928 -x927 -x926 -x925 -x924 -x923
1801.16	v -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902
1801.16	v -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881
1801.16	v -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860
1801.16	v -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839
1801.16	v -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 x818
1801.16	v -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797
1801.16	v -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776
1801.16	v -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 x758 -x757 -x756 -x755
1801.16	v -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734
1801.16	v -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 x714 -x713
1801.16	v -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692
1801.16	v -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671
1801.16	v -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650
1801.16	v -x649 x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629
1801.16	v -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 x612 -x611 -x610 -x609 -x608
1801.16	v -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590 -x589 -x588 -x587
1801.16	v -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566
1801.16	v -x565 -x564 -x563 x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545
1801.16	v -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524
1801.16	v x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503
1801.16	v -x502 -x501 -x500 -x499 x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482
1801.16	v -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461
1801.16	v -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440
1801.16	v -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 x419
1801.16	v -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398
1801.16	v -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377
1801.16	v -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 x356
1801.16	v -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335
1801.16	v -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314
1801.16	v -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293
1801.16	v -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272
1801.16	v -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251
1801.16	v -x250 -x249 -x248 -x247 -x246 x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230
1801.16	v -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209
1801.16	v -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188
1801.16	v -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167
1801.16	v -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146
1801.16	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1801.16	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1801.16	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79
1801.16	v -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53
1801.16	v -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27
1801.16	v -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 -x1

Verifier Data (download as text)

OK	-53

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node36/watcher-35636-1149300177 -o ROOT/results/node36/solver-35636-1149300177 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node36/35636-1149300177/instance-35636-1149300177.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.09 1.04 0.94 2/64 32505
/proc/meminfo: memFree=1422824/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=1180 CPUtime=0
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 129 0 0 0 0 0 0 0 19 0 1 0 195683865 1208320 114 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 295 114 67 215 0 77 0

[startup+10.002 s]
/proc/loadavg: 1.08 1.04 0.94 2/64 32505
/proc/meminfo: memFree=1380400/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=44968 CPUtime=9.98
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 10978 0 0 0 980 18 0 0 25 0 1 0 195683865 46047232 10682 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569782 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 11242 10682 110 215 0 11024 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 44968

[startup+20.0078 s]
/proc/loadavg: 1.07 1.04 0.94 2/64 32505
/proc/meminfo: memFree=1380528/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=44968 CPUtime=19.98
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 10978 0 0 0 1980 18 0 0 25 0 1 0 195683865 46047232 10682 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 11242 10682 110 215 0 11024 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 44968

[startup+30.0137 s]
/proc/loadavg: 1.06 1.03 0.94 2/64 32505
/proc/meminfo: memFree=1380144/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=45480 CPUtime=29.98
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 11079 0 0 0 2980 18 0 0 25 0 1 0 195683865 46571520 10783 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569827 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 11370 10783 110 215 0 11152 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 45480

[startup+40.0195 s]
/proc/loadavg: 1.05 1.03 0.94 2/64 32505
/proc/meminfo: memFree=1380144/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=45508 CPUtime=39.99
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 11091 0 0 0 3980 19 0 0 25 0 1 0 195683865 46600192 10794 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134667235 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 11377 10794 110 215 0 11159 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 45508

[startup+50.0253 s]
/proc/loadavg: 1.04 1.03 0.94 2/64 32505
/proc/meminfo: memFree=1380016/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=45668 CPUtime=49.99
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 11122 0 0 0 4980 19 0 0 25 0 1 0 195683865 46764032 10825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 11417 10825 110 215 0 11199 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 45668

[startup+60.0311 s]
/proc/loadavg: 1.03 1.03 0.94 2/64 32505
/proc/meminfo: memFree=1379120/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=46404 CPUtime=59.99
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 11355 0 0 0 5980 19 0 0 25 0 1 0 195683865 47517696 11025 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 11601 11025 110 215 0 11383 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 46404

[startup+70.0369 s]
/proc/loadavg: 1.03 1.03 0.94 2/64 32505
/proc/meminfo: memFree=1374512/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=51140 CPUtime=69.99
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 12565 0 0 0 6979 20 0 0 25 0 1 0 195683865 52367360 12202 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 12785 12202 110 215 0 12567 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 51140

[startup+80.0427 s]
/proc/loadavg: 1.02 1.03 0.94 2/64 32505
/proc/meminfo: memFree=1369968/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=55836 CPUtime=79.99
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 13700 0 0 0 7978 21 0 0 25 0 1 0 195683865 57176064 13337 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 13959 13337 110 215 0 13741 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 55836

[startup+90.0485 s]
/proc/loadavg: 1.02 1.03 0.94 2/64 32505
/proc/meminfo: memFree=1364464/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=61348 CPUtime=90
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 15085 0 0 0 8977 23 0 0 25 0 1 0 195683865 62820352 14722 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 15337 14722 110 215 0 15119 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 61348

[startup+100.054 s]
/proc/loadavg: 1.02 1.02 0.94 2/64 32505
/proc/meminfo: memFree=1359664/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=66072 CPUtime=100
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 16278 0 0 0 9976 24 0 0 25 0 1 0 195683865 67657728 15915 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 16518 15915 110 215 0 16300 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 66072

[startup+110.06 s]
/proc/loadavg: 1.01 1.02 0.94 2/64 32505
/proc/meminfo: memFree=1354544/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=71224 CPUtime=110
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 17545 0 0 0 10975 25 0 0 25 0 1 0 195683865 72933376 17182 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 17806 17182 110 215 0 17588 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 71224

[startup+120.066 s]
/proc/loadavg: 1.01 1.02 0.94 2/64 32505
/proc/meminfo: memFree=1348912/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=76868 CPUtime=120.01
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 18964 0 0 0 11974 27 0 0 25 0 1 0 195683865 78712832 18601 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 19217 18601 110 215 0 18999 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 76868

[startup+130.072 s]
/proc/loadavg: 1.01 1.02 0.94 2/64 32505
/proc/meminfo: memFree=1342192/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=83552 CPUtime=130.01
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 20635 0 0 0 12973 28 0 0 25 0 1 0 195683865 85557248 20272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 20888 20272 110 215 0 20670 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 83552

[startup+140.078 s]
/proc/loadavg: 1.01 1.02 0.94 2/64 32505
/proc/meminfo: memFree=1339568/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=85956 CPUtime=140
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 21283 0 0 0 13972 28 0 0 25 0 1 0 195683865 88018944 20887 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 21489 20887 110 215 0 21271 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 85956

[startup+150.083 s]
/proc/loadavg: 1.00 1.02 0.94 2/64 32505
/proc/meminfo: memFree=1339568/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=85956 CPUtime=150.02
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 21283 0 0 0 14973 29 0 0 25 0 1 0 195683865 88018944 20887 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 21489 20887 110 215 0 21271 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 85956

[startup+160.09 s]
/proc/loadavg: 1.00 1.02 0.94 2/64 32505
/proc/meminfo: memFree=1339568/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=85956 CPUtime=160.02
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 21283 0 0 0 15973 29 0 0 25 0 1 0 195683865 88018944 20887 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580896 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 21489 20887 110 215 0 21271 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 85956

[startup+170.097 s]
/proc/loadavg: 1.00 1.02 0.94 2/64 32505
/proc/meminfo: memFree=1339568/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=85956 CPUtime=170.02
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 21283 0 0 0 16973 29 0 0 25 0 1 0 195683865 88018944 20887 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 21489 20887 110 215 0 21271 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 85956

[startup+180.104 s]
/proc/loadavg: 1.00 1.02 0.94 2/64 32505
/proc/meminfo: memFree=1339568/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=85956 CPUtime=180.02
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 21283 0 0 0 17973 29 0 0 25 0 1 0 195683865 88018944 20887 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 21489 20887 110 215 0 21271 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 85956

[startup+190.11 s]
/proc/loadavg: 1.00 1.02 0.94 2/64 32505
/proc/meminfo: memFree=1337584/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=88184 CPUtime=190.02
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 21817 0 0 0 18973 29 0 0 25 0 1 0 195683865 90300416 21421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 22046 21421 110 215 0 21828 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 88184

[startup+200.116 s]
/proc/loadavg: 1.00 1.01 0.94 2/64 32505
/proc/meminfo: memFree=1332272/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=93420 CPUtime=200.03
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 23140 0 0 0 19972 31 0 0 25 0 1 0 195683865 95662080 22744 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 23355 22744 110 215 0 23137 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 93420

[startup+210.122 s]
/proc/loadavg: 1.00 1.01 0.94 2/64 32505
/proc/meminfo: memFree=1326768/2055920 swapFree=4181452/4192956

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

[pid=32505] ppid=32503 vsize=282656 CPUtime=1781.45
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 178059 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584161 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (Kb) 282656

[startup+1783.07 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 32505
/proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=282656 CPUtime=1782.45
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 178159 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (Kb) 282656

[startup+1784.07 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 32505
/proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=282656 CPUtime=1783.46
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 178260 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1783.46
Current children cumulated vsize (Kb) 282656

[startup+1785.08 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 32505
/proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=282656 CPUtime=1784.46
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 178360 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1784.46
Current children cumulated vsize (Kb) 282656

[startup+1786.08 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 32505
/proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=282656 CPUtime=1785.46
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 178460 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1785.46
Current children cumulated vsize (Kb) 282656

[startup+1787.09 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 32505
/proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=282656 CPUtime=1786.47
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 178561 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580274 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1786.47
Current children cumulated vsize (Kb) 282656

[startup+1788.09 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 32505
/proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=282656 CPUtime=1787.47
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 178661 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1787.47
Current children cumulated vsize (Kb) 282656

[startup+1789.1 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 32505
/proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=282656 CPUtime=1788.48
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 178762 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1788.48
Current children cumulated vsize (Kb) 282656

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 32505
/proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=282656 CPUtime=1789.48
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 178862 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1789.48
Current children cumulated vsize (Kb) 282656

[startup+1791.1 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 32505
/proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=282656 CPUtime=1790.49
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 178963 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1790.49
Current children cumulated vsize (Kb) 282656

[startup+1792.11 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 32505
/proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=282656 CPUtime=1791.49
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179063 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581036 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (Kb) 282656

[startup+1793.11 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 32505
/proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=282656 CPUtime=1792.5
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179164 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1792.5
Current children cumulated vsize (Kb) 282656

[startup+1794.12 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 32505
/proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=282656 CPUtime=1793.5
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179264 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1793.5
Current children cumulated vsize (Kb) 282656

[startup+1795.12 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 32505
/proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=282656 CPUtime=1794.5
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179364 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (Kb) 282656

[startup+1796.13 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 32505
/proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=282656 CPUtime=1795.51
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179465 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1795.51
Current children cumulated vsize (Kb) 282656

[startup+1797.13 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 32505
/proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=282656 CPUtime=1796.51
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179565 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1796.51
Current children cumulated vsize (Kb) 282656

[startup+1798.14 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 32505
/proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=282656 CPUtime=1797.52
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179666 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580244 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (Kb) 282656

[startup+1799.14 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 32505
/proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=282656 CPUtime=1798.52
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179766 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1798.52
Current children cumulated vsize (Kb) 282656

[startup+1800.15 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 32505
/proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=282656 CPUtime=1799.53
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179867 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (Kb) 282656

[startup+1801.15 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 32505
/proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=282656 CPUtime=1800.53
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179967 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (Kb) 282656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 32505
/proc/meminfo: memFree=1143088/2055920 swapFree=4181452/4192956
[pid=32505] ppid=32503 vsize=282656 CPUtime=1800.53
/proc/32505/stat : 32505 (minisat+) R 32503 32505 32459 0 -1 4194304 70325 0 0 0 179967 86 0 0 25 0 1 0 195683865 289439744 69929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32505/statm: 70664 69929 110 215 0 70446 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (Kb) 282656

Sending SIGTERM to -32505
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.21
CPU time (s): 1800.59
CPU user time (s): 1799.68
CPU system time (s): 0.911861
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (Kb): 282656

Launcher Data (download as text)

Begin job on node36 on Sat Jun  3 02:02:57 UTC 2006


FILE ID= 35636-1149300177

PBS_JOBID= 307325

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-2.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node36/35636-1149300177/instance-35636-1149300177.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node36/watcher-35636-1149300177 -o ROOT/results/node36/solver-35636-1149300177 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node36/35636-1149300177/instance-35636-1149300177.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  f7a936a02ddf18c17dc27b7b53733ab1

RANDOM SEED= 85517741


/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.284
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.284
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:       1423096 kB
Buffers:         30260 kB
Cached:         529336 kB
SwapCached:       3444 kB
Active:          90560 kB
Inactive:       477948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1423096 kB
SwapTotal:     4192956 kB
SwapFree:      4181452 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14928 kB
Slab:            50412 kB
Committed_AS:   245740 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node36 on Sat Jun  3 02:32:59 UTC 2006