Trace number 35616

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14SAT (TO)-52 1800.55 1801.26

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb
MD5SUM62a6bdf0e089cd0b8a79007277394096
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-54
Best CPU time to get the best result obtained on this benchmark1800.46
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -54
Optimality of the best value was proved NO
Number of variables1400
Total number of constraints109401
Number of constraints which are clauses109401
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 1400
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 1400
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 1400
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.94	c Converting 109401 PB-constraints to clauses...
2.95	c   -- Unit propagations: (none)
2.95	c   -- Detecting intervals from adjacent constraints: (none)
2.96	c   -- Clauses(.)/Splits(s): .........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
3.20	c ==================================[MINISAT+]==================================
3.20	c | Conflicts | Original         | Learnt                           | Progress |
3.20	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.20	c ==============================================================================
3.20	c |         0 |  109401   218802 |   36467       0        0     nan |  0.000 % |
3.20	c ==============================================================================
3.20	c Found solution: -40
3.20	o -40
3.22	c ---[   0]---> Sorter-cost:78076     Base:
3.38	c ==================================[MINISAT+]==================================
3.38	c | Conflicts | Original         | Learnt                           | Progress |
3.38	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.38	c ==============================================================================
3.38	c |         0 |  193094   415099 |   64364       0        0     nan |  0.000 % |
3.67	c |       100 |  192550   413981 |   70800      81      590     7.3 |  0.516 % |
4.08	c |       250 |  191694   412157 |   77880     191     2087    10.9 |  1.412 % |
4.55	c |       476 |  190523   409618 |   85668     373     4634    12.4 |  2.568 % |
5.30	c |       814 |  188009   404076 |   94235     603     7316    12.1 |  5.226 % |
6.19	c |      1320 |  185071   397592 |  103658    1000    11541    11.5 |  8.340 % |
7.86	c |      2079 |  180361   387088 |  114024    1525    18000    11.8 | 13.428 % |
9.92	c |      3218 |  174052   372857 |  125427    2298    26933    11.7 | 20.384 % |
12.51	c |      4926 |  167171   357178 |  137969    3480    42305    12.2 | 28.065 % |
16.21	c |      7488 |  157158   334221 |  151766    5331    61838    11.6 | 39.255 % |
20.85	c |     11332 |  144436   304457 |  166943    8039    94187    11.7 | 53.917 % |
25.37	c ==============================================================================
25.37	c Found solution: -41
25.37	o -41
25.39	c ---[   0]---> Sorter-cost:    0     Base:
25.49	c ==================================[MINISAT+]==================================
25.49	c | Conflicts | Original         | Learnt                           | Progress |
25.49	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
25.49	c ==============================================================================
25.49	c |     16748 |  134807   281657 |   44935   11523   152767    13.3 | 53.917 % |
25.59	c |     16848 |  134472   280875 |   49428   11599   153817    13.3 | 65.787 % |
25.72	c |     16998 |  134230   280308 |   54371   11738   156796    13.4 | 66.068 % |
25.96	c |     17223 |  133770   279211 |   59808   11876   159392    13.4 | 66.599 % |
26.26	c |     17560 |  133293   278066 |   65789   12117   163106    13.5 | 67.168 % |
26.67	c |     18067 |  132451   276026 |   72368   12355   166879    13.5 | 68.197 % |
27.13	c |     18826 |  132034   275016 |   79605   12963   188616    14.6 | 68.700 % |
27.91	c |     19965 |  130866   272248 |   87565   13720   203418    14.8 | 70.076 % |
28.94	c |     21673 |  129525   269009 |   96322   15069   249486    16.6 | 71.703 % |
30.92	c |     24236 |  126370   261437 |  105954   16906   301322    17.8 | 75.533 % |
32.47	c ==============================================================================
32.47	c Found solution: -42
32.47	o -42
32.49	c ---[   0]---> Sorter-cost:    0     Base:
32.59	c ==================================[MINISAT+]==================================
32.59	c | Conflicts | Original         | Learnt                           | Progress |
32.59	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
32.59	c ==============================================================================
32.59	c |     27120 |  124797   257602 |   41599   19327   366556    19.0 | 75.533 % |
32.69	c |     27221 |  124609   257169 |   45758   19390   367451    19.0 | 77.656 % |
32.75	c |     27372 |  124609   257169 |   50334   19541   373598    19.1 | 77.656 % |
32.88	c |     27597 |  124480   256852 |   55368   19696   382342    19.4 | 77.819 % |
33.06	c |     27934 |  124352   256539 |   60905   19950   393222    19.7 | 77.981 % |
33.30	c |     28442 |  124246   256284 |   66995   20427   408671    20.0 | 78.109 % |
33.36	c ==============================================================================
33.36	c Found solution: -43
33.36	o -43
33.38	c ---[   0]---> Sorter-cost:    0     Base:
33.49	c ==================================[MINISAT+]==================================
33.49	c | Conflicts | Original         | Learnt                           | Progress |
33.49	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
33.49	c ==============================================================================
33.49	c |     28536 |  124314   256509 |   41438   20521   411801    20.1 | 78.109 % |
33.54	c |     28636 |  124278   256419 |   45581   20615   413150    20.0 | 78.122 % |
33.66	c |     28787 |  124212   256258 |   50139   20594   416116    20.2 | 78.206 % |
33.77	c |     29012 |  124155   256115 |   55153   20774   422744    20.3 | 78.281 % |
33.97	c |     29349 |  123998   255722 |   60669   21061   432926    20.6 | 78.481 % |
34.20	c |     29855 |  123924   255541 |   66736   21542   455907    21.2 | 78.574 % |
34.68	c |     30614 |  123477   254457 |   73409   22107   479117    21.7 | 79.122 % |
35.21	c |     31753 |  123112   253584 |   80750   23117   523958    22.7 | 79.563 % |
35.73	c ==============================================================================
35.73	c Found solution: -44
35.73	o -44
35.75	c ---[   0]---> Sorter-cost:    0     Base:
35.86	c ==================================[MINISAT+]==================================
35.86	c | Conflicts | Original         | Learnt                           | Progress |
35.86	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
35.86	c ==============================================================================
35.86	c |     32704 |  122868   252983 |   40956   23796   542190    22.8 | 79.563 % |
35.90	c |     32804 |  122868   252983 |   45051   23896   544156    22.8 | 79.858 % |
35.98	c |     32954 |  122865   252976 |   49556   24045   548175    22.8 | 79.862 % |
36.12	c |     33180 |  122748   252701 |   54512   24233   556503    23.0 | 79.998 % |
36.28	c |     33518 |  122695   252573 |   59963   24544   575429    23.4 | 80.063 % |
36.56	c |     34025 |  122496   252082 |   65960   24965   615467    24.7 | 80.303 % |
36.90	c |     34784 |  122447   251963 |   72556   25704   643849    25.0 | 80.363 % |
37.40	c |     35923 |  122348   251715 |   79811   26752   724264    27.1 | 80.490 % |
38.16	c |     37631 |  122084   251065 |   87792   28017   788957    28.2 | 80.823 % |
39.57	c |     40193 |  121936   250714 |   96572   30493  1096807    36.0 | 80.996 % |
41.73	c |     44037 |  121613   249937 |  106229   33966  1333260    39.3 | 81.387 % |
42.09	c ==============================================================================
42.09	c Found solution: -45
42.09	o -45
42.11	c ---[   0]---> Sorter-cost:    0     Base:
42.23	c ==================================[MINISAT+]==================================
42.23	c | Conflicts | Original         | Learnt                           | Progress |
42.23	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
42.23	c ==============================================================================
42.23	c |     44649 |  121598   249931 |   40532   34330  1361086    39.6 | 81.387 % |
42.29	c |     44750 |  121598   249931 |   44585   34431  1363689    39.6 | 81.415 % |
42.43	c |     44901 |  121496   249687 |   49043   34550  1367121    39.6 | 81.537 % |
42.90	c |     45126 |  121026   248536 |   53948   34437  1367468    39.7 | 82.124 % |
43.13	c |     45463 |  121001   248473 |   59342   34739  1383805    39.8 | 82.157 % |
43.44	c |     45970 |  120940   248317 |   65277   35124  1405818    40.0 | 82.236 % |
43.86	c |     46730 |  120930   248293 |   71804   35808  1432323    40.0 | 82.248 % |
44.12	c ==============================================================================
44.12	c Found solution: -47
44.12	o -47
44.14	c ---[   0]---> Sorter-cost:    0     Base:
44.26	c ==================================[MINISAT+]==================================
44.26	c | Conflicts | Original         | Learnt                           | Progress |
44.26	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
44.26	c ==============================================================================
44.26	c |     47417 |  120940   248346 |   40313   36448  1451377    39.8 | 82.248 % |
44.34	c |     47517 |  120934   248332 |   44344   36543  1455647    39.8 | 82.292 % |
44.45	c |     47667 |  120876   248204 |   48778   36594  1456457    39.8 | 82.353 % |
44.59	c |     47894 |  120869   248187 |   53656   36738  1463986    39.8 | 82.362 % |
44.69	c |     48231 |  120869   248187 |   59022   37075  1473745    39.8 | 82.362 % |
45.10	c |     48738 |  120659   247667 |   64924   37412  1495976    40.0 | 82.628 % |
45.68	c |     49497 |  120597   247517 |   71416   37982  1561617    41.1 | 82.703 % |
46.42	c |     50636 |  120480   247240 |   78558   38839  1642896    42.3 | 82.842 % |
47.43	c |     52344 |  120473   247225 |   86414   40501  1739485    42.9 | 82.849 % |
49.10	c |     54906 |  120255   246700 |   95055   42829  1975102    46.1 | 83.118 % |
50.54	c ==============================================================================
50.54	c Found solution: -48
50.54	o -48
50.56	c ---[   0]---> Sorter-cost:    0     Base:
50.69	c ==================================[MINISAT+]==================================
50.69	c | Conflicts | Original         | Learnt                           | Progress |
50.69	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
50.69	c ==============================================================================
50.69	c |     57045 |  120216   246582 |   40072   44648  2278364    51.0 | 83.118 % |
50.76	c |     57145 |  120216   246582 |   44079   44748  2281325    51.0 | 83.168 % |
50.87	c |     57297 |  120216   246582 |   48487   44900  2288955    51.0 | 83.168 % |
51.07	c |     57523 |  120130   246364 |   53335   44971  2304412    51.2 | 83.280 % |
51.34	c |     57860 |  120109   246315 |   58669   45276  2317982    51.2 | 83.304 % |
51.71	c |     58367 |  120058   246202 |   64536   45762  2356290    51.5 | 83.358 % |
52.20	c |     59126 |  120058   246202 |   70989   46521  2419971    52.0 | 83.358 % |
52.93	c |     60265 |  120058   246202 |   78088   47660  2507609    52.6 | 83.358 % |
54.09	c |     61973 |  120001   246053 |   85897   49258  2633802    53.5 | 83.437 % |
55.97	c |     64535 |  119961   245951 |   94487   51758  2848264    55.0 | 83.491 % |
58.78	c |     68379 |  119845   245672 |  103936   55463  3195026    57.6 | 83.630 % |
63.82	c |     74146 |  119845   245672 |  114330   61230  4034130    65.9 | 83.630 % |
70.49	c |     82795 |  119662   245221 |  125763   69629  4758092    68.3 | 83.864 % |
85.51	c |     95770 |  119456   244722 |  138339   82302  6937965    84.3 | 84.119 % |
111.70	c |    115231 |  119197   244098 |  152173  101081  9562562    94.6 | 84.432 % |
131.42	c ==============================================================================
131.42	c Found solution: -49
131.42	o -49
131.44	c ---[   0]---> Sorter-cost:    0     Base:
131.70	c ==================================[MINISAT+]==================================
131.70	c | Conflicts | Original         | Learnt                           | Progress |
131.70	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
131.70	c ==============================================================================
131.70	c |    128578 |  119061   243777 |   39687  114237 11744294   102.8 | 84.432 % |
132.06	c |    128679 |  119050   243750 |   43655   23872  2191084    91.8 | 84.625 % |
132.15	c |    128830 |  119050   243750 |   48021   24023  2198095    91.5 | 84.625 % |
132.29	c |    129057 |  119041   243727 |   52823   24247  2206430    91.0 | 84.638 % |
132.50	c |    129395 |  119041   243727 |   58105   24585  2234797    90.9 | 84.638 % |
132.80	c |    129901 |  119041   243727 |   63916   25091  2270090    90.5 | 84.638 % |
133.21	c |    130660 |  119041   243727 |   70307   25850  2324765    89.9 | 84.638 % |
133.76	c |    131800 |  119036   243714 |   77338   26967  2390314    88.6 | 84.645 % |
134.75	c |    133508 |  119024   243684 |   85072   28662  2521904    88.0 | 84.660 % |
136.50	c |    136070 |  118994   243606 |   93579   31211  2742209    87.9 | 84.702 % |
139.40	c |    139914 |  118994   243606 |  102937   35055  3395400    96.9 | 84.702 % |
143.63	c |    145680 |  118852   243246 |  113231   40787  4097071   100.5 | 84.885 % |
151.36	c |    154329 |  118811   243143 |  124554   49099  5460303   111.2 | 84.938 % |
165.47	c |    167303 |  118690   242854 |  137010   61891  7674838   124.0 | 85.081 % |
195.53	c |    186764 |  118443   242262 |  150711   81251 12728039   156.7 | 85.381 % |
244.10	c |    215956 |  118381   242110 |  165782  110427 18354731   166.2 | 85.459 % |
328.74	c |    259746 |  118130   241494 |  182360  153926 26304046   170.9 | 85.777 % |
495.61	c |    325430 |  118019   241235 |  200596  219362 38609848   176.0 | 85.901 % |
619.73	c ==============================================================================
619.73	c Found solution: -50
619.73	o -50
619.75	c ---[   0]---> Sorter-cost:    0     Base:
619.94	c ==================================[MINISAT+]==================================
619.94	c | Conflicts | Original         | Learnt                           | Progress |
619.94	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
619.94	c ==============================================================================
619.94	c |    387457 |  117867   240817 |   39289   56249  7774356   138.2 | 85.901 % |
620.05	c |    387558 |  117867   240817 |   43217   56350  7783274   138.1 | 86.083 % |
620.20	c |    387708 |  117867   240817 |   47539   56500  7800113   138.1 | 86.083 % |
620.55	c |    387933 |  117862   240806 |   52293   56715  7824516   138.0 | 86.088 % |
621.02	c |    388270 |  117826   240720 |   57523   57044  7866924   137.9 | 86.132 % |
621.58	c |    388777 |  117826   240720 |   63275   57551  7918780   137.6 | 86.132 % |
622.66	c |    389536 |  117760   240568 |   69602   58301  8009482   137.4 | 86.207 % |
623.84	c |    390675 |  117760   240568 |   76563   59440  8140428   137.0 | 86.207 % |
625.72	c |    392383 |  117756   240558 |   84219   61115  8331280   136.3 | 86.212 % |
629.16	c |    394949 |  117649   240289 |   92641   63435  8648634   136.3 | 86.352 % |
633.56	c |    398793 |  117646   240282 |  101905   67274  9144509   135.9 | 86.355 % |
640.69	c |    404559 |  117644   240278 |  112096   73039  9951320   136.2 | 86.357 % |
652.19	c |    413209 |  117632   240248 |  123305   81686 11195605   137.1 | 86.373 % |
672.64	c |    426184 |  117545   240039 |  135636   94651 13567582   143.3 | 86.479 % |
709.27	c |    445646 |  117524   239988 |  149199  114108 17643593   154.6 | 86.505 % |
768.29	c |    474839 |  117524   239988 |  164119  143301 22653778   158.1 | 86.505 % |
868.62	c |    518628 |  117508   239950 |  180531  187084 29347547   156.9 | 86.525 % |
1015.77	c |    584312 |  117422   239744 |  198585   46169  4287037    92.9 | 86.629 % |
1166.96	c |    682838 |  117357   239577 |  218443  144678 19914253   137.6 | 86.716 % |
1201.59	c ==============================================================================
1201.59	c Found solution: -51
1201.59	o -51
1201.61	c ---[   0]---> Sorter-cost:    0     Base:
1201.98	c ==================================[MINISAT+]==================================
1201.98	c | Conflicts | Original         | Learnt                           | Progress |
1201.98	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1201.98	c ==============================================================================
1201.98	c |    698303 |  117384   239655 |   39128  160143 22307824   139.3 | 86.716 % |
1202.80	c |    698404 |  117384   239655 |   43040   23335  2039721    87.4 | 86.713 % |
1202.93	c |    698554 |  117369   239618 |   47344   23477  2047228    87.2 | 86.732 % |
1202.98	c |    698779 |  117369   239618 |   52079   23702  2052476    86.6 | 86.732 % |
1203.15	c |    699116 |  117369   239618 |   57287   24039  2077061    86.4 | 86.732 % |
1203.41	c |    699623 |  117363   239604 |   63016   24543  2103108    85.7 | 86.739 % |
1203.86	c |    700382 |  117355   239584 |   69317   25299  2190760    86.6 | 86.750 % |
1204.39	c |    701521 |  117355   239584 |   76249   26438  2279806    86.2 | 86.750 % |
1205.49	c |    703229 |  117246   239320 |   83874   28131  2418271    86.0 | 86.882 % |
1206.82	c |    705791 |  117246   239320 |   92261   30693  2590338    84.4 | 86.882 % |
1209.31	c |    709637 |  117246   239320 |  101487   34539  3027528    87.7 | 86.882 % |
1213.51	c |    715403 |  117246   239320 |  111636   40305  3793092    94.1 | 86.882 % |
1221.20	c |    724054 |  117246   239320 |  122800   48956  5035819   102.9 | 86.882 % |
1236.55	c |    737028 |  117246   239320 |  135080   61930  7742645   125.0 | 86.882 % |
1261.70	c |    756490 |  117243   239313 |  148588   81390 10586969   130.1 | 86.886 % |
1302.58	c |    785682 |  117204   239214 |  163447  110464 14406412   130.4 | 86.938 % |
1389.78	c |    829471 |  117195   239193 |  179792  154244 20801013   134.9 | 86.948 % |
1556.09	c |    895155 |  117136   239050 |  197771  219901 29227397   132.9 | 87.021 % |
1728.52	c ==============================================================================
1728.52	c Found solution: -52
1728.52	o -52
1728.54	c ---[   0]---> Sorter-cost:    0     Base:
1728.74	c ==================================[MINISAT+]==================================
1728.74	c | Conflicts | Original         | Learnt                           | Progress |
1728.74	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1728.74	c ==============================================================================
1728.74	c |    986423 |  117121   239000 |   39040   88917  7872636    88.5 | 87.021 % |
1728.97	c |    986524 |  117121   239000 |   42944   89018  7881247    88.5 | 87.043 % |
1729.25	c |    986674 |  117121   239000 |   47238   89168  7896692    88.6 | 87.043 % |
1729.69	c |    986899 |  117089   238922 |   51962   89379  7921066    88.6 | 87.083 % |
1730.14	c |    987237 |  117089   238922 |   57158   89717  7956349    88.7 | 87.083 % |
1730.80	c |    987743 |  117089   238922 |   62874   90223  8021330    88.9 | 87.083 % |
1731.86	c |    988502 |  117089   238922 |   69161   90982  8089394    88.9 | 87.083 % |
1733.29	c |    989641 |  117089   238922 |   76077   92121  8209986    89.1 | 87.083 % |
1735.45	c |    991350 |  117089   238922 |   83685   93830  8420046    89.7 | 87.083 % |
1738.84	c |    993912 |  117089   238922 |   92054   96392  8702763    90.3 | 87.083 % |
1744.11	c |    997757 |  117089   238922 |  101259  100237  9206785    91.9 | 87.083 % |
1752.08	c |   1003523 |  117087   238918 |  111385  105999  9943048    93.8 | 87.084 % |
1764.96	c |   1012174 |  117087   238918 |  122524  114650 10935172    95.4 | 87.084 % |
1786.13	c |   1025149 |  117011   238736 |  134776  127613 12443243    97.5 | 87.177 % |
1801.22	c 
1801.22	c *** TERMINATED ***
1801.22	s SATISFIABLE
1801.22	v -x1400 -x1399 -x1398 -x1397 -x1396 x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384
1801.22	v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367
1801.22	v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350
1801.22	v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 x1334 -x1333
1801.22	v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316
1801.22	v -x1315 -x1314 -x1313 -x1312 x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299
1801.22	v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282
1801.22	v -x1281 x1280 -x1279 -x1278 -x1277 -x1276 x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264
1801.22	v -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247
1801.22	v -x1246 -x1245 x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230
1801.22	v -x1229 -x1228 -x1227 -x1226 x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213
1801.22	v -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196
1801.22	v -x1195 -x1194 -x1193 x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179
1801.22	v -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 x1166 -x1165 -x1164 -x1163 -x1162
1801.22	v -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145
1801.22	v -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128
1801.22	v -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111
1801.22	v -x1110 -x1109 -x1108 x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094
1801.22	v -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077
1801.22	v x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 x1060 -x1059
1801.22	v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042
1801.22	v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 x1030 -x1029 -x1028 -x1027 -x1026 -x1025
1801.22	v -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008
1801.22	v -x1007 -x1006 -x1005 -x1004 x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989
1801.22	v -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968
1801.22	v -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947
1801.22	v -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926
1801.22	v -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905
1801.22	v -x904 x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884
1801.22	v -x883 -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863
1801.22	v -x862 -x861 -x860 x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842
1801.22	v x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 x823 -x822 -x821
1801.22	v -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800
1801.22	v -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779
1801.22	v -x778 -x777 x776 -x775 -x774 x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758
1801.22	v -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737
1801.22	v -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716
1801.22	v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695
1801.22	v -x694 -x693 -x692 -x691 -x690 x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674
1801.22	v -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653
1801.22	v -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632
1801.22	v -x631 -x630 -x629 -x628 -x627 -x626 x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611
1801.22	v -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590
1801.22	v -x589 -x588 -x587 -x586 -x585 x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569
1801.22	v -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 x553 -x552 -x551 -x550 -x549 -x548
1801.22	v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 -x528 -x527
1801.22	v -x526 -x525 x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506
1801.22	v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485
1801.22	v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464
1801.22	v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443
1801.22	v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422
1801.22	v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401
1801.22	v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 -x380
1801.22	v -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359
1801.22	v -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338
1801.22	v -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 x318 -x317
1801.22	v -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296
1801.22	v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275
1801.22	v -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254
1801.22	v -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233
1801.22	v -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212
1801.22	v -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191
1801.22	v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170
1801.22	v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149
1801.22	v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128
1801.22	v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107
1801.22	v -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83
1801.22	v -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57
1801.22	v -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31
1801.22	v -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3
1801.22	v -x2 -x1

Verifier Data (download as text)

OK	-52

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.96 2/64 23759
/proc/meminfo: memFree=1573168/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=1048 CPUtime=0
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 99 0 0 0 0 0 0 0 19 0 1 0 195144438 1073152 84 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 262 85 67 215 0 44 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.98 0.96 2/64 23759
/proc/meminfo: memFree=1536576/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=38356 CPUtime=9.97
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 9457 0 0 0 984 13 0 0 25 0 1 0 195144438 39276544 9233 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 9589 9233 110 215 0 9371 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 38356

[startup+20.0084 s]
/proc/loadavg: 0.94 0.98 0.96 2/64 23759
/proc/meminfo: memFree=1536768/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=38356 CPUtime=19.97
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 9457 0 0 0 1984 13 0 0 25 0 1 0 195144438 39276544 9233 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569712 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 9589 9233 110 215 0 9371 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 38356

[startup+30.0142 s]
/proc/loadavg: 0.95 0.98 0.96 2/64 23759
/proc/meminfo: memFree=1536448/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=38824 CPUtime=29.98
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 9539 0 0 0 2985 13 0 0 25 0 1 0 195144438 39755776 9305 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 9706 9305 110 215 0 9488 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 38824

[startup+40.0201 s]
/proc/loadavg: 0.96 0.98 0.96 2/64 23759
/proc/meminfo: memFree=1536384/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=38932 CPUtime=39.99
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 9566 0 0 0 3985 14 0 0 25 0 1 0 195144438 39866368 9332 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 9733 9332 110 215 0 9515 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 38932

[startup+50.026 s]
/proc/loadavg: 0.96 0.98 0.96 2/64 23759
/proc/meminfo: memFree=1535360/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=40040 CPUtime=49.99
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 9823 0 0 0 4985 14 0 0 25 0 1 0 195144438 41000960 9589 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 10010 9589 110 215 0 9792 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 40040

[startup+60.0319 s]
/proc/loadavg: 0.97 0.98 0.96 2/64 23759
/proc/meminfo: memFree=1530368/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=45032 CPUtime=59.98
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 11115 0 0 0 5983 15 0 0 25 0 1 0 195144438 46112768 10849 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 11258 10849 110 215 0 11040 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 45032

[startup+70.0387 s]
/proc/loadavg: 0.97 0.98 0.96 2/64 23759
/proc/meminfo: memFree=1524480/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=51052 CPUtime=69.99
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 12580 0 0 0 6982 17 0 0 25 0 1 0 195144438 52277248 12314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 12763 12314 110 215 0 12545 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 51052

[startup+80.0456 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 23759
/proc/meminfo: memFree=1518784/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=56704 CPUtime=80
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 14010 0 0 0 7981 19 0 0 25 0 1 0 195144438 58064896 13744 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 14176 13744 110 215 0 13958 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 56704

[startup+90.0525 s]
/proc/loadavg: 1.06 1.00 0.96 2/64 23761
/proc/meminfo: memFree=1513024/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=62340 CPUtime=90
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 15436 0 0 0 8980 20 0 0 25 0 1 0 195144438 63836160 15170 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 15585 15170 110 215 0 15367 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 62340

[startup+100.059 s]
/proc/loadavg: 1.05 1.00 0.96 2/64 23761
/proc/meminfo: memFree=1508736/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=66844 CPUtime=100
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 16515 0 0 0 9979 21 0 0 25 0 1 0 195144438 68448256 16249 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 16711 16249 110 215 0 16493 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 66844

[startup+110.066 s]
/proc/loadavg: 1.04 1.00 0.96 2/64 23761
/proc/meminfo: memFree=1504640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=70900 CPUtime=110.01
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 17534 0 0 0 10978 23 0 0 25 0 1 0 195144438 72601600 17268 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 17725 17268 110 215 0 17507 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 70900

[startup+120.073 s]
/proc/loadavg: 1.04 1.00 0.96 2/64 23761
/proc/meminfo: memFree=1500608/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=74832 CPUtime=120.01
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 18542 0 0 0 11977 24 0 0 25 0 1 0 195144438 76627968 18276 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 18708 18276 110 215 0 18490 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 74832

[startup+130.079 s]
/proc/loadavg: 1.03 1.00 0.96 2/64 23761
/proc/meminfo: memFree=1495552/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=79964 CPUtime=130.01
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 19804 0 0 0 12976 25 0 0 25 0 1 0 195144438 81883136 19538 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574422 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 19991 19538 110 215 0 19773 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 79964

[startup+140.085 s]
/proc/loadavg: 1.02 1.00 0.96 2/64 23761
/proc/meminfo: memFree=1494592/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=80636 CPUtime=140.01
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 20036 0 0 0 13976 25 0 0 25 0 1 0 195144438 82571264 19739 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 20159 19739 110 215 0 19941 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 80636

[startup+150.092 s]
/proc/loadavg: 1.02 1.00 0.96 2/64 23761
/proc/meminfo: memFree=1494592/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=80636 CPUtime=150.01
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 20036 0 0 0 14976 25 0 0 25 0 1 0 195144438 82571264 19739 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576199 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 20159 19739 110 215 0 19941 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 80636

[startup+160.098 s]
/proc/loadavg: 1.02 1.00 0.96 2/64 23761
/proc/meminfo: memFree=1494656/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=80636 CPUtime=160.01
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 20036 0 0 0 15976 25 0 0 25 0 1 0 195144438 82571264 19739 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 20159 19739 110 215 0 19941 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 80636

[startup+170.103 s]
/proc/loadavg: 1.01 1.00 0.96 2/64 23761
/proc/meminfo: memFree=1494656/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=80636 CPUtime=170.01
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 20036 0 0 0 16976 25 0 0 25 0 1 0 195144438 82571264 19739 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 20159 19739 110 215 0 19941 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 80636

[startup+180.109 s]
/proc/loadavg: 1.01 1.00 0.96 2/64 23761
/proc/meminfo: memFree=1494656/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=80636 CPUtime=180.02
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 20036 0 0 0 17977 25 0 0 25 0 1 0 195144438 82571264 19739 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 20159 19739 110 215 0 19941 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 80636

[startup+190.115 s]
/proc/loadavg: 1.01 1.00 0.96 2/64 23761
/proc/meminfo: memFree=1494656/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=80636 CPUtime=190.02
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 20036 0 0 0 18977 25 0 0 25 0 1 0 195144438 82571264 19739 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 20159 19739 110 215 0 19941 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 80636

[startup+200.121 s]
/proc/loadavg: 1.01 1.00 0.96 2/64 23761
/proc/meminfo: memFree=1489216/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=86280 CPUtime=200.02
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 21426 0 0 0 19975 27 0 0 25 0 1 0 195144438 88350720 21129 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 21570 21129 110 215 0 21352 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 86280

[startup+210.127 s]
/proc/loadavg: 1.01 1.00 0.96 2/64 23761
/proc/meminfo: memFree=1484608/2055920 swapFree=4181736/4192956

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

[pid=23759] ppid=23757 vsize=214072 CPUtime=1781.41
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 178070 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (Kb) 214072

[startup+1783.13 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 23956
/proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=214072 CPUtime=1782.42
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 178171 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (Kb) 214072

[startup+1784.14 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 23956
/proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=214072 CPUtime=1783.42
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 178271 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1783.42
Current children cumulated vsize (Kb) 214072

[startup+1785.14 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 23956
/proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=214072 CPUtime=1784.43
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 178372 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1784.43
Current children cumulated vsize (Kb) 214072

[startup+1786.15 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 23956
/proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=214072 CPUtime=1785.43
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 178472 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580913 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1785.43
Current children cumulated vsize (Kb) 214072

[startup+1787.15 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 23956
/proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=214072 CPUtime=1786.44
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 178573 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1786.44
Current children cumulated vsize (Kb) 214072

[startup+1788.16 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 23956
/proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=214072 CPUtime=1787.44
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 178673 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1787.44
Current children cumulated vsize (Kb) 214072

[startup+1789.16 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 23956
/proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=214072 CPUtime=1788.45
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 178774 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580396 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1788.45
Current children cumulated vsize (Kb) 214072

[startup+1790.17 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 23956
/proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=214072 CPUtime=1789.45
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 178874 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1789.45
Current children cumulated vsize (Kb) 214072

[startup+1791.17 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 23956
/proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=214072 CPUtime=1790.45
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 178974 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1790.45
Current children cumulated vsize (Kb) 214072

[startup+1792.18 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 23956
/proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=214072 CPUtime=1791.46
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179075 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (Kb) 214072

[startup+1793.18 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 23956
/proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=214072 CPUtime=1792.46
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179175 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1792.46
Current children cumulated vsize (Kb) 214072

[startup+1794.19 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 23956
/proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=214072 CPUtime=1793.47
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179276 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580896 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1793.47
Current children cumulated vsize (Kb) 214072

[startup+1795.19 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 23956
/proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=214072 CPUtime=1794.47
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179376 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (Kb) 214072

[startup+1796.2 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 23956
/proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=214072 CPUtime=1795.48
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179477 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1795.48
Current children cumulated vsize (Kb) 214072

[startup+1797.2 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 23956
/proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=214072 CPUtime=1796.48
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179577 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1796.48
Current children cumulated vsize (Kb) 214072

[startup+1798.2 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 23956
/proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=214072 CPUtime=1797.48
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179677 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1797.48
Current children cumulated vsize (Kb) 214072

[startup+1799.21 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 23956
/proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=214072 CPUtime=1798.49
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179778 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1798.49
Current children cumulated vsize (Kb) 214072

[startup+1800.21 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 23956
/proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=214072 CPUtime=1799.49
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179878 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (Kb) 214072

[startup+1801.22 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 23956
/proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=214072 CPUtime=1800.5
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179979 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (Kb) 214072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.22 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 23956
/proc/meminfo: memFree=1360640/2055920 swapFree=4181736/4192956
[pid=23759] ppid=23757 vsize=214072 CPUtime=1800.5
/proc/23759/stat : 23759 (minisat+) R 23757 23759 23713 0 -1 4194304 53357 0 0 0 179979 71 0 0 25 0 1 0 195144438 219209728 53060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23759/statm: 53518 53060 110 215 0 53300 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (Kb) 214072

Sending SIGTERM to -23759
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.26
CPU time (s): 1800.55
CPU user time (s): 1799.8
CPU system time (s): 0.754885
CPU usage (%): 99.9605
Max. virtual memory (cumulated for all children) (Kb): 214072

Launcher Data (download as text)

Begin job on node67 on Sat Jun  3 00:32:30 UTC 2006


FILE ID= 35616-1149294750

PBS_JOBID= 307054

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

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  62a6bdf0e089cd0b8a79007277394096

RANDOM SEED= 662568990


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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
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:       1573376 kB
Buffers:         29824 kB
Cached:         380096 kB
SwapCached:       2840 kB
Active:          52192 kB
Inactive:       366364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1573376 kB
SwapTotal:     4192956 kB
SwapFree:      4181736 kB
Dirty:             220 kB
Writeback:           0 kB
Mapped:          14724 kB
Slab:            49888 kB
Committed_AS:   285120 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node67 on Sat Jun  3 01:02:32 UTC 2006