Trace number 353767

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14SAT (TO)-53 1800.12 1800.55

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c Parsing PB file...
3.39/3.41	c Converting 126163 PB-constraints to clauses...
3.39/3.42	c   -- Unit propagations: (none)
3.39/3.42	c   -- Detecting intervals from adjacent constraints: (none)
3.39/3.43	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
3.69/3.71	c ==================================[MINISAT+]==================================
3.69/3.71	c | Conflicts | Original         | Learnt                           | Progress |
3.69/3.71	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.69/3.71	c ==============================================================================
3.69/3.71	c |         0 |  126163   252326 |   42054       0        0     nan |  0.000 % |
3.69/3.71	c ==============================================================================
3.69/3.71	c Found solution: -42
3.69/3.71	o -42
3.69/3.73	c ---[   0]---> Sorter-cost:85954     Base:
3.89/3.94	c ==================================[MINISAT+]==================================
3.89/3.94	c | Conflicts | Original         | Learnt                           | Progress |
3.89/3.94	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.89/3.94	c ==============================================================================
3.89/3.94	c |         0 |  216902   465187 |   72300       0        0     nan |  0.000 % |
4.19/4.20	c |       100 |  216378   464089 |   79530      71     1045    14.7 |  0.476 % |
4.59/4.66	c |       250 |  215666   462590 |   87483     197     2307    11.7 |  1.110 % |
4.99/5.09	c |       475 |  214693   460491 |   96231     382     4569    12.0 |  2.022 % |
5.89/5.98	c |       812 |  212890   456566 |  105854     654     7279    11.1 |  3.734 % |
7.08/7.17	c |      1318 |  210422   451160 |  116439    1060    10851    10.2 |  6.157 % |
8.88/8.90	c |      2077 |  206393   442217 |  128083    1635    16954    10.4 | 10.063 % |
11.38/11.45	c |      3216 |  198975   425552 |  140892    2422    25813    10.7 | 17.559 % |
14.78/14.83	c |      4924 |  190640   406622 |  154981    3664    40208    11.0 | 26.087 % |
18.88/18.93	c |      7486 |  179470   381025 |  170479    5477    62777    11.5 | 37.698 % |
23.88/24.00	c |     11330 |  166692   351158 |  187527    8259    96088    11.6 | 51.142 % |
27.08/27.17	c ==============================================================================
27.08/27.17	c Found solution: -44
27.08/27.17	o -44
27.08/27.19	c ---[   0]---> Sorter-cost:    0     Base:
27.18/27.29	c ==================================[MINISAT+]==================================
27.18/27.29	c | Conflicts | Original         | Learnt                           | Progress |
27.18/27.29	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
27.18/27.29	c ==============================================================================
27.18/27.29	c |     14201 |  159762   334804 |   53254   10383   124904    12.0 | 51.142 % |
27.28/27.38	c |     14301 |  159518   334234 |   58579   10463   126556    12.1 | 59.111 % |
27.48/27.51	c |     14451 |  159171   333401 |   64437   10595   128502    12.1 | 59.497 % |
27.78/27.80	c |     14676 |  158480   331759 |   70881   10678   129458    12.1 | 60.258 % |
27.98/28.07	c |     15013 |  158174   331032 |   77969   10915   133832    12.3 | 60.595 % |
28.48/28.50	c |     15520 |  157341   329073 |   85766   11321   139331    12.3 | 61.505 % |
29.28/29.33	c |     16280 |  155349   324351 |   94342   11703   145801    12.5 | 63.687 % |
30.18/30.20	c |     17419 |  153760   320544 |  103776   12549   161675    12.9 | 65.453 % |
31.18/31.23	c |     19127 |  152453   317467 |  114154   13881   182702    13.2 | 66.863 % |
33.17/33.20	c |     21689 |  148743   308640 |  125570   15567   217965    14.0 | 70.881 % |
35.27/35.33	c ==============================================================================
35.27/35.33	c Found solution: -45
35.27/35.33	o -45
35.27/35.35	c ---[   0]---> Sorter-cost:    0     Base:
35.37/35.46	c ==================================[MINISAT+]==================================
35.37/35.46	c | Conflicts | Original         | Learnt                           | Progress |
35.37/35.46	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
35.37/35.46	c ==============================================================================
35.37/35.46	c |     24382 |  145456   300817 |   48485   17375   249367    14.4 | 70.881 % |
35.47/35.53	c |     24483 |  145363   300588 |   53333   17440   251246    14.4 | 74.648 % |
35.57/35.60	c |     24633 |  145288   300407 |   58666   17551   251739    14.3 | 74.732 % |
35.77/35.82	c |     24858 |  144991   299696 |   64533   17581   253807    14.4 | 75.065 % |
35.98/36.09	c |     25195 |  144671   298897 |   70986   17767   260713    14.7 | 75.446 % |
36.48/36.54	c |     25702 |  144071   297413 |   78085   18002   268321    14.9 | 76.147 % |
37.08/37.13	c |     26461 |  143083   295047 |   85894   18367   278416    15.2 | 77.238 % |
37.88/37.93	c |     27600 |  142217   292945 |   94483   19129   300433    15.7 | 78.224 % |
38.88/38.95	c |     29308 |  141140   290360 |  103931   20436   345754    16.9 | 79.432 % |
39.78/39.82	c ==============================================================================
39.78/39.82	c Found solution: -46
39.78/39.82	o -46
39.78/39.85	c ---[   0]---> Sorter-cost:    0     Base:
39.88/39.96	c ==================================[MINISAT+]==================================
39.88/39.96	c | Conflicts | Original         | Learnt                           | Progress |
39.88/39.96	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
39.88/39.96	c ==============================================================================
39.88/39.96	c |     30862 |  140267   288181 |   46755   21633   397822    18.4 | 79.432 % |
39.98/40.00	c |     30963 |  140267   288181 |   51430   21734   399242    18.4 | 80.416 % |
39.98/40.09	c |     31114 |  140168   287935 |   56573   21806   400090    18.3 | 80.529 % |
40.08/40.18	c |     31339 |  140168   287935 |   62230   22031   412550    18.7 | 80.529 % |
40.38/40.43	c |     31676 |  140023   287590 |   68453   22256   418337    18.8 | 80.689 % |
40.48/40.59	c |     32183 |  140023   287590 |   75299   22763   438437    19.3 | 80.689 % |
40.88/40.91	c ==============================================================================
40.88/40.91	c Found solution: -47
40.88/40.91	o -47
40.88/40.93	c ---[   0]---> Sorter-cost:    0     Base:
40.98/41.05	c ==================================[MINISAT+]==================================
40.98/41.05	c | Conflicts | Original         | Learnt                           | Progress |
40.98/41.05	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
40.98/41.05	c ==============================================================================
40.98/41.05	c |     32937 |  140085   287791 |   46695   23512   471006    20.0 | 80.689 % |
40.98/41.09	c |     33037 |  140085   287791 |   51364   23612   474023    20.1 | 80.668 % |
41.18/41.22	c |     33188 |  139985   287565 |   56500   23703   476332    20.1 | 80.768 % |
41.28/41.33	c |     33413 |  139925   287414 |   62151   23901   482389    20.2 | 80.840 % |
41.38/41.47	c |     33750 |  139819   287160 |   68366   24223   491372    20.3 | 80.958 % |
41.68/41.80	c |     34257 |  139501   286378 |   75202   24523   504115    20.6 | 81.320 % |
42.08/42.19	c |     35016 |  139221   285698 |   82723   25080   519407    20.7 | 81.634 % |
42.58/42.69	c |     36155 |  138949   285015 |   90995   26080   578152    22.2 | 81.958 % |
43.38/43.43	c |     37863 |  138937   284987 |  100094   27753   670991    24.2 | 81.971 % |
44.78/44.85	c |     40425 |  138358   283576 |  110104   29587   808674    27.3 | 82.622 % |
45.48/45.54	c ==============================================================================
45.48/45.54	c Found solution: -49
45.48/45.54	o -49
45.48/45.56	c ---[   0]---> Sorter-cost:    0     Base:
45.58/45.68	c ==================================[MINISAT+]==================================
45.58/45.68	c | Conflicts | Original         | Learnt                           | Progress |
45.58/45.68	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
45.58/45.68	c ==============================================================================
45.58/45.68	c |     41630 |  138147   283085 |   46049   30685   883161    28.8 | 82.622 % |
45.68/45.78	c |     41730 |  138092   282958 |   50653   30763   884351    28.7 | 82.933 % |
45.88/45.97	c |     41880 |  137941   282583 |   55719   30835   887360    28.8 | 83.109 % |
45.98/46.06	c |     42105 |  137901   282493 |   61291   31052   893326    28.8 | 83.149 % |
46.18/46.23	c |     42442 |  137895   282479 |   67420   31375   909461    29.0 | 83.155 % |
46.38/46.48	c |     42948 |  137873   282425 |   74162   31874   947781    29.7 | 83.181 % |
46.68/46.76	c |     43707 |  137873   282425 |   81578   32633   990787    30.4 | 83.181 % |
47.28/47.30	c |     44846 |  137866   282408 |   89736   33764  1042346    30.9 | 83.189 % |
48.18/48.29	c |     46554 |  137539   281618 |   98710   35123  1108640    31.6 | 83.556 % |
49.68/49.75	c |     49116 |  137311   281072 |  108581   37144  1292520    34.8 | 83.810 % |
51.78/51.89	c |     52960 |  137157   280708 |  119439   40856  1598714    39.1 | 83.978 % |
55.68/55.79	c |     58727 |  136513   279109 |  131383   45613  1978665    43.4 | 84.730 % |
59.28/59.30	c ==============================================================================
59.28/59.30	c Found solution: -50
59.28/59.30	o -50
59.28/59.33	c ---[   0]---> Sorter-cost:    0     Base:
59.38/59.47	c ==================================[MINISAT+]==================================
59.38/59.47	c | Conflicts | Original         | Learnt                           | Progress |
59.38/59.47	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
59.38/59.47	c ==============================================================================
59.38/59.47	c |     64383 |  136428   278853 |   45476   50690  2426715    47.9 | 84.730 % |
59.57/59.62	c |     64483 |  136372   278721 |   50023   50704  2426821    47.9 | 84.888 % |
59.67/59.73	c |     64633 |  136372   278721 |   55025   50854  2434364    47.9 | 84.888 % |
59.87/59.90	c |     64858 |  136372   278721 |   60528   51079  2451936    48.0 | 84.888 % |
60.07/60.18	c |     65195 |  136354   278679 |   66581   51330  2465308    48.0 | 84.907 % |
60.38/60.49	c |     65701 |  136354   278679 |   73239   51836  2497084    48.2 | 84.907 % |
60.87/61.00	c |     66460 |  136315   278575 |   80563   52539  2537278    48.3 | 84.952 % |
61.67/61.79	c |     67599 |  136315   278575 |   88619   53678  2687895    50.1 | 84.952 % |
62.97/63.09	c |     69307 |  136315   278575 |   97481   55386  2882870    52.1 | 84.952 % |
65.17/65.28	c |     71869 |  136315   278575 |  107230   57948  3297295    56.9 | 84.952 % |
67.37/67.46	c ==============================================================================
67.37/67.46	c Found solution: -51
67.37/67.46	o -51
67.37/67.49	c ---[   0]---> Sorter-cost:    0     Base:
67.56/67.65	c ==================================[MINISAT+]==================================
67.56/67.65	c | Conflicts | Original         | Learnt                           | Progress |
67.56/67.65	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
67.56/67.65	c ==============================================================================
67.56/67.65	c |     74103 |  136106   278085 |   45368   59809  3485256    58.3 | 84.952 % |
67.66/67.73	c |     74203 |  136106   278085 |   49904   59909  3491775    58.3 | 85.223 % |
67.76/67.89	c |     74353 |  136063   277970 |   54895   59670  3485850    58.4 | 85.278 % |
67.96/68.08	c |     74578 |  136063   277970 |   60384   59895  3498842    58.4 | 85.278 % |
68.26/68.39	c |     74916 |  136058   277957 |   66423   60226  3530651    58.6 | 85.284 % |
68.96/69.06	c |     75422 |  135994   277802 |   73065   60597  3563296    58.8 | 85.355 % |
69.76/69.80	c |     76181 |  135950   277698 |   80372   61179  3620235    59.2 | 85.403 % |
70.66/70.78	c |     77320 |  135945   277687 |   88409   62293  3702636    59.4 | 85.408 % |
72.17/72.29	c |     79028 |  135928   277644 |   97250   63981  3892624    60.8 | 85.429 % |
74.97/75.00	c |     81590 |  135691   277063 |  106975   65768  4131868    62.8 | 85.702 % |
78.56/78.66	c |     85436 |  135590   276824 |  117672   69157  4565212    66.0 | 85.813 % |
84.37/84.49	c |     91202 |  135583   276807 |  129440   74866  5415516    72.3 | 85.821 % |
93.67/93.75	c |     99851 |  135540   276704 |  142384   83045  6414369    77.2 | 85.869 % |
109.76/109.81	c |    112826 |  135455   276509 |  156622   95875  8314958    86.7 | 85.957 % |
134.36/134.47	c ==============================================================================
134.36/134.47	c Found solution: -52
134.36/134.47	o -52
134.46/134.50	c ---[   0]---> Sorter-cost:    0     Base:
134.66/134.76	c ==================================[MINISAT+]==================================
134.66/134.76	c | Conflicts | Original         | Learnt                           | Progress |
134.66/134.76	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
134.66/134.76	c ==============================================================================
134.66/134.76	c |    127962 |  135394   276336 |   45131  109446 11574582   105.8 | 85.957 % |
134.96/135.01	c |    128062 |  135394   276336 |   49644   22310  3255192   145.9 | 86.028 % |
135.16/135.25	c |    128212 |  135295   276100 |   54608   22395  3259721   145.6 | 86.136 % |
135.36/135.41	c |    128437 |  135290   276089 |   60069   22610  3275212   144.9 | 86.141 % |
135.56/135.66	c |    128775 |  135238   275955 |   66076   22938  3289266   143.4 | 86.207 % |
136.06/136.11	c |    129281 |  135204   275877 |   72683   23429  3310280   141.3 | 86.242 % |
136.46/136.54	c |    130040 |  135194   275853 |   79952   24166  3344207   138.4 | 86.253 % |
137.16/137.23	c |    131179 |  135186   275835 |   87947   25295  3433065   135.7 | 86.261 % |
138.26/138.39	c |    132888 |  135178   275815 |   96742   26972  3689589   136.8 | 86.271 % |
140.16/140.25	c |    135450 |  135123   275675 |  106416   29433  4012571   136.3 | 86.338 % |
142.65/142.71	c |    139294 |  135123   275675 |  117058   33277  4564286   137.2 | 86.338 % |
147.05/147.15	c |    145060 |  134993   275371 |  128764   38714  5165896   133.4 | 86.475 % |
156.85/156.94	c |    153709 |  134993   275371 |  141640   47363  7432043   156.9 | 86.475 % |
170.75/170.88	c |    166684 |  134984   275352 |  155804   60336  9779793   162.1 | 86.483 % |
194.94/195.05	c |    186146 |  134984   275352 |  171384   79798 13225885   165.7 | 86.483 % |
241.33/241.48	c |    215338 |  134936   275238 |  188523  108912 18650008   171.2 | 86.536 % |
332.91/333.06	c |    259127 |  134911   275179 |  207375  152675 26672713   174.7 | 86.563 % |
505.87/506.03	c |    324813 |  134871   275082 |  228113  218353 37755388   172.9 | 86.608 % |
738.11/738.36	c |    423339 |  134694   274655 |  250924   59850  6824772   114.0 | 86.809 % |
1050.33/1050.61	c |    571128 |  134616   274473 |  276017  207606 36886035   177.7 | 86.893 % |
1660.70/1661.19	c |    792811 |  134345   273815 |  303618  120044 22066728   183.8 | 87.203 % |
1708.49/1708.98	c ==============================================================================
1708.49/1708.98	c Found solution: -53
1708.49/1708.98	o -53
1708.59/1709.01	c ---[   0]---> Sorter-cost:    0     Base:
1708.99/1709.44	c ==================================[MINISAT+]==================================
1708.99/1709.44	c | Conflicts | Original         | Learnt                           | Progress |
1708.99/1709.44	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1708.99/1709.44	c ==============================================================================
1708.99/1709.44	c |    816118 |  134367   273876 |   44789  143351 26236269   183.0 | 87.203 % |
1710.79/1711.29	c |    816218 |  134367   273876 |   49267   24779  2656873   107.2 | 87.186 % |
1710.99/1711.43	c |    816368 |  134355   273848 |   54194   24926  2658679   106.7 | 87.199 % |
1711.09/1711.59	c |    816593 |  134343   273818 |   59614   25146  2665287   106.0 | 87.214 % |
1711.19/1711.65	c |    816931 |  134343   273818 |   65575   25484  2669029   104.7 | 87.214 % |
1711.39/1711.86	c |    817437 |  134343   273818 |   72133   25990  2683105   103.2 | 87.214 % |
1711.79/1712.27	c |    818197 |  134343   273818 |   79346   26750  2749065   102.8 | 87.214 % |
1712.29/1712.78	c |    819336 |  134338   273807 |   87281   27885  2803944   100.6 | 87.219 % |
1713.49/1713.90	c |    821045 |  134153   273352 |   96009   29550  2899463    98.1 | 87.432 % |
1714.79/1715.28	c |    823607 |  134153   273352 |  105610   32112  3130599    97.5 | 87.432 % |
1717.09/1717.52	c |    827451 |  134153   273352 |  116171   35956  3484719    96.9 | 87.432 % |
1721.38/1721.81	c |    833218 |  134144   273329 |  127788   41711  4118800    98.7 | 87.443 % |
1727.78/1728.20	c |    841868 |  134131   273298 |  140567   50335  4994249    99.2 | 87.458 % |
1740.08/1740.54	c |    854843 |  134125   273284 |  154623   63306  6720226   106.2 | 87.464 % |
1765.57/1766.05	c |    874304 |  134075   273164 |  170086   82730  9523268   115.1 | 87.520 % |
1800.07/1800.50	c 
1800.07/1800.50	c *** TERMINATED ***
1800.07/1800.50	s SATISFIABLE
1800.07/1800.50	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518
1800.07/1800.50	v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 x1502 -x1501
1800.07/1800.50	v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484
1800.07/1800.50	v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467
1800.07/1800.50	v -x1466 -x1465 x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449
1800.07/1800.50	v -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432
1800.07/1800.50	v -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415
1800.07/1800.50	v -x1414 x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 x1401 -x1400 -x1399 -x1398 -x1397
1800.07/1800.50	v -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380
1800.07/1800.50	v -x1379 -x1378 -x1377 -x1376 x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363
1800.07/1800.50	v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346
1800.07/1800.50	v -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 x1330 -x1329
1800.07/1800.50	v -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 x1317 -x1316 -x1315 -x1314 -x1313 -x1312
1800.07/1800.50	v -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295
1800.07/1800.50	v -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278
1800.07/1800.50	v -x1277 x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261
1800.07/1800.50	v -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244
1800.07/1800.50	v -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227
1800.07/1800.50	v -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 x1211 -x1210
1800.07/1800.50	v -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193
1800.07/1800.50	v -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 x1179 -x1178 -x1177 -x1176
1800.07/1800.50	v -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 x1159
1800.07/1800.50	v -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142
1800.07/1800.50	v x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125
1800.07/1800.50	v -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 x1112 -x1111 -x1110 -x1109 -x1108
1800.07/1800.50	v -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091
1800.07/1800.50	v -x1090 -x1089 x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074
1800.07/1800.50	v -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 x1060 -x1059 -x1058 -x1057
1800.07/1800.50	v -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 x1040
1800.07/1800.50	v -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023
1800.07/1800.50	v -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006
1800.07/1800.50	v -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 x989 -x988 -x987 -x986
1800.07/1800.50	v -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 x967 -x966 -x965
1800.07/1800.50	v -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944
1800.07/1800.50	v -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 x929 -x928 -x927 -x926 -x925 -x924 -x923
1800.07/1800.50	v -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902
1800.07/1800.50	v -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881
1800.07/1800.50	v -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860
1800.07/1800.50	v -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839
1800.07/1800.50	v -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 x818
1800.07/1800.50	v -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797
1800.07/1800.50	v -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776
1800.07/1800.50	v -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 x758 -x757 -x756 -x755
1800.07/1800.50	v -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734
1800.07/1800.50	v -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 x714 -x713
1800.07/1800.50	v -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692
1800.07/1800.50	v -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671
1800.07/1800.50	v -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650
1800.07/1800.50	v -x649 x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629
1800.07/1800.50	v -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 x612 -x611 -x610 -x609 -x608
1800.07/1800.50	v -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590 -x589 -x588 -x587
1800.07/1800.50	v -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566
1800.07/1800.50	v -x565 -x564 -x563 x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545
1800.07/1800.50	v -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524
1800.07/1800.50	v x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503
1800.07/1800.50	v -x502 -x501 -x500 -x499 x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482
1800.07/1800.50	v -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461
1800.07/1800.50	v -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440
1800.07/1800.50	v -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 x419
1800.07/1800.50	v -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398
1800.07/1800.50	v -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377
1800.07/1800.50	v -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 x356
1800.07/1800.50	v -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335
1800.07/1800.50	v -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314
1800.07/1800.50	v -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293
1800.07/1800.50	v -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272
1800.07/1800.50	v -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251
1800.07/1800.50	v -x250 -x249 -x248 -x247 -x246 x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230
1800.07/1800.50	v -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209
1800.07/1800.50	v -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188
1800.07/1800.50	v -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167
1800.07/1800.50	v -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146
1800.07/1800.50	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.07/1800.50	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.07/1800.50	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79
1800.07/1800.50	v -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53
1800.07/1800.50	v -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27
1800.07/1800.50	v -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data (download as text)

OK	-53

Conversion Script Data (download as text)

/tmp/evaluation/353767-1176675307/instance-353767-1176675307.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node65/watcher-353767-1176675307 -o ROOT/results/node65/solver-353767-1176675307 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353767-1176675307/minisat+ /tmp/evaluation/353767-1176675307/instance-353767-1176675307.opb 

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


[startup+0 s]
/proc/loadavg: 0.95 1.01 0.99 3/64 12486
/proc/meminfo: memFree=1758112/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=1340 CPUtime=0
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 177 0 0 0 0 0 0 0 18 0 1 0 143520324 1372160 162 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134619209 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 335 163 74 215 0 117 0

[startup+0.0589791 s]
/proc/loadavg: 0.95 1.01 0.99 3/64 12486
/proc/meminfo: memFree=1758112/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=1752 CPUtime=0.05
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 283 0 0 0 5 0 0 0 18 0 1 0 143520324 1794048 268 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 438 268 74 215 0 220 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1752

[startup+0.101983 s]
/proc/loadavg: 0.95 1.01 0.99 3/64 12486
/proc/meminfo: memFree=1758112/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=2028 CPUtime=0.09
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 371 0 0 0 9 0 0 0 18 0 1 0 143520324 2076672 356 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 507 356 74 215 0 289 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2028

[startup+0.301999 s]
/proc/loadavg: 0.95 1.01 0.99 3/64 12486
/proc/meminfo: memFree=1758112/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=3704 CPUtime=0.29
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 782 0 0 0 29 0 0 0 19 0 1 0 143520324 3792896 767 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 926 767 74 215 0 708 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3704

[startup+0.701032 s]
/proc/loadavg: 0.95 1.01 0.99 3/64 12486
/proc/meminfo: memFree=1758112/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=6976 CPUtime=0.69
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 1600 0 0 0 69 0 0 0 22 0 1 0 143520324 7143424 1585 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 1744 1585 74 215 0 1526 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6976

[startup+1.5011 s]
/proc/loadavg: 0.95 1.01 0.99 2/65 12487
/proc/meminfo: memFree=1749464/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=13672 CPUtime=1.49
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 3259 0 0 0 148 1 0 0 25 0 1 0 143520324 14000128 3244 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 3418 3244 74 215 0 3200 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13672

[startup+3.10123 s]
/proc/loadavg: 0.95 1.01 0.99 2/65 12487
/proc/meminfo: memFree=1740184/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=26960 CPUtime=3.09
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 6560 0 0 0 306 3 0 0 25 0 1 0 143520324 27607040 6545 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 6740 6545 74 215 0 6522 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26960

[startup+6.3015 s]
/proc/loadavg: 0.95 1.01 0.99 2/65 12487
/proc/meminfo: memFree=1715416/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=44968 CPUtime=6.29
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 10978 0 0 0 612 17 0 0 25 0 1 0 143520324 46047232 10682 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 11242 10682 110 215 0 11024 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44968

[startup+12.701 s]
/proc/loadavg: 0.96 1.01 0.99 2/65 12487
/proc/meminfo: memFree=1715416/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=44968 CPUtime=12.68
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 10978 0 0 0 1251 17 0 0 25 0 1 0 143520324 46047232 10682 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 11242 10682 110 215 0 11024 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 44968

[startup+25.5011 s]
/proc/loadavg: 0.97 1.01 0.99 2/65 12487
/proc/meminfo: memFree=1715608/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=44968 CPUtime=25.48
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 10978 0 0 0 2531 17 0 0 25 0 1 0 143520324 46047232 10682 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 11242 10682 110 215 0 11024 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44968

[startup+51.1012 s]
/proc/loadavg: 0.98 1.01 0.99 2/65 12487
/proc/meminfo: memFree=1715096/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=45668 CPUtime=51.08
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 11122 0 0 0 5090 18 0 0 25 0 1 0 143520324 46764032 10825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576680 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 11417 10825 110 215 0 11199 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45668

[startup+102.305 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12487
/proc/meminfo: memFree=1693720/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=67120 CPUtime=102.27
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 16543 0 0 0 10204 23 0 0 25 0 1 0 143520324 68730880 16180 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 16780 16180 110 215 0 16562 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 67120

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12487
/proc/meminfo: memFree=1674648/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=85960 CPUtime=162.25
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 21284 0 0 0 16197 28 0 0 25 0 1 0 143520324 88023040 20888 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 21490 20888 110 215 0 21272 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 85960

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12487
/proc/meminfo: memFree=1656344/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=104444 CPUtime=222.23
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 25902 0 0 0 22189 34 0 0 25 0 1 0 143520324 106950656 25506 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 26111 25506 110 215 0 25893 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 104444

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12487
/proc/meminfo: memFree=1631896/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=128828 CPUtime=282.22
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 32018 0 0 0 28182 40 0 0 25 0 1 0 143520324 131919872 31622 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581178 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 32207 31622 110 215 0 31989 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 128828

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12487
/proc/meminfo: memFree=1610776/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=149896 CPUtime=342.2
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 37241 0 0 0 34174 46 0 0 25 0 1 0 143520324 153493504 36845 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 37474 36845 110 215 0 37256 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 149896

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12487
/proc/meminfo: memFree=1594328/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=166376 CPUtime=402.19
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 41387 0 0 0 40168 51 0 0 25 0 1 0 143520324 170369024 40991 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 41594 40991 110 215 0 41376 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 166376

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12487
/proc/meminfo: memFree=1579160/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=181356 CPUtime=462.18
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 45134 0 0 0 46163 55 0 0 25 0 1 0 143520324 185708544 44738 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576199 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 45339 44738 110 215 0 45121 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 181356

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12487
/proc/meminfo: memFree=1564184/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=196624 CPUtime=522.16
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 48890 0 0 0 52156 60 0 0 25 0 1 0 143520324 201342976 48494 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 49156 48494 110 215 0 48938 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 196624

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12487
/proc/meminfo: memFree=1549720/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=210920 CPUtime=582.15
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 52476 0 0 0 58151 64 0 0 25 0 1 0 143520324 215982080 52080 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 52730 52080 110 215 0 52512 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 210920

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12487
/proc/meminfo: memFree=1537240/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=223244 CPUtime=642.14
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 55552 0 0 0 64146 68 0 0 25 0 1 0 143520324 228601856 55156 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 55811 55156 110 215 0 55593 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 223244


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

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12487
/proc/meminfo: memFree=1525400/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=235088 CPUtime=882.08
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 58540 0 0 0 88135 73 0 0 25 0 1 0 143520324 240730112 58144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 58772 58144 110 215 0 58554 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 235088

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12487
/proc/meminfo: memFree=1525400/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=235088 CPUtime=942.06
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 58540 0 0 0 94133 73 0 0 25 0 1 0 143520324 240730112 58144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 58772 58144 110 215 0 58554 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 235088

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12487
/proc/meminfo: memFree=1525336/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=235088 CPUtime=1002.05
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 58540 0 0 0 100132 73 0 0 25 0 1 0 143520324 240730112 58144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581293 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 58772 58144 110 215 0 58554 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 235088

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12487
/proc/meminfo: memFree=1525336/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=235088 CPUtime=1062.03
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 58540 0 0 0 106130 73 0 0 25 0 1 0 143520324 240730112 58144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 58772 58144 110 215 0 58554 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 235088

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12487
/proc/meminfo: memFree=1525336/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=235088 CPUtime=1122.02
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 58540 0 0 0 112129 73 0 0 25 0 1 0 143520324 240730112 58144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 58772 58144 110 215 0 58554 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 235088

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12487
/proc/meminfo: memFree=1525336/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=235088 CPUtime=1182
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 58540 0 0 0 118127 73 0 0 25 0 1 0 143520324 240730112 58144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 58772 58144 110 215 0 58554 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 235088

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12487
/proc/meminfo: memFree=1521048/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=239424 CPUtime=1241.99
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 59630 0 0 0 124124 75 0 0 25 0 1 0 143520324 245170176 59234 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 59856 59234 110 215 0 59638 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 239424

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12487
/proc/meminfo: memFree=1508824/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=251564 CPUtime=1301.98
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 62653 0 0 0 130119 79 0 0 25 0 1 0 143520324 257601536 62257 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 62891 62257 110 215 0 62673 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 251564

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12487
/proc/meminfo: memFree=1497240/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=263128 CPUtime=1361.96
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 65580 0 0 0 136112 84 0 0 25 0 1 0 143520324 269443072 65184 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 65782 65184 110 215 0 65564 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 263128

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12487
/proc/meminfo: memFree=1485528/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=275308 CPUtime=1421.95
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 68470 0 0 0 142107 88 0 0 25 0 1 0 143520324 281915392 68074 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 68827 68074 110 215 0 68609 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 275308

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12489
/proc/meminfo: memFree=1478104/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=282704 CPUtime=1481.93
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 70324 0 0 0 148104 89 0 0 25 0 1 0 143520324 289488896 69928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 70676 69928 110 215 0 70458 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 282704

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12489
/proc/meminfo: memFree=1478040/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=282704 CPUtime=1541.92
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 70324 0 0 0 154103 89 0 0 25 0 1 0 143520324 289488896 69928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 70676 69928 110 215 0 70458 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 282704

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12489
/proc/meminfo: memFree=1478040/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=282704 CPUtime=1601.91
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 70326 0 0 0 160101 90 0 0 25 0 1 0 143520324 289488896 69930 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 70676 69930 110 215 0 70458 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 282704

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12489
/proc/meminfo: memFree=1478040/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=282704 CPUtime=1661.9
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 70326 0 0 0 166100 90 0 0 25 0 1 0 143520324 289488896 69930 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 70676 69930 110 215 0 70458 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 282704

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12489
/proc/meminfo: memFree=1478040/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=282704 CPUtime=1721.88
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 70326 0 0 0 172098 90 0 0 25 0 1 0 143520324 289488896 69930 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569804 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 70676 69930 110 215 0 70458 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 282704

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12489
/proc/meminfo: memFree=1478040/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=282704 CPUtime=1781.87
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 70326 0 0 0 178097 90 0 0 25 0 1 0 143520324 289488896 69930 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 70676 69930 110 215 0 70458 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 282704



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12489
/proc/meminfo: memFree=1477976/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=282704 CPUtime=1800.07
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 70326 0 0 0 179917 90 0 0 25 0 1 0 143520324 289488896 69930 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 70676 69930 110 215 0 70458 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 282704

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12489
/proc/meminfo: memFree=1477976/2055920 swapFree=4183928/4192956
[pid=12486] ppid=12484 vsize=282704 CPUtime=1800.07
/proc/12486/stat : 12486 (minisat+) R 12484 12486 11212 0 -1 4194304 70326 0 0 0 179917 90 0 0 25 0 1 0 143520324 289488896 69930 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12486/statm: 70676 69930 110 215 0 70458 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 282704

Child status: 10
Real time (s): 1800.55
CPU time (s): 1800.12
CPU user time (s): 1799.18
CPU system time (s): 0.945856
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 282704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 0.945856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70328
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 553
involuntary context switches= 1811

runsolver used 1.40579 second user time and 3.80342 second system time

The end

Launcher Data (download as text)

Begin job on node65 on Sun Apr 15 22:15:07 UTC 2007

IDJOB= 353767
IDBENCH= 2268
IDSOLVER= 156
FILE ID= node65/353767-1176675307

PBS_JOBID= 4559912

Free space on /tmp= 66558 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
COMMAND LINE= /tmp/evaluation/353767-1176675307/minisat+ /tmp/evaluation/353767-1176675307/instance-353767-1176675307.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node65/convwatcher-353767-1176675307 -o ROOT/results/node65/conversion-353767-1176675307 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353767-1176675307/instance-353767-1176675307.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  f7a936a02ddf18c17dc27b7b53733ab1

RANDOM SEED= 907647064

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node65.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1758584 kB
Buffers:         54480 kB
Cached:         163944 kB
SwapCached:       2984 kB
Active:         130220 kB
Inactive:       106068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1758584 kB
SwapTotal:     4192956 kB
SwapFree:      4183928 kB
Dirty:            5364 kB
Writeback:           0 kB
Mapped:          22692 kB
Slab:            47024 kB
Committed_AS:  2162040 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node65 on Sun Apr 15 22:45:10 UTC 2007