Trace number 35627

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)-49 1800.66 1801.19

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
MD5SUM604c6b786f56b09c749bc0d6b7c8f76d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark1800.53
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94227
Number of constraints which are clauses94227
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 1272
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 1272
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 1272
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...
2.55	c Converting 94227 PB-constraints to clauses...
2.56	c   -- Unit propagations: (none)
2.56	c   -- Detecting intervals from adjacent constraints: (none)
2.57	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
2.77	c ==================================[MINISAT+]==================================
2.77	c | Conflicts | Original         | Learnt                           | Progress |
2.77	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.77	c ==============================================================================
2.77	c |         0 |   94227   188454 |   31409       0        0     nan |  0.000 % |
2.77	c ==============================================================================
2.77	c Found solution: -36
2.77	o -36
2.78	c ---[   0]---> Sorter-cost:70300     Base:
2.93	c ==================================[MINISAT+]==================================
2.93	c | Conflicts | Original         | Learnt                           | Progress |
2.93	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.93	c ==============================================================================
2.93	c |         0 |  169273   364509 |   56424       0        0     nan |  0.000 % |
3.13	c |       100 |  168899   363733 |   62066      65      591     9.1 |  0.407 % |
3.37	c |       250 |  168502   362906 |   68273     198     1311     6.6 |  0.828 % |
3.75	c |       475 |  167076   359832 |   75100     351     2932     8.4 |  2.494 % |
4.33	c |       812 |  165133   355593 |   82610     631     5067     8.0 |  4.688 % |
5.13	c |      1319 |  162313   349369 |   90871     972     8957     9.2 |  8.080 % |
6.40	c |      2078 |  157982   339700 |   99958    1468    15263    10.4 | 13.235 % |
6.76	c ==============================================================================
6.76	c Found solution: -39
6.76	o -39
6.77	c ---[   0]---> Sorter-cost:    0     Base:
6.84	c ==================================[MINISAT+]==================================
6.84	c | Conflicts | Original         | Learnt                           | Progress |
6.84	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
6.84	c ==============================================================================
6.84	c |      2296 |  157388   338635 |   52462    1645    17452    10.6 | 13.235 % |
6.98	c |      2397 |  157059   337878 |   57708    1732    17985    10.4 | 14.608 % |
7.26	c |      2548 |  155840   335129 |   63479    1821    18984    10.4 | 16.160 % |
7.72	c |      2773 |  154165   331306 |   69826    1966    20681    10.5 | 18.177 % |
8.40	c |      3110 |  151458   325155 |   76809    2174    23582    10.8 | 21.604 % |
9.44	c |      3616 |  147626   316455 |   84490    2526    28129    11.1 | 26.258 % |
10.68	c |      4375 |  143472   307009 |   92939    3028    34893    11.5 | 31.480 % |
12.60	c |      5514 |  137035   292201 |  102233    3700    43332    11.7 | 39.456 % |
14.66	c |      7223 |  129643   274879 |  112456    4787    55808    11.7 | 48.879 % |
17.41	c |      9785 |  121178   254842 |  123702    6238    75388    12.1 | 60.010 % |
20.48	c |     13629 |  111810   232544 |  136072    8363   107856    12.9 | 72.370 % |
20.55	c ==============================================================================
20.55	c Found solution: -40
20.55	o -40
20.56	c ---[   0]---> Sorter-cost:    0     Base:
20.65	c ==================================[MINISAT+]==================================
20.65	c | Conflicts | Original         | Learnt                           | Progress |
20.65	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
20.65	c ==============================================================================
20.65	c |     13714 |  111791   232457 |   37263    8438   110430    13.1 | 72.370 % |
20.69	c |     13815 |  111736   232336 |   40989    8517   111608    13.1 | 72.463 % |
20.79	c |     13965 |  111449   231624 |   45088    8613   112090    13.0 | 72.865 % |
21.00	c |     14191 |  110875   230219 |   49597    8726   114161    13.1 | 73.663 % |
21.23	c |     14528 |  110330   228918 |   54556    8862   116391    13.1 | 74.395 % |
21.47	c |     15034 |  109915   227905 |   60012    9207   123608    13.4 | 74.966 % |
21.67	c ==============================================================================
21.67	c Found solution: -41
21.67	o -41
21.69	c ---[   0]---> Sorter-cost:    0     Base:
21.78	c ==================================[MINISAT+]==================================
21.78	c | Conflicts | Original         | Learnt                           | Progress |
21.78	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
21.78	c ==============================================================================
21.78	c |     15297 |  109425   226747 |   36475    9363   132070    14.1 | 74.966 % |
21.90	c |     15397 |  108928   225548 |   40122    9368   131994    14.1 | 76.327 % |
21.96	c |     15547 |  108861   225391 |   44134    9505   134463    14.1 | 76.414 % |
22.14	c |     15772 |  108187   223757 |   48548    9615   136618    14.2 | 77.343 % |
22.25	c |     16110 |  108184   223750 |   53403    9952   143364    14.4 | 77.347 % |
22.52	c |     16616 |  107846   222930 |   58743   10285   150811    14.7 | 77.809 % |
22.83	c |     17375 |  107492   222096 |   64617   10880   162733    15.0 | 78.273 % |
23.44	c |     18516 |  106409   219476 |   71079   11485   183931    16.0 | 79.751 % |
24.18	c |     20224 |  105563   217441 |   78187   12695   231153    18.2 | 80.890 % |
25.09	c ==============================================================================
25.09	c Found solution: -42
25.09	o -42
25.10	c ---[   0]---> Sorter-cost:    0     Base:
25.19	c ==================================[MINISAT+]==================================
25.19	c | Conflicts | Original         | Learnt                           | Progress |
25.19	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
25.19	c ==============================================================================
25.19	c |     22454 |  104461   214676 |   34820   14284   295984    20.7 | 80.890 % |
25.29	c |     22554 |  104247   214159 |   38302   14343   296650    20.7 | 82.669 % |
25.36	c |     22704 |  104230   214116 |   42132   14478   302277    20.9 | 82.695 % |
25.47	c |     22929 |  104077   213747 |   46345   14609   305744    20.9 | 82.903 % |
25.65	c |     23266 |  103810   213088 |   50979   14674   310610    21.2 | 83.278 % |
25.87	c |     23772 |  103661   212727 |   56077   15056   324943    21.6 | 83.483 % |
26.05	c |     24531 |  103661   212727 |   61685   15815   342397    21.7 | 83.483 % |
26.21	c ==============================================================================
26.21	c Found solution: -43
26.21	o -43
26.23	c ---[   0]---> Sorter-cost:    0     Base:
26.32	c ==================================[MINISAT+]==================================
26.32	c | Conflicts | Original         | Learnt                           | Progress |
26.32	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
26.32	c ==============================================================================
26.32	c |     24866 |  103578   212555 |   34526   15940   354982    22.3 | 83.483 % |
26.40	c |     24966 |  103452   212229 |   37978   15957   356178    22.3 | 83.832 % |
26.57	c |     25116 |  103157   211504 |   41776   15858   355829    22.4 | 84.245 % |
26.67	c |     25342 |  103098   211357 |   45954   15982   361200    22.6 | 84.328 % |
26.79	c |     25679 |  103060   211263 |   50549   16275   374557    23.0 | 84.383 % |
26.96	c |     26186 |  103044   211225 |   55604   16717   403210    24.1 | 84.404 % |
27.24	c |     26946 |  102964   211037 |   61164   17402   448444    25.8 | 84.509 % |
27.65	c |     28085 |  102796   210627 |   67281   18302   513844    28.1 | 84.741 % |
28.37	c |     29794 |  102287   209397 |   74009   19277   595883    30.9 | 85.430 % |
28.78	c ==============================================================================
28.78	c Found solution: -44
28.78	o -44
28.80	c ---[   0]---> Sorter-cost:    0     Base:
28.90	c ==================================[MINISAT+]==================================
28.90	c | Conflicts | Original         | Learnt                           | Progress |
28.90	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
28.90	c ==============================================================================
28.90	c |     30805 |  102185   209122 |   34061   19877   649107    32.7 | 85.430 % |
28.94	c |     30905 |  102181   209112 |   37467   19960   650513    32.6 | 85.578 % |
28.97	c |     31055 |  102181   209112 |   41213   20110   656361    32.6 | 85.578 % |
29.04	c |     31280 |  102181   209112 |   45335   20335   662267    32.6 | 85.578 % |
29.17	c |     31617 |  102139   209012 |   49868   20565   689479    33.5 | 85.635 % |
29.34	c |     32123 |  102135   209002 |   54855   21042   708226    33.7 | 85.640 % |
29.63	c |     32883 |  102044   208779 |   60341   21692   763522    35.2 | 85.765 % |
30.14	c |     34023 |  101908   208436 |   66375   22590   857752    38.0 | 85.961 % |
30.88	c |     35731 |  101761   208078 |   73012   24035   977376    40.7 | 86.166 % |
32.35	c |     38294 |  101248   206822 |   80314   25704  1211706    47.1 | 86.880 % |
33.20	c ==============================================================================
33.20	c Found solution: -45
33.20	o -45
33.22	c ---[   0]---> Sorter-cost:    0     Base:
33.32	c ==================================[MINISAT+]==================================
33.32	c | Conflicts | Original         | Learnt                           | Progress |
33.32	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
33.32	c ==============================================================================
33.32	c |     40062 |  101189   206683 |   33729   27299  1370590    50.2 | 86.880 % |
33.40	c |     40164 |  101153   206593 |   37101   27290  1368576    50.1 | 87.022 % |
33.46	c |     40314 |  101153   206593 |   40812   27440  1373157    50.0 | 87.022 % |
33.56	c |     40539 |  101153   206593 |   44893   27665  1390604    50.3 | 87.022 % |
33.74	c |     40877 |  101147   206579 |   49382   27982  1417890    50.7 | 87.029 % |
34.03	c |     41383 |  101089   206432 |   54320   28284  1476102    52.2 | 87.111 % |
34.40	c |     42142 |  101046   206333 |   59752   28842  1548069    53.7 | 87.164 % |
35.00	c |     43281 |  101030   206295 |   65728   29940  1653263    55.2 | 87.185 % |
35.19	c ==============================================================================
35.19	c Found solution: -46
35.19	o -46
35.21	c ---[   0]---> Sorter-cost:    0     Base:
35.32	c ==================================[MINISAT+]==================================
35.32	c | Conflicts | Original         | Learnt                           | Progress |
35.32	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
35.32	c ==============================================================================
35.32	c |     43660 |  101019   206233 |   33673   30108  1656622    55.0 | 87.185 % |
35.40	c |     43762 |  100999   206179 |   37040   30194  1661991    55.0 | 87.234 % |
35.48	c |     43912 |  100999   206179 |   40744   30344  1674049    55.2 | 87.234 % |
35.52	c |     44138 |  100999   206179 |   44818   30570  1677140    54.9 | 87.234 % |
35.70	c |     44476 |  100999   206179 |   49300   30908  1697757    54.9 | 87.234 % |
35.98	c |     44983 |  100999   206179 |   54230   31415  1748048    55.6 | 87.234 % |
36.40	c |     45742 |  100961   206093 |   59653   32036  1808118    56.4 | 87.281 % |
37.10	c |     46881 |  100961   206093 |   65619   33175  1962362    59.2 | 87.281 % |
38.12	c |     48589 |  100961   206093 |   72181   34883  2133447    61.2 | 87.281 % |
39.84	c |     51151 |  100916   205984 |   79399   37289  2446159    65.6 | 87.343 % |
42.81	c |     54995 |  100889   205925 |   87339   40682  2985421    73.4 | 87.374 % |
47.42	c |     60761 |  100889   205925 |   96072   46448  3854427    83.0 | 87.374 % |
51.51	c ==============================================================================
51.51	c Found solution: -47
51.51	o -47
51.53	c ---[   0]---> Sorter-cost:    0     Base:
51.68	c ==================================[MINISAT+]==================================
51.68	c | Conflicts | Original         | Learnt                           | Progress |
51.68	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
51.68	c ==============================================================================
51.68	c |     65334 |  100853   205854 |   33617   50820  4571720    90.0 | 87.374 % |
51.76	c |     65434 |  100853   205854 |   36978   50920  4575895    89.9 | 87.450 % |
51.90	c |     65584 |  100853   205854 |   40676   51070  4590180    89.9 | 87.450 % |
52.07	c |     65809 |  100853   205854 |   44744   51295  4602588    89.7 | 87.450 % |
52.34	c |     66148 |  100853   205854 |   49218   51634  4624017    89.6 | 87.450 % |
52.81	c |     66654 |  100853   205854 |   54140   52140  4670967    89.6 | 87.450 % |
53.39	c |     67414 |  100814   205757 |   59554   52773  4715984    89.4 | 87.506 % |
54.34	c |     68553 |  100814   205757 |   65510   53912  4839522    89.8 | 87.506 % |
55.93	c |     70261 |  100814   205757 |   72061   55620  5031215    90.5 | 87.506 % |
58.47	c |     72824 |  100814   205757 |   79267   58183  5325863    91.5 | 87.506 % |
61.86	c |     76668 |  100814   205757 |   87193   62027  5737838    92.5 | 87.506 % |
68.12	c |     82434 |  100720   205535 |   95913   67266  6413842    95.4 | 87.630 % |
77.54	c |     91084 |  100718   205529 |  105504   75912  7268264    95.7 | 87.634 % |
80.56	c ==============================================================================
80.56	c Found solution: -48
80.56	o -48
80.58	c ---[   0]---> Sorter-cost:    0     Base:
80.76	c ==================================[MINISAT+]==================================
80.76	c | Conflicts | Original         | Learnt                           | Progress |
80.76	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
80.76	c ==============================================================================
80.76	c |     94590 |  100693   205448 |   33564   79088  7509816    95.0 | 87.634 % |
80.97	c |     94690 |  100693   205448 |   36920   19014  1203514    63.3 | 87.669 % |
81.04	c |     94840 |  100693   205448 |   40612   19164  1215224    63.4 | 87.669 % |
81.15	c |     95066 |  100610   205251 |   44673   19386  1226784    63.3 | 87.776 % |
81.30	c |     95404 |  100605   205238 |   49141   19716  1247119    63.3 | 87.784 % |
81.51	c |     95910 |  100605   205238 |   54055   20222  1293892    64.0 | 87.784 % |
81.83	c |     96671 |  100605   205238 |   59460   20983  1362659    64.9 | 87.784 % |
82.37	c |     97810 |  100602   205231 |   65406   22119  1452373    65.7 | 87.788 % |
83.07	c |     99519 |  100602   205231 |   71947   23828  1570680    65.9 | 87.788 % |
84.29	c |    102082 |  100602   205231 |   79142   26391  1796590    68.1 | 87.788 % |
86.49	c |    105926 |  100524   205033 |   87056   30221  2254790    74.6 | 87.904 % |
89.91	c |    111693 |  100513   205008 |   95762   35977  2865103    79.6 | 87.917 % |
95.34	c |    120342 |  100496   204969 |  105338   44621  3803842    85.2 | 87.939 % |
106.34	c |    133316 |  100496   204969 |  115872   57595  5193648    90.2 | 87.939 % |
124.91	c |    152777 |  100477   204922 |  127459   77043  7291374    94.6 | 87.966 % |
158.24	c |    181969 |  100467   204900 |  140205  106227 10898164   102.6 | 87.978 % |
219.55	c |    225758 |  100436   204820 |  154225  149983 15472459   103.2 | 88.024 % |
329.30	c |    291443 |  100430   204806 |  169648   36460  2449536    67.2 | 88.032 % |
446.07	c |    389969 |  100422   204786 |  186613  134798 15942477   118.3 | 88.044 % |
753.43	c |    537758 |  100404   204742 |  205274   70192  6650238    94.7 | 88.069 % |
1105.27	c |    759441 |  100285   204445 |  225801   61873  2777912    44.9 | 88.241 % |
1586.58	c ==============================================================================
1586.58	c Found solution: -49
1586.58	o -49
1586.60	c ---[   0]---> Sorter-cost:    0     Base:
1586.79	c ==================================[MINISAT+]==================================
1586.79	c | Conflicts | Original         | Learnt                           | Progress |
1586.79	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1586.79	c ==============================================================================
1586.79	c |   1026698 |  100262   204393 |   33420   79014  7690912    97.3 | 88.241 % |
1587.48	c |   1026798 |  100262   204393 |   36762   25140  1598409    63.6 | 88.279 % |
1587.54	c |   1026949 |  100262   204393 |   40438   25291  1605141    63.5 | 88.279 % |
1587.67	c |   1027174 |  100239   204340 |   44482   25513  1614485    63.3 | 88.306 % |
1587.81	c |   1027511 |  100239   204340 |   48930   25850  1630059    63.1 | 88.306 % |
1588.05	c |   1028017 |  100239   204340 |   53823   26356  1660238    63.0 | 88.306 % |
1588.41	c |   1028777 |  100239   204340 |   59205   27116  1711844    63.1 | 88.306 % |
1589.04	c |   1029916 |  100227   204312 |   65126   28252  1789820    63.4 | 88.322 % |
1589.69	c |   1031626 |  100227   204312 |   71638   29962  1887801    63.0 | 88.322 % |
1590.92	c |   1034189 |  100227   204312 |   78802   32525  2067273    63.6 | 88.322 % |
1593.02	c |   1038033 |  100186   204212 |   86682   36224  2385932    65.9 | 88.378 % |
1596.29	c |   1043799 |  100186   204212 |   95351   41990  2917886    69.5 | 88.378 % |
1601.71	c |   1052448 |  100186   204212 |  104886   50639  3703103    73.1 | 88.378 % |
1611.76	c |   1065423 |  100186   204212 |  115374   63614  4988007    78.4 | 88.378 % |
1629.88	c |   1084884 |  100175   204185 |  126912   83072  6849381    82.5 | 88.393 % |
1669.17	c |   1114079 |  100166   204162 |  139603  112263 10241212    91.2 | 88.407 % |
1743.16	c |   1157868 |  100166   204162 |  153563  156052 13288875    85.2 | 88.407 % |
1801.16	c 
1801.16	c *** TERMINATED ***
1801.16	s SATISFIABLE
1801.16	v -x1272 -x1271 x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256
1801.16	v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239
1801.16	v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222
1801.16	v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 x1205
1801.16	v -x1204 -x1203 -x1202 -x1201 -x1200 x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188
1801.16	v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171
1801.16	v -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154
1801.16	v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137
1801.16	v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120
1801.16	v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 x1107 -x1106 -x1105 -x1104 -x1103
1801.16	v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086
1801.16	v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069
1801.16	v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 x1052
1801.16	v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035
1801.16	v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018
1801.16	v -x1017 -x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001
1801.16	v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980
1801.16	v x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959
1801.16	v -x958 -x957 x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
1801.16	v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 x919 -x918 -x917
1801.16	v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 x900 -x899 -x898 -x897 -x896
1801.16	v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1801.16	v -x874 -x873 -x872 -x871 x870 -x869 -x868 -x867 -x866 -x865 x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1801.16	v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1801.16	v -x832 x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1801.16	v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1801.16	v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1801.16	v -x769 -x768 -x767 -x766 -x765 -x764 x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1801.16	v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 -x732 -x731 -x730 -x729 -x728
1801.16	v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1801.16	v -x706 -x705 -x704 -x703 -x702 x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1801.16	v -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1801.16	v -x664 -x663 -x662 -x661 -x660 x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1801.16	v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1801.16	v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602
1801.16	v -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581
1801.16	v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560
1801.16	v -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539
1801.16	v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518
1801.16	v -x517 -x516 -x515 -x514 x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497
1801.16	v x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476
1801.16	v -x475 -x474 -x473 -x472 -x471 -x470 -x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455
1801.16	v -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434
1801.16	v -x433 -x432 x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413
1801.16	v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392
1801.16	v -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 x371
1801.16	v -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 x350
1801.16	v -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329
1801.16	v -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308
1801.16	v -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287
1801.16	v -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266
1801.16	v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 x245
1801.16	v -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224
1801.16	v -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203
1801.16	v -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182
1801.16	v -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161
1801.16	v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140
1801.16	v -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119
1801.16	v -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98
1801.16	v -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72
1801.16	v -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46
1801.16	v -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20
1801.16	v -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	-49

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/node7/watcher-35627-1149298123 -o ROOT/results/node7/solver-35627-1149298123 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node7/35627-1149298123/instance-35627-1149298123.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/64 14365
/proc/meminfo: memFree=1343640/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=1048 CPUtime=0
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 115 0 0 0 0 0 0 0 19 0 1 0 195474506 1073152 100 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 262 100 67 215 0 44 0

[startup+10.0019 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 14365
/proc/meminfo: memFree=1311384/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=34516 CPUtime=9.98
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 8364 0 0 0 986 12 0 0 25 0 1 0 195474506 35344384 8147 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134569772 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 8629 8147 110 215 0 8411 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 34516

[startup+20.0079 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 14365
/proc/meminfo: memFree=1311512/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=34516 CPUtime=19.98
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 8364 0 0 0 1986 12 0 0 25 0 1 0 195474506 35344384 8147 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 8629 8147 110 215 0 8411 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 34516

[startup+30.014 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 14365
/proc/meminfo: memFree=1311448/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=34516 CPUtime=29.99
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 8367 0 0 0 2987 12 0 0 25 0 1 0 195474506 35344384 8150 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134585958 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 8629 8150 110 215 0 8411 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 34516

[startup+40.02 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 14365
/proc/meminfo: memFree=1308376/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=37680 CPUtime=39.99
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 9154 0 0 0 3986 13 0 0 25 0 1 0 195474506 38584320 8937 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580330 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 9420 8937 110 215 0 9202 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 37680

[startup+50.0261 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 14365
/proc/meminfo: memFree=1300632/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=45464 CPUtime=49.99
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 11083 0 0 0 4985 14 0 0 25 0 1 0 195474506 46555136 10866 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 11366 10866 110 215 0 11148 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 45464

[startup+60.0311 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 14365
/proc/meminfo: memFree=1295448/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=50560 CPUtime=59.99
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 12386 0 0 0 5984 15 0 0 25 0 1 0 195474506 51773440 12161 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 12640 12161 110 215 0 12422 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 50560

[startup+70.0372 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 14365
/proc/meminfo: memFree=1290904/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=55248 CPUtime=70
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 13524 0 0 0 6984 16 0 0 25 0 1 0 195474506 56573952 13299 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 13812 13299 110 215 0 13594 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 55248

[startup+80.0432 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 14365
/proc/meminfo: memFree=1286936/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=59276 CPUtime=80
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 14530 0 0 0 7983 17 0 0 25 0 1 0 195474506 60698624 14305 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 14819 14305 110 215 0 14601 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 59276

[startup+90.0493 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 14365
/proc/meminfo: memFree=1286488/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=59492 CPUtime=90
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 14626 0 0 0 8983 17 0 0 25 0 1 0 195474506 60919808 14391 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580337 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 14873 14391 110 215 0 14655 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 59492

[startup+100.055 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 14365
/proc/meminfo: memFree=1286488/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=59492 CPUtime=100.01
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 14626 0 0 0 9984 17 0 0 25 0 1 0 195474506 60919808 14391 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134574265 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 14873 14391 110 215 0 14655 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 59492

[startup+110.062 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 14365
/proc/meminfo: memFree=1286488/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=59492 CPUtime=110.01
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 14626 0 0 0 10984 17 0 0 25 0 1 0 195474506 60919808 14391 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 14873 14391 110 215 0 14655 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 59492

[startup+120.068 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14365
/proc/meminfo: memFree=1286488/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=59492 CPUtime=120.01
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 14626 0 0 0 11984 17 0 0 25 0 1 0 195474506 60919808 14391 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 14873 14391 110 215 0 14655 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 59492

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14365
/proc/meminfo: memFree=1284376/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=61716 CPUtime=130.01
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 15171 0 0 0 12984 17 0 0 25 0 1 0 195474506 63197184 14936 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 15429 14936 110 215 0 15211 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 61716

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14365
/proc/meminfo: memFree=1279576/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=66408 CPUtime=140.02
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 16367 0 0 0 13983 19 0 0 25 0 1 0 195474506 68001792 16132 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 16602 16132 110 215 0 16384 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 66408

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14365
/proc/meminfo: memFree=1275032/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=71148 CPUtime=150.02
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 17492 0 0 0 14982 20 0 0 25 0 1 0 195474506 72855552 17257 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 17787 17257 110 215 0 17569 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 71148

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14365
/proc/meminfo: memFree=1271384/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=74688 CPUtime=160.03
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 18398 0 0 0 15982 21 0 0 25 0 1 0 195474506 76480512 18163 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 18672 18163 110 215 0 18454 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 74688

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14365
/proc/meminfo: memFree=1268504/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=77712 CPUtime=170.03
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 19144 0 0 0 16980 23 0 0 25 0 1 0 195474506 79577088 18909 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 19428 18909 110 215 0 19210 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 77712

[startup+180.104 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14365
/proc/meminfo: memFree=1265048/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=80988 CPUtime=180.04
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 19992 0 0 0 17980 24 0 0 25 0 1 0 195474506 82931712 19757 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 20247 19757 110 215 0 20029 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 80988

[startup+190.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14365
/proc/meminfo: memFree=1261912/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=84096 CPUtime=190.03
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 20780 0 0 0 18978 25 0 0 25 0 1 0 195474506 86114304 20545 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 21024 20545 110 215 0 20806 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 84096

[startup+200.116 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14365
/proc/meminfo: memFree=1258648/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=87352 CPUtime=200.04
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 21600 0 0 0 19978 26 0 0 25 0 1 0 195474506 89448448 21365 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 21838 21365 110 215 0 21620 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 87352

[startup+210.122 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14365
/proc/meminfo: memFree=1255448/2055920 swapFree=4181500/4192956

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

[pid=14365] ppid=14363 vsize=146888 CPUtime=1781.54
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 178109 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (Kb) 146888

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14367
/proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=146888 CPUtime=1782.54
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 178209 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1782.54
Current children cumulated vsize (Kb) 146888

[startup+1784.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14367
/proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=146888 CPUtime=1783.55
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 178310 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1783.55
Current children cumulated vsize (Kb) 146888

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14367
/proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=146888 CPUtime=1784.55
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 178410 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1784.55
Current children cumulated vsize (Kb) 146888

[startup+1786.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14367
/proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=146888 CPUtime=1785.56
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 178511 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (Kb) 146888

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14367
/proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=146888 CPUtime=1786.56
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 178611 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1786.56
Current children cumulated vsize (Kb) 146888

[startup+1788.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14367
/proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=146888 CPUtime=1787.57
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 178712 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1787.57
Current children cumulated vsize (Kb) 146888

[startup+1789.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14367
/proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=146888 CPUtime=1788.57
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 178812 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134579770 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1788.57
Current children cumulated vsize (Kb) 146888

[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14367
/proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=146888 CPUtime=1789.58
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 178913 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (Kb) 146888

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14367
/proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=146888 CPUtime=1790.58
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 179013 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1790.58
Current children cumulated vsize (Kb) 146888

[startup+1792.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14367
/proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=146888 CPUtime=1791.59
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 179114 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (Kb) 146888

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14367
/proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=146888 CPUtime=1792.59
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 179214 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1792.59
Current children cumulated vsize (Kb) 146888

[startup+1794.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14367
/proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=146888 CPUtime=1793.6
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 179315 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (Kb) 146888

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14367
/proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=146888 CPUtime=1794.6
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 179415 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (Kb) 146888

[startup+1796.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14367
/proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=146888 CPUtime=1795.61
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 179516 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581307 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (Kb) 146888

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14367
/proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=146888 CPUtime=1796.61
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 179616 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (Kb) 146888

[startup+1798.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14367
/proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=146888 CPUtime=1797.61
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 179716 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581480 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (Kb) 146888

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14367
/proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=146888 CPUtime=1798.62
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 179817 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (Kb) 146888

[startup+1800.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14367
/proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=146888 CPUtime=1799.62
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 179917 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (Kb) 146888

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14367
/proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=146888 CPUtime=1800.63
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 180018 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (Kb) 146888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14367
/proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956
[pid=14365] ppid=14363 vsize=146888 CPUtime=1800.63
/proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 180018 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580798 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14365/statm: 36722 36142 110 215 0 36504 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (Kb) 146888

Sending SIGTERM to -14365
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.19
CPU time (s): 1800.66
CPU user time (s): 1800.19
CPU system time (s): 0.475927
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (Kb): 146888

Launcher Data (download as text)

Begin job on node7 on Sat Jun  3 01:28:43 UTC 2006


FILE ID= 35627-1149298123

PBS_JOBID= 307202

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node7/35627-1149298123/instance-35627-1149298123.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-35627-1149298123 -o ROOT/results/node7/solver-35627-1149298123 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node7/35627-1149298123/instance-35627-1149298123.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  604c6b786f56b09c749bc0d6b7c8f76d

RANDOM SEED= 378585567


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1343912 kB
Buffers:         36492 kB
Cached:         602408 kB
SwapCached:       3564 kB
Active:         210760 kB
Inactive:       437272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1343912 kB
SwapTotal:     4192956 kB
SwapFree:      4181500 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14972 kB
Slab:            49988 kB
Committed_AS:   273144 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node7 on Sat Jun  3 01:58:44 UTC 2006