Trace number 35623

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)-50 1800.61 1801.16

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
MD5SUM1925793f412227c60146f261684ef7c1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-51
Best CPU time to get the best result obtained on this benchmark1800.64
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94127
Number of constraints which are clauses94127
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1272
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00	c Parsing PB file...
2.38	c Converting 94127 PB-constraints to clauses...
2.39	c   -- Unit propagations: (none)
2.39	c   -- Detecting intervals from adjacent constraints: (none)
2.40	c   -- Clauses(.)/Splits(s): ...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
2.59	c ==================================[MINISAT+]==================================
2.59	c | Conflicts | Original         | Learnt                           | Progress |
2.59	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.59	c ==============================================================================
2.59	c |         0 |   94127   188254 |   31375       0        0     nan |  0.000 % |
2.59	c ==============================================================================
2.59	c Found solution: -37
2.59	o -37
2.61	c ---[   0]---> Sorter-cost:70300     Base:
2.76	c ==================================[MINISAT+]==================================
2.76	c | Conflicts | Original         | Learnt                           | Progress |
2.76	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.76	c ==============================================================================
2.76	c |         0 |  169206   364382 |   56402       0        0     nan |  0.000 % |
3.00	c |       100 |  168601   363114 |   62042      60      642    10.7 |  0.650 % |
3.25	c |       250 |  168197   362272 |   68246     188     1787     9.5 |  1.078 % |
3.72	c |       475 |  166779   359205 |   75071     353     5149    14.6 |  2.687 % |
4.30	c |       812 |  164849   355011 |   82578     614     8125    13.2 |  4.901 % |
5.24	c |      1318 |  161915   348511 |   90835    1007    11889    11.8 |  8.388 % |
6.55	c |      2078 |  157298   338163 |   99919    1514    19611    13.0 | 13.974 % |
8.48	c |      3217 |  150383   322519 |  109911    2361    27149    11.5 | 22.504 % |
10.93	c |      4925 |  142177   303723 |  120902    3455    43440    12.6 | 32.802 % |
12.67	c ==============================================================================
12.67	c Found solution: -39
12.67	o -39
12.69	c ---[   0]---> Sorter-cost:    0     Base:
12.76	c ==================================[MINISAT+]==================================
12.76	c | Conflicts | Original         | Learnt                           | Progress |
12.76	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
12.76	c ==============================================================================
12.76	c |      6002 |  136029   289832 |   45343    4064    51113    12.6 | 32.802 % |
12.93	c |      6102 |  135501   288616 |   49877    4094    51418    12.6 | 41.228 % |
13.08	c |      6252 |  134830   287062 |   54865    4169    52253    12.5 | 42.056 % |
13.35	c |      6477 |  133556   284073 |   60351    4284    53504    12.5 | 43.681 % |
13.90	c |      6815 |  131508   279252 |   66386    4352    53518    12.3 | 46.324 % |
14.51	c |      7321 |  129404   274330 |   73025    4686    58304    12.4 | 49.004 % |
15.72	c |      8080 |  124550   262767 |   80327    5020    62499    12.4 | 55.415 % |
17.02	c |      9219 |  120847   253969 |   88360    5639    70773    12.6 | 60.316 % |
18.32	c |     10927 |  116439   243527 |   97196    6740    85038    12.6 | 66.140 % |
19.90	c |     13489 |  111872   232610 |  106916    8109   102853    12.7 | 72.176 % |
21.06	c ==============================================================================
21.06	c Found solution: -41
21.06	o -41
21.08	c ---[   0]---> Sorter-cost:    0     Base:
21.16	c ==================================[MINISAT+]==================================
21.16	c | Conflicts | Original         | Learnt                           | Progress |
21.16	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
21.16	c ==============================================================================
21.16	c |     15449 |  108663   224875 |   36221    9239   125727    13.6 | 72.176 % |
21.21	c |     15549 |  108599   224717 |   39843    9321   126476    13.6 | 76.650 % |
21.30	c |     15699 |  108565   224641 |   43827    9450   128114    13.6 | 76.691 % |
21.49	c |     15924 |  107849   222933 |   48210    9505   128963    13.6 | 77.658 % |
21.74	c |     16261 |  107296   221602 |   53031    9592   132052    13.8 | 78.413 % |
21.92	c |     16767 |  107016   220928 |   58334   10007   142853    14.3 | 78.791 % |
22.22	c |     17527 |  106385   219426 |   64167   10577   155481    14.7 | 79.638 % |
22.77	c |     18668 |  105298   216803 |   70584   11375   176705    15.5 | 81.105 % |
23.45	c |     20376 |  104074   213784 |   77642   12323   199977    16.2 | 82.788 % |
24.22	c |     22938 |  103716   212925 |   85407   14593   321534    22.0 | 83.276 % |
25.02	c ==============================================================================
25.02	c Found solution: -42
25.02	o -42
25.04	c ---[   0]---> Sorter-cost:    0     Base:
25.12	c ==================================[MINISAT+]==================================
25.12	c | Conflicts | Original         | Learnt                           | Progress |
25.12	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
25.12	c ==============================================================================
25.12	c |     24986 |  102854   210754 |   34284   15664   393625    25.1 | 83.276 % |
25.21	c |     25086 |  102732   210450 |   37712   15436   390882    25.3 | 84.654 % |
25.28	c |     25236 |  102684   210340 |   41483   15542   394868    25.4 | 84.714 % |
25.35	c |     25461 |  102641   210233 |   45632   15714   406285    25.9 | 84.776 % |
25.46	c |     25798 |  102629   210201 |   50195   16042   422226    26.3 | 84.796 % |
25.64	c |     26304 |  102576   210078 |   55214   16509   466638    28.3 | 84.864 % |
25.86	c |     27063 |  102576   210078 |   60736   17268   503954    29.2 | 84.864 % |
26.21	c |     28202 |  102576   210078 |   66809   18407   593877    32.3 | 84.864 % |
26.74	c |     29911 |  102443   209761 |   73490   20018   684978    34.2 | 85.044 % |
27.50	c ==============================================================================
27.50	c Found solution: -43
27.50	o -43
27.52	c ---[   0]---> Sorter-cost:    0     Base:
27.61	c ==================================[MINISAT+]==================================
27.61	c | Conflicts | Original         | Learnt                           | Progress |
27.61	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
27.61	c ==============================================================================
27.61	c |     31856 |  102356   209564 |   34118   21852   815129    37.3 | 85.044 % |
27.69	c |     31956 |  102268   209345 |   37529   21860   814537    37.3 | 85.339 % |
27.76	c |     32106 |  102228   209247 |   41282   21838   815492    37.3 | 85.394 % |
27.86	c |     32333 |  102223   209236 |   45411   22016   831326    37.8 | 85.400 % |
27.99	c |     32671 |  102209   209200 |   49952   22306   856533    38.4 | 85.421 % |
28.16	c |     33177 |  102197   209172 |   54947   22741   873272    38.4 | 85.437 % |
28.53	c |     33937 |  102094   208924 |   60442   23330   930681    39.9 | 85.575 % |
28.97	c |     35077 |  102019   208744 |   66486   24242   985516    40.7 | 85.676 % |
29.16	c ==============================================================================
29.16	c Found solution: -44
29.16	o -44
29.18	c ---[   0]---> Sorter-cost:    0     Base:
29.27	c ==================================[MINISAT+]==================================
29.27	c | Conflicts | Original         | Learnt                           | Progress |
29.27	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
29.27	c ==============================================================================
29.27	c |     35607 |  102009   208691 |   34003   24540   995539    40.6 | 85.676 % |
29.35	c |     35708 |  101928   208492 |   37403   24624   997833    40.5 | 85.803 % |
29.41	c |     35858 |  101928   208492 |   41143   24774  1006585    40.6 | 85.803 % |
29.48	c |     36083 |  101928   208492 |   45257   24999  1014501    40.6 | 85.803 % |
29.70	c |     36420 |  101784   208131 |   49783   24930  1033808    41.5 | 86.003 % |
29.86	c |     36928 |  101784   208131 |   54762   25438  1056708    41.5 | 86.003 % |
30.20	c |     37689 |  101770   208097 |   60238   26110  1110764    42.5 | 86.023 % |
30.67	c |     38828 |  101692   207908 |   66262   27180  1189071    43.7 | 86.128 % |
31.52	c |     40536 |  101664   207836 |   72888   28873  1410165    48.8 | 86.171 % |
31.63	c ==============================================================================
31.63	c Found solution: -45
31.63	o -45
31.65	c ---[   0]---> Sorter-cost:    0     Base:
31.75	c ==================================[MINISAT+]==================================
31.75	c | Conflicts | Original         | Learnt                           | Progress |
31.75	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
31.75	c ==============================================================================
31.75	c |     40771 |  101685   207899 |   33895   29108  1431870    49.2 | 86.171 % |
31.84	c |     40871 |  101599   207692 |   37284   29151  1433947    49.2 | 86.268 % |
31.93	c |     41022 |  101583   207656 |   41012   29204  1437736    49.2 | 86.288 % |
32.04	c |     41247 |  101583   207656 |   45114   29429  1451214    49.3 | 86.288 % |
32.20	c |     41585 |  101579   207646 |   49625   29759  1468341    49.3 | 86.294 % |
32.43	c |     42091 |  101579   207646 |   54588   30265  1514920    50.1 | 86.294 % |
32.77	c |     42850 |  101579   207646 |   60047   31024  1566731    50.5 | 86.294 % |
33.42	c |     43989 |  101522   207517 |   66051   32004  1690247    52.8 | 86.364 % |
34.31	c |     45697 |  101519   207510 |   72656   33657  1837966    54.6 | 86.368 % |
35.68	c |     48259 |  101514   207497 |   79922   36156  2069775    57.2 | 86.375 % |
38.21	c |     52103 |  101425   207284 |   87914   39754  2565923    64.5 | 86.496 % |
40.88	c ==============================================================================
40.88	c Found solution: -46
40.88	o -46
40.90	c ---[   0]---> Sorter-cost:    0     Base:
41.02	c ==================================[MINISAT+]==================================
41.02	c | Conflicts | Original         | Learnt                           | Progress |
41.02	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
41.02	c ==============================================================================
41.02	c |     56071 |  101328   207015 |   33776   42986  3027810    70.4 | 86.496 % |
41.16	c |     56171 |  101160   206601 |   37153   42581  3019786    70.9 | 86.866 % |
41.28	c |     56322 |  101122   206513 |   40868   42554  3024513    71.1 | 86.915 % |
41.42	c |     56547 |  101122   206513 |   44955   42779  3039749    71.1 | 86.915 % |
41.59	c |     56886 |  101122   206513 |   49451   43118  3064538    71.1 | 86.915 % |
41.91	c |     57392 |  101122   206513 |   54396   43624  3101898    71.1 | 86.915 % |
42.41	c |     58152 |  101122   206513 |   59836   44384  3194510    72.0 | 86.915 % |
43.22	c |     59291 |  101046   206333 |   65819   45208  3294689    72.9 | 87.014 % |
44.49	c |     60999 |  101046   206333 |   72401   46916  3533061    75.3 | 87.014 % |
46.43	c |     63561 |  101046   206333 |   79642   49478  3883031    78.5 | 87.014 % |
49.86	c |     67406 |  100914   205999 |   87606   53044  4385925    82.7 | 87.206 % |
54.88	c |     73172 |  100806   205737 |   96366   58558  5046095    86.2 | 87.354 % |
63.23	c |     81821 |  100711   205504 |  106003   67011  6093036    90.9 | 87.486 % |
78.38	c |     94795 |  100700   205477 |  116603   79939  7520194    94.1 | 87.502 % |
91.92	c ==============================================================================
91.92	c Found solution: -47
91.92	o -47
91.94	c ---[   0]---> Sorter-cost:    0     Base:
92.13	c ==================================[MINISAT+]==================================
92.13	c | Conflicts | Original         | Learnt                           | Progress |
92.13	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
92.13	c ==============================================================================
92.13	c |    105865 |  100598   205249 |   33532   90227  8874178    98.4 | 87.502 % |
92.40	c |    105965 |  100593   205238 |   36885   20901  1600986    76.6 | 87.670 % |
92.47	c |    106117 |  100593   205238 |   40573   21053  1614859    76.7 | 87.670 % |
92.57	c |    106344 |  100593   205238 |   44631   21280  1631167    76.7 | 87.670 % |
92.74	c |    106681 |  100593   205238 |   49094   21617  1672760    77.4 | 87.670 % |
93.00	c |    107187 |  100593   205238 |   54003   22123  1718568    77.7 | 87.670 % |
93.39	c |    107946 |  100593   205238 |   59403   22882  1790790    78.3 | 87.670 % |
93.89	c |    109085 |  100552   205131 |   65344   23996  1881654    78.4 | 87.734 % |
94.85	c |    110794 |  100507   205018 |   71878   25649  2041000    79.6 | 87.798 % |
96.30	c |    113356 |  100507   205018 |   79066   28211  2385755    84.6 | 87.798 % |
98.67	c |    117201 |  100363   204678 |   86973   31966  2747854    86.0 | 87.983 % |
102.55	c |    122969 |  100363   204678 |   95670   37734  3327649    88.2 | 87.983 % |
108.57	c |    131618 |  100361   204672 |  105237   46377  4057930    87.5 | 87.986 % |
119.46	c |    144592 |  100361   204672 |  115761   59351  5417520    91.3 | 87.986 % |
140.70	c |    164053 |  100361   204672 |  127337   78812  7374147    93.6 | 87.986 % |
157.37	c ==============================================================================
157.37	c Found solution: -48
157.37	o -48
157.39	c ---[   0]---> Sorter-cost:    0     Base:
157.58	c ==================================[MINISAT+]==================================
157.58	c | Conflicts | Original         | Learnt                           | Progress |
157.58	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
157.58	c ==============================================================================
157.58	c |    180700 |  100336   204592 |   33445   95355  9046564    94.9 | 87.986 % |
157.93	c |    180800 |  100336   204592 |   36789   20047  1291344    64.4 | 88.022 % |
158.00	c |    180953 |  100336   204592 |   40468   20200  1303202    64.5 | 88.022 % |
158.10	c |    181179 |  100336   204592 |   44515   20426  1316828    64.5 | 88.022 % |
158.22	c |    181517 |  100336   204592 |   48966   20764  1335170    64.3 | 88.022 % |
158.45	c |    182023 |  100336   204592 |   53863   21270  1379477    64.9 | 88.022 % |
158.83	c |    182782 |  100336   204592 |   59249   22029  1465852    66.5 | 88.022 % |
159.32	c |    183921 |  100336   204592 |   65174   23168  1572637    67.9 | 88.022 % |
160.03	c |    185630 |  100336   204592 |   71692   24877  1715016    68.9 | 88.022 % |
161.34	c |    188194 |  100315   204537 |   78861   27433  1979748    72.2 | 88.055 % |
163.46	c |    192038 |  100261   204411 |   86747   31274  2434565    77.8 | 88.125 % |
166.83	c |    197805 |  100261   204411 |   95422   37041  2947613    79.6 | 88.125 % |
172.82	c |    206454 |  100261   204411 |  104964   45690  3968544    86.9 | 88.125 % |
182.06	c |    219428 |  100230   204344 |  115461   58628  5032265    85.8 | 88.160 % |
200.19	c |    238890 |  100163   204183 |  127007   78084  6825521    87.4 | 88.251 % |
234.99	c |    268082 |  100162   204180 |  139708  107224 10345801    96.5 | 88.253 % |
298.80	c |    311871 |  100159   204173 |  153678  151012 13666617    90.5 | 88.257 % |
404.85	c |    377556 |  100151   204153 |  169046   39565  2684139    67.8 | 88.268 % |
487.87	c ==============================================================================
487.87	c Found solution: -49
487.87	o -49
487.89	c ---[   0]---> Sorter-cost:    0     Base:
488.09	c ==================================[MINISAT+]==================================
488.09	c | Conflicts | Original         | Learnt                           | Progress |
488.09	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
488.09	c ==============================================================================
488.09	c |    451626 |  100163   204183 |   33387  113634  8795220    77.4 | 88.268 % |
488.54	c |    451726 |  100163   204183 |   36725   21677   935218    43.1 | 88.261 % |
488.62	c |    451877 |  100122   204081 |   40398   21827   941156    43.1 | 88.317 % |
488.69	c |    452104 |  100122   204081 |   44438   22054   947989    43.0 | 88.317 % |
488.81	c |    452442 |  100122   204081 |   48881   22392   963561    43.0 | 88.317 % |
489.00	c |    452948 |  100122   204081 |   53770   22898   999134    43.6 | 88.317 % |
489.30	c |    453707 |  100093   204004 |   59147   23653  1049668    44.4 | 88.364 % |
489.72	c |    454846 |  100093   204004 |   65061   24792  1124123    45.3 | 88.364 % |
490.46	c |    456554 |  100093   204004 |   71567   26500  1270656    47.9 | 88.364 % |
491.65	c |    459116 |  100091   203998 |   78724   29058  1536580    52.9 | 88.368 % |
493.67	c |    462961 |  100091   203998 |   86597   32903  1961101    59.6 | 88.368 % |
496.69	c |    468727 |  100048   203892 |   95257   38632  2504225    64.8 | 88.430 % |
502.04	c |    477376 |  100048   203892 |  104782   47281  3283655    69.4 | 88.430 % |
512.07	c |    490351 |  100048   203892 |  115260   60256  4268571    70.8 | 88.430 % |
528.55	c |    509812 |  100048   203892 |  126787   79717  5933102    74.4 | 88.430 % |
563.22	c |    539005 |  100048   203892 |  139465  108910  7595380    69.7 | 88.430 % |
630.54	c |    582795 |  100019   203825 |  153412  152695 10143108    66.4 | 88.467 % |
726.82	c |    648479 |  100009   203801 |  168753   42650  1427834    33.5 | 88.480 % |
846.44	c |    747005 |  100000   203780 |  185628  141170  8787108    62.2 | 88.492 % |
1087.29	c |    894794 |   99977   203725 |  204191   82991  3617721    43.6 | 88.523 % |
1438.68	c |   1116479 |   99945   203647 |  224611   84742  7013638    82.8 | 88.567 % |
1488.58	c ==============================================================================
1488.58	c Found solution: -50
1488.58	o -50
1488.60	c ---[   0]---> Sorter-cost:    0     Base:
1488.82	c ==================================[MINISAT+]==================================
1488.82	c | Conflicts | Original         | Learnt                           | Progress |
1488.82	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1488.82	c ==============================================================================
1488.82	c |   1154249 |   99934   203597 |   33311  121910 10732491    88.0 | 88.567 % |
1489.40	c |   1154349 |   99934   203597 |   36642   24980  1381338    55.3 | 88.585 % |
1489.51	c |   1154499 |   99934   203597 |   40306   25130  1386889    55.2 | 88.585 % |
1489.58	c |   1154724 |   99934   203597 |   44336   25355  1393311    55.0 | 88.585 % |
1489.75	c |   1155061 |   99930   203587 |   48770   25687  1408148    54.8 | 88.591 % |
1489.94	c |   1155568 |   99930   203587 |   53647   26194  1433753    54.7 | 88.591 % |
1490.30	c |   1156328 |   99930   203587 |   59012   26954  1487409    55.2 | 88.591 % |
1490.82	c |   1157467 |   99930   203587 |   64913   28093  1562796    55.6 | 88.591 % |
1491.55	c |   1159175 |   99930   203587 |   71405   29801  1673244    56.1 | 88.591 % |
1492.86	c |   1161740 |   99930   203587 |   78545   32366  1840532    56.9 | 88.591 % |
1494.99	c |   1165585 |   99930   203587 |   86400   36211  2102133    58.1 | 88.591 % |
1498.45	c |   1171351 |   99930   203587 |   95040   41977  2608268    62.1 | 88.591 % |
1504.01	c |   1180000 |   99930   203587 |  104544   50626  3224764    63.7 | 88.591 % |
1514.81	c |   1192974 |   99930   203587 |  114998   63600  3926791    61.7 | 88.591 % |
1533.77	c |   1212435 |   99927   203580 |  126498   83059  4928461    59.3 | 88.595 % |
1568.84	c |   1241627 |   99927   203580 |  139148  112251  6408512    57.1 | 88.595 % |
1627.43	c |   1285416 |   99917   203556 |  153063  156031  8697144    55.7 | 88.609 % |
1720.36	c |   1351101 |   99915   203552 |  168369   51265  1912993    37.3 | 88.611 % |
1801.13	c 
1801.13	c *** TERMINATED ***
1801.13	s SATISFIABLE
1801.13	v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256
1801.13	v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 x1240 -x1239
1801.13	v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222
1801.13	v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 x1208 -x1207 -x1206 -x1205
1801.13	v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188
1801.13	v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171
1801.13	v -x1170 -x1169 x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154
1801.13	v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137
1801.13	v -x1136 -x1135 x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120
1801.13	v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103
1801.13	v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 x1089 -x1088 -x1087 -x1086
1801.13	v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069
1801.13	v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052
1801.13	v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035
1801.13	v -x1034 x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018
1801.13	v -x1017 x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 x1001 -x1000
1801.13	v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1801.13	v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1801.13	v -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1801.13	v -x936 -x935 -x934 x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1801.13	v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1801.13	v -x894 -x893 -x892 x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 x876 -x875 -x874
1801.13	v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1801.13	v -x852 -x851 -x850 -x849 -x848 -x847 -x846 x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1801.13	v x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1801.13	v -x810 x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 x791 -x790
1801.13	v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
1801.13	v -x768 -x767 -x766 -x765 -x764 -x763 -x762 x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748
1801.13	v -x747 -x746 -x745 -x744 -x743 -x742 -x741 x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727
1801.13	v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706
1801.13	v -x705 -x704 -x703 -x702 x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685
1801.13	v -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 x666 -x665 -x664
1801.13	v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1801.13	v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 -x624 -x623 -x622
1801.13	v x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601
1801.13	v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580
1801.13	v -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1801.13	v -x558 x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538
1801.13	v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517
1801.13	v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496
1801.13	v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 x476 -x475
1801.13	v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454
1801.13	v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433
1801.13	v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 -x412
1801.13	v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 -x391
1801.13	v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370
1801.13	v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349
1801.13	v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328
1801.13	v -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307
1801.13	v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 -x286
1801.13	v -x285 -x284 -x283 -x282 -x281 -x280 x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265
1801.13	v -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244
1801.13	v x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223
1801.13	v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202
1801.13	v -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181
1801.13	v -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160
1801.13	v -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
1801.13	v -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118
1801.13	v -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97
1801.13	v x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1801.13	v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45
1801.13	v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19
1801.13	v -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1

Verifier Data (download as text)

OK	-50

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.96 0.91 2/67 13436
/proc/meminfo: memFree=1563640/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=1048 CPUtime=0
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 97 0 0 0 0 0 0 0 18 0 1 0 194684692 1073152 83 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 262 84 67 215 0 44 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.96 0.91 2/67 13436
/proc/meminfo: memFree=1531840/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=34044 CPUtime=9.97
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 8288 0 0 0 986 11 0 0 25 0 1 0 194684692 34861056 8071 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 8511 8071 110 215 0 8293 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 34044

[startup+20.0088 s]
/proc/loadavg: 0.94 0.96 0.91 2/67 13436
/proc/meminfo: memFree=1531712/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=34468 CPUtime=19.98
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 8358 0 0 0 1987 11 0 0 25 0 1 0 194684692 35295232 8141 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 8617 8141 110 215 0 8399 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 34468

[startup+30.0139 s]
/proc/loadavg: 0.95 0.96 0.91 2/67 13436
/proc/meminfo: memFree=1531712/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=34468 CPUtime=29.98
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 8361 0 0 0 2987 11 0 0 25 0 1 0 194684692 35295232 8144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574219 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 8617 8144 110 215 0 8399 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 34468

[startup+40.0199 s]
/proc/loadavg: 0.96 0.96 0.91 2/67 13436
/proc/meminfo: memFree=1526784/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=39568 CPUtime=39.98
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 9599 0 0 0 3985 13 0 0 25 0 1 0 194684692 40517632 9382 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 9892 9382 110 215 0 9674 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 39568

[startup+50.026 s]
/proc/loadavg: 0.96 0.96 0.91 2/67 13436
/proc/meminfo: memFree=1520320/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=45988 CPUtime=49.99
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 11228 0 0 0 4984 15 0 0 25 0 1 0 194684692 47091712 11003 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 11497 11003 110 215 0 11279 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 45988

[startup+60.0321 s]
/proc/loadavg: 0.97 0.96 0.91 2/67 13436
/proc/meminfo: memFree=1514816/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=51616 CPUtime=59.99
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 12608 0 0 0 5983 16 0 0 25 0 1 0 194684692 52854784 12383 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 12904 12383 110 215 0 12686 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 51616

[startup+70.0382 s]
/proc/loadavg: 0.97 0.96 0.91 2/67 13436
/proc/meminfo: memFree=1510016/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=56312 CPUtime=69.99
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 13801 0 0 0 6982 17 0 0 25 0 1 0 194684692 57663488 13576 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 14078 13576 110 215 0 13860 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 56312

[startup+80.0433 s]
/proc/loadavg: 0.98 0.97 0.91 2/67 13436
/proc/meminfo: memFree=1506304/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=59956 CPUtime=79.99
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 14728 0 0 0 7981 18 0 0 25 0 1 0 194684692 61394944 14503 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580747 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 14989 14503 110 215 0 14771 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 59956

[startup+90.0484 s]
/proc/loadavg: 0.98 0.97 0.91 2/67 13436
/proc/meminfo: memFree=1502144/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=64136 CPUtime=89.99
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 15773 0 0 0 8981 18 0 0 25 0 1 0 194684692 65675264 15548 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576138 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 16034 15548 110 215 0 15816 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 64136

[startup+100.054 s]
/proc/loadavg: 0.98 0.97 0.91 2/67 13436
/proc/meminfo: memFree=1501184/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=64992 CPUtime=100
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16010 0 0 0 9981 19 0 0 25 0 1 0 194684692 66551808 15776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 16248 15776 110 215 0 16030 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 64992

[startup+110.061 s]
/proc/loadavg: 0.98 0.97 0.91 2/67 13436
/proc/meminfo: memFree=1501184/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=64992 CPUtime=110
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16010 0 0 0 10981 19 0 0 25 0 1 0 194684692 66551808 15776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576448 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 16248 15776 110 215 0 16030 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 64992

[startup+120.067 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13436
/proc/meminfo: memFree=1501184/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=64992 CPUtime=120.01
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16010 0 0 0 11982 19 0 0 25 0 1 0 194684692 66551808 15776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 16248 15776 110 215 0 16030 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 64992

[startup+130.073 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13436
/proc/meminfo: memFree=1501184/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=64992 CPUtime=130.01
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16010 0 0 0 12982 19 0 0 25 0 1 0 194684692 66551808 15776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 16248 15776 110 215 0 16030 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 64992

[startup+140.078 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13436
/proc/meminfo: memFree=1501184/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=64992 CPUtime=140.01
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16010 0 0 0 13982 19 0 0 25 0 1 0 194684692 66551808 15776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 16248 15776 110 215 0 16030 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 64992

[startup+150.084 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13436
/proc/meminfo: memFree=1501184/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=64992 CPUtime=150.01
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16010 0 0 0 14982 19 0 0 25 0 1 0 194684692 66551808 15776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 16248 15776 110 215 0 16030 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 64992

[startup+160.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13436
/proc/meminfo: memFree=1499264/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=66984 CPUtime=160.01
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16477 0 0 0 15982 19 0 0 25 0 1 0 194684692 68591616 16234 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 16746 16234 110 215 0 16528 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 66984

[startup+170.096 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13436
/proc/meminfo: memFree=1499264/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=66984 CPUtime=170.01
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16477 0 0 0 16982 19 0 0 25 0 1 0 194684692 68591616 16234 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 16746 16234 110 215 0 16528 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 66984

[startup+180.102 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13436
/proc/meminfo: memFree=1499328/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=66984 CPUtime=180.02
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16477 0 0 0 17983 19 0 0 25 0 1 0 194684692 68591616 16234 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 16746 16234 110 215 0 16528 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 66984

[startup+190.108 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13436
/proc/meminfo: memFree=1499328/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=66984 CPUtime=190.02
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16477 0 0 0 18983 19 0 0 25 0 1 0 194684692 68591616 16234 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 16746 16234 110 215 0 16528 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 66984

[startup+200.113 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13436
/proc/meminfo: memFree=1499328/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=66984 CPUtime=200.02
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 16477 0 0 0 19983 19 0 0 25 0 1 0 194684692 68591616 16234 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 16746 16234 110 215 0 16528 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 66984

[startup+210.118 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13436
/proc/meminfo: memFree=1499328/2055892 swapFree=4085732/4096564

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

[pid=13436] ppid=13434 vsize=112552 CPUtime=1781.49
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 178114 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (Kb) 112552

[startup+1783.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13438
/proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=112552 CPUtime=1782.5
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 178215 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1782.5
Current children cumulated vsize (Kb) 112552

[startup+1784.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13438
/proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=112552 CPUtime=1783.5
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 178315 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1783.5
Current children cumulated vsize (Kb) 112552

[startup+1785.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13438
/proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=112552 CPUtime=1784.5
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 178415 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1784.5
Current children cumulated vsize (Kb) 112552

[startup+1786.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13438
/proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=112552 CPUtime=1785.51
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 178516 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579868 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (Kb) 112552

[startup+1787.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13438
/proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=112552 CPUtime=1786.51
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 178616 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584041 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1786.51
Current children cumulated vsize (Kb) 112552

[startup+1788.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13438
/proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=112552 CPUtime=1787.52
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 178717 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1787.52
Current children cumulated vsize (Kb) 112552

[startup+1789.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13438
/proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=112552 CPUtime=1788.52
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 178817 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1788.52
Current children cumulated vsize (Kb) 112552

[startup+1790.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13438
/proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=112552 CPUtime=1789.53
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 178918 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1789.53
Current children cumulated vsize (Kb) 112552

[startup+1791.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13438
/proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=112552 CPUtime=1790.53
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 179018 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1790.53
Current children cumulated vsize (Kb) 112552

[startup+1792.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13438
/proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=112552 CPUtime=1791.53
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 179118 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581319 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (Kb) 112552

[startup+1793.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13438
/proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=112552 CPUtime=1792.54
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 179219 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1792.54
Current children cumulated vsize (Kb) 112552

[startup+1794.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13438
/proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=112552 CPUtime=1793.54
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 179319 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574364 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1793.54
Current children cumulated vsize (Kb) 112552

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13438
/proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=112552 CPUtime=1794.55
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 179420 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588659 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (Kb) 112552

[startup+1796.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13438
/proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=112552 CPUtime=1795.55
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 179520 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1795.55
Current children cumulated vsize (Kb) 112552

[startup+1797.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13438
/proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=112552 CPUtime=1796.56
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 179621 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1796.56
Current children cumulated vsize (Kb) 112552

[startup+1798.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13438
/proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=112552 CPUtime=1797.56
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 179721 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (Kb) 112552

[startup+1799.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13438
/proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=112552 CPUtime=1798.57
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 179822 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1798.57
Current children cumulated vsize (Kb) 112552

[startup+1800.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13438
/proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=112552 CPUtime=1799.57
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 179922 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (Kb) 112552

[startup+1801.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13438
/proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=112552 CPUtime=1800.58
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 180023 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1800.58
Current children cumulated vsize (Kb) 112552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 13438
/proc/meminfo: memFree=1453696/2055892 swapFree=4085732/4096564
[pid=13436] ppid=13434 vsize=112552 CPUtime=1800.58
/proc/13436/stat : 13436 (minisat+) R 13434 13436 13390 0 -1 4194304 27821 0 0 0 180023 35 0 0 25 0 1 0 194684692 115253248 27578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580893 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13436/statm: 28138 27578 110 215 0 27920 0
Current children cumulated CPU time (s) 1800.58
Current children cumulated vsize (Kb) 112552

Sending SIGTERM to -13436
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.16
CPU time (s): 1800.61
CPU user time (s): 1800.23
CPU system time (s): 0.373943
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (Kb): 112572

Launcher Data (download as text)

Begin job on node78 on Sat Jun  3 01:02:39 UTC 2006


FILE ID= 35623-1149296558

PBS_JOBID= 307144

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

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  1925793f412227c60146f261684ef7c1

RANDOM SEED= 829062880


/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.225
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	: 6006.17
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.225
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	: 5999.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1564040 kB
Buffers:         36188 kB
Cached:         385340 kB
SwapCached:       2520 kB
Active:          49660 kB
Inactive:       380600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1564040 kB
SwapTotal:     4096564 kB
SwapFree:      4085732 kB
Dirty:             152 kB
Writeback:           0 kB
Mapped:          15136 kB
Slab:            48112 kB
Committed_AS:   309132 kB
PageTables:       1420 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node78 on Sat Jun  3 01:32:40 UTC 2006