Trace number 353624

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)-48 1800.06 1800.64

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c Parsing PB file...
2.49/2.58	c Converting 94289 PB-constraints to clauses...
2.49/2.59	c   -- Unit propagations: (none)
2.49/2.59	c   -- Detecting intervals from adjacent constraints: (none)
2.49/2.59	c   -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
2.79/2.80	c ==================================[MINISAT+]==================================
2.79/2.80	c | Conflicts | Original         | Learnt                           | Progress |
2.79/2.80	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.79/2.80	c ==============================================================================
2.79/2.80	c |         0 |   94289   188578 |   31429       0        0     nan |  0.000 % |
2.79/2.80	c ==============================================================================
2.79/2.80	c Found solution: -38
2.79/2.80	o -38
2.79/2.82	c ---[   0]---> Sorter-cost:70300     Base:
2.88/2.98	c ==================================[MINISAT+]==================================
2.88/2.98	c | Conflicts | Original         | Learnt                           | Progress |
2.88/2.98	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.88/2.98	c ==============================================================================
2.88/2.98	c |         0 |  169363   364695 |   56454       0        0     nan |  0.000 % |
3.19/3.23	c |       100 |  168931   363803 |   62099      75      961    12.8 |  0.464 % |
3.49/3.54	c |       251 |  168226   362304 |   68309     195     2080    10.7 |  1.241 % |
3.99/4.03	c |       477 |  166908   359478 |   75140     361     4481    12.4 |  2.716 % |
4.69/4.72	c |       814 |  165085   355491 |   82654     634     6941    10.9 |  4.833 % |
5.59/5.66	c |      1320 |  161650   347896 |   90919    1002    11746    11.7 |  8.903 % |
7.08/7.15	c |      2079 |  157439   338515 |  100011    1501    17642    11.8 | 13.952 % |
9.08/9.13	c |      3218 |  149574   320611 |  110012    2257    27487    12.2 | 23.762 % |
11.78/11.80	c |      4926 |  140077   298909 |  121014    3343    40938    12.2 | 35.604 % |
14.98/15.01	c |      7488 |  129263   273622 |  133115    4970    57038    11.5 | 49.390 % |
18.59/18.62	c |     11332 |  118074   247204 |  146427    7283    85078    11.7 | 64.089 % |
20.78/20.81	c ==============================================================================
20.78/20.81	c Found solution: -42
20.78/20.81	o -42
20.78/20.82	c ---[   0]---> Sorter-cost:    0     Base:
20.88/20.91	c ==================================[MINISAT+]==================================
20.88/20.91	c | Conflicts | Original         | Learnt                           | Progress |
20.88/20.91	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
20.88/20.91	c ==============================================================================
20.88/20.91	c |     14173 |  112053   232947 |   37351    8812   110869    12.6 | 64.089 % |
20.88/20.99	c |     14273 |  111956   232718 |   41086    8872   112201    12.6 | 72.341 % |
20.98/21.09	c |     14423 |  111733   232187 |   45194    9002   114113    12.7 | 72.561 % |
21.18/21.21	c |     14649 |  111451   231507 |   49714    9151   118315    12.9 | 72.945 % |
21.28/21.38	c |     14986 |  111001   230402 |   54685    9390   121727    13.0 | 73.568 % |
21.58/21.67	c |     15492 |  110268   228664 |   60154    9746   131154    13.5 | 74.539 % |
21.98/22.08	c |     16252 |  109470   226728 |   66169   10246   139678    13.6 | 75.632 % |
22.58/22.66	c |     17391 |  108305   223901 |   72786   11038   156782    14.2 | 77.225 % |
23.38/23.42	c |     19099 |  106843   220411 |   80065   12116   192204    15.9 | 79.176 % |
24.48/24.51	c |     21662 |  105578   217316 |   88071   13811   254342    18.4 | 80.914 % |
25.98/26.05	c |     25506 |  104256   214065 |   96878   16859   438700    26.0 | 82.765 % |
27.28/27.33	c ==============================================================================
27.28/27.33	c Found solution: -43
27.28/27.33	o -43
27.28/27.34	c ---[   0]---> Sorter-cost:    0     Base:
27.38/27.44	c ==================================[MINISAT+]==================================
27.38/27.44	c | Conflicts | Original         | Learnt                           | Progress |
27.38/27.44	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
27.38/27.44	c ==============================================================================
27.38/27.44	c |     29128 |  104139   213840 |   34713   20366   654650    32.1 | 82.765 % |
27.48/27.52	c |     29229 |  104025   213562 |   38184   20446   657035    32.1 | 83.099 % |
27.58/27.69	c |     29380 |  103872   213177 |   42002   20466   657976    32.1 | 83.323 % |
27.68/27.78	c |     29605 |  103872   213177 |   46203   20691   675471    32.6 | 83.323 % |
27.88/27.92	c |     29942 |  103872   213177 |   50823   21028   685274    32.6 | 83.323 % |
28.08/28.16	c |     30448 |  103722   212801 |   55905   21442   702839    32.8 | 83.539 % |
28.48/28.57	c |     31207 |  103261   211676 |   61496   21792   727090    33.4 | 84.177 % |
28.78/28.89	c |     32346 |  103261   211676 |   67645   22931   784028    34.2 | 84.177 % |
29.38/29.43	c ==============================================================================
29.38/29.43	c Found solution: -44
29.38/29.43	o -44
29.38/29.45	c ---[   0]---> Sorter-cost:    0     Base:
29.48/29.55	c ==================================[MINISAT+]==================================
29.48/29.55	c | Conflicts | Original         | Learnt                           | Progress |
29.48/29.55	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
29.48/29.55	c ==============================================================================
29.48/29.55	c |     33412 |  103252   211633 |   34417   23944   928774    38.8 | 84.177 % |
29.58/29.62	c |     33512 |  103242   211609 |   37858   24024   929884    38.7 | 84.207 % |
29.58/29.69	c |     33663 |  103242   211609 |   41644   24175   937156    38.8 | 84.207 % |
29.68/29.78	c |     33888 |  103242   211609 |   45809   24400   945982    38.8 | 84.207 % |
29.88/29.97	c |     34225 |  103106   211272 |   50389   24656   961580    39.0 | 84.396 % |
30.08/30.19	c |     34731 |  103096   211246 |   55428   25109   984488    39.2 | 84.412 % |
30.38/30.48	c |     35491 |  103053   211129 |   60971   25751  1012426    39.3 | 84.478 % |
31.08/31.11	c |     36631 |  102901   210759 |   67068   26726  1066796    39.9 | 84.686 % |
31.78/31.85	c |     38339 |  102881   210709 |   73775   28397  1192012    42.0 | 84.715 % |
32.98/33.02	c |     40901 |  102881   210709 |   81153   30959  1469684    47.5 | 84.715 % |
34.88/34.99	c |     44746 |  102871   210685 |   89268   34788  1844984    53.0 | 84.729 % |
37.87/37.90	c ==============================================================================
37.87/37.90	c Found solution: -45
37.87/37.90	o -45
37.87/37.92	c ---[   0]---> Sorter-cost:    0     Base:
37.97/38.04	c ==================================[MINISAT+]==================================
37.97/38.04	c | Conflicts | Original         | Learnt                           | Progress |
37.97/38.04	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
37.97/38.04	c ==============================================================================
37.97/38.04	c |     49083 |  102808   210537 |   34269   39065  2552883    65.3 | 84.729 % |
38.07/38.17	c |     49183 |  102715   210319 |   37695   39094  2554059    65.3 | 84.952 % |
38.17/38.27	c |     49333 |  102715   210319 |   41465   39244  2564935    65.4 | 84.952 % |
38.38/38.47	c |     49559 |  102638   210132 |   45612   39228  2570691    65.5 | 85.059 % |
38.57/38.69	c |     49896 |  102638   210132 |   50173   39565  2591937    65.5 | 85.059 % |
38.98/39.02	c |     50403 |  102638   210132 |   55190   40072  2655788    66.3 | 85.059 % |
39.38/39.45	c |     51162 |  102638   210132 |   60709   40831  2713978    66.5 | 85.059 % |
40.18/40.25	c |     52301 |  102627   210103 |   66780   41795  2803087    67.1 | 85.076 % |
41.47/41.52	c |     54009 |  102492   209776 |   73458   43288  3004323    69.4 | 85.263 % |
43.28/43.34	c |     56573 |  102482   209754 |   80804   45807  3307196    72.2 | 85.275 % |
46.18/46.25	c |     60417 |  102434   209638 |   88884   49598  3816497    76.9 | 85.341 % |
50.97/51.04	c |     66183 |  102321   209365 |   97773   54712  4533488    82.9 | 85.496 % |
59.17/59.20	c |     74832 |  102098   208818 |  107550   62430  5539945    88.7 | 85.806 % |
75.56/75.60	c |     87807 |  101884   208284 |  118305   75224  8117231   107.9 | 86.117 % |
78.06/78.18	c ==============================================================================
78.06/78.18	c Found solution: -46
78.06/78.18	o -46
78.06/78.20	c ---[   0]---> Sorter-cost:    0     Base:
78.26/78.39	c ==================================[MINISAT+]==================================
78.26/78.39	c | Conflicts | Original         | Learnt                           | Progress |
78.26/78.39	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
78.26/78.39	c ==============================================================================
78.26/78.39	c |     89873 |  101873   208219 |   33957   77213  8366826   108.4 | 86.117 % |
78.56/78.62	c |     89973 |  101813   208079 |   37352   77250  8370963   108.4 | 86.209 % |
78.76/78.81	c |     90123 |  101813   208079 |   41087   77400  8384920   108.3 | 86.209 % |
78.96/79.06	c |     90348 |  101813   208079 |   45196   77625  8402830   108.2 | 86.209 % |
79.36/79.47	c |     90685 |  101813   208079 |   49716   77962  8425118   108.1 | 86.209 % |
80.07/80.16	c |     91191 |  101808   208066 |   54688   78418  8477500   108.1 | 86.217 % |
80.97/81.03	c |     91950 |  101769   207969 |   60156   79147  8535292   107.8 | 86.273 % |
82.37/82.50	c |     93089 |  101732   207878 |   66172   79954  8650341   108.2 | 86.324 % |
84.26/84.38	c |     94797 |  101691   207781 |   72789   81587  8836109   108.3 | 86.378 % |
87.26/87.35	c |     97360 |  101678   207750 |   80068   84139  9093070   108.1 | 86.396 % |
92.26/92.36	c |    101204 |  101587   207532 |   88075   87350  9467343   108.4 | 86.516 % |
100.06/100.19	c |    106970 |  101584   207525 |   96883   93115 10262644   110.2 | 86.520 % |
113.06/113.12	c |    115619 |  101584   207525 |  106571  101764 11400274   112.0 | 86.520 % |
132.95/133.02	c ==============================================================================
132.95/133.02	c Found solution: -47
132.95/133.02	o -47
132.95/133.04	c ---[   0]---> Sorter-cost:    0     Base:
133.15/133.29	c ==================================[MINISAT+]==================================
133.15/133.29	c | Conflicts | Original         | Learnt                           | Progress |
133.15/133.29	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
133.15/133.29	c ==============================================================================
133.15/133.29	c |    128246 |  101576   207519 |   33858  113993 13276183   116.5 | 86.520 % |
133.55/133.61	c |    128346 |  101576   207519 |   37243   20346  1966312    96.6 | 86.569 % |
133.55/133.68	c |    128496 |  101576   207519 |   40968   20496  1972565    96.2 | 86.569 % |
133.65/133.79	c |    128722 |  101576   207519 |   45064   20722  1990233    96.0 | 86.569 % |
133.85/133.94	c |    129059 |  101576   207519 |   49571   21059  2010034    95.4 | 86.569 % |
134.15/134.20	c |    129565 |  101573   207512 |   54528   21564  2043549    94.8 | 86.573 % |
134.45/134.59	c |    130325 |  101573   207512 |   59981   22324  2119304    94.9 | 86.573 % |
135.05/135.16	c |    131466 |  101573   207512 |   65979   23465  2227953    94.9 | 86.573 % |
136.15/136.23	c |    133174 |  101566   207497 |   72577   25171  2440505    97.0 | 86.580 % |
137.45/137.58	c |    135736 |  101564   207493 |   79835   27732  2748292    99.1 | 86.582 % |
139.95/140.04	c |    139581 |  101564   207493 |   87818   31577  3280586   103.9 | 86.582 % |
145.05/145.16	c |    145347 |  101564   207493 |   96600   37343  4140110   110.9 | 86.582 % |
152.04/152.17	c |    153996 |  101564   207493 |  106260   45992  5223572   113.6 | 86.582 % |
164.64/164.73	c |    166970 |  101517   207383 |  116886   58757  6847744   116.5 | 86.641 % |
185.73/185.87	c |    186431 |  101502   207348 |  128575   78195  9333628   119.4 | 86.660 % |
225.51/225.64	c |    215624 |  101465   207263 |  141433  107203 13487587   125.8 | 86.705 % |
302.70/302.81	c |    259413 |  101459   207249 |  155576  150988 19357146   128.2 | 86.712 % |
423.25/423.45	c |    325098 |  101350   206988 |  171134   34947  3511279   100.5 | 86.860 % |
496.03/496.27	c ==============================================================================
496.03/496.27	c Found solution: -48
496.03/496.27	o -48
496.03/496.29	c ---[   0]---> Sorter-cost:    0     Base:
496.33/496.54	c ==================================[MINISAT+]==================================
496.33/496.54	c | Conflicts | Original         | Learnt                           | Progress |
496.33/496.54	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
496.33/496.54	c ==============================================================================
496.33/496.54	c |    380811 |  101228   206680 |   33742   90574 13877840   153.2 | 86.860 % |
496.63/496.88	c |    380912 |  101228   206680 |   37116   21316  1681202    78.9 | 87.021 % |
496.73/497.00	c |    381062 |  101200   206617 |   40827   21464  1689313    78.7 | 87.054 % |
496.93/497.13	c |    381289 |  101185   206582 |   44910   21667  1702173    78.6 | 87.074 % |
497.13/497.35	c |    381626 |  101148   206493 |   49401   21975  1723553    78.4 | 87.124 % |
497.43/497.65	c |    382133 |  101148   206493 |   54341   22482  1776280    79.0 | 87.124 % |
497.93/498.20	c |    382892 |  101055   206270 |   59776   23212  1844165    79.4 | 87.246 % |
498.63/498.82	c |    384031 |  101055   206270 |   65753   24351  1954875    80.3 | 87.246 % |
499.73/499.91	c |    385739 |  101055   206270 |   72328   26059  2147492    82.4 | 87.246 % |
501.13/501.39	c |    388301 |  101055   206270 |   79561   28621  2365128    82.6 | 87.246 % |
503.73/503.97	c |    392145 |  101027   206199 |   87518   32396  2747709    84.8 | 87.287 % |
508.12/508.37	c |    397911 |  101027   206199 |   96269   38162  3439348    90.1 | 87.287 % |
516.42/516.68	c |    406560 |  101027   206199 |  105896   46811  4695071   100.3 | 87.287 % |
529.52/529.77	c |    419534 |  101022   206188 |  116486   59757  6409276   107.3 | 87.293 % |
553.31/553.56	c |    438995 |  100964   206052 |  128135   79178  8870076   112.0 | 87.369 % |
596.49/596.75	c |    468188 |  100946   206006 |  140948  108363 12220053   112.8 | 87.396 % |
686.56/686.86	c |    511977 |  100946   206006 |  155043  152152 18151156   119.3 | 87.396 % |
826.13/826.49	c |    577661 |  100946   206006 |  170547   38410  3429448    89.3 | 87.396 % |
959.38/959.80	c |    676187 |  100891   205871 |  187602  136865 14521474   106.1 | 87.473 % |
1291.87/1292.31	c |    823976 |  100891   205871 |  206363   75860  3443533    45.4 | 87.473 % |
1757.63/1758.23	c |   1045661 |  100888   205864 |  226999   69235  2989273    43.2 | 87.477 % |
1800.02/1800.60	c 
1800.02/1800.61	c *** TERMINATED ***
1800.02/1800.61	s SATISFIABLE
1800.02/1800.61	v -x1272 x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256
1800.02/1800.61	v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 x1242 -x1241 -x1240 -x1239
1800.02/1800.61	v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222
1800.02/1800.61	v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 x1207 -x1206 -x1205
1800.02/1800.61	v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 x1190 -x1189 -x1188
1800.02/1800.61	v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171
1800.02/1800.61	v -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 x1155 -x1154
1800.02/1800.61	v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137
1800.02/1800.61	v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 x1124 -x1123 -x1122 -x1121 -x1120
1800.02/1800.61	v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103
1800.02/1800.61	v -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086
1800.02/1800.61	v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069
1800.02/1800.61	v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052
1800.02/1800.61	v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035
1800.02/1800.61	v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018
1800.02/1800.61	v -x1017 -x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 x1005 -x1004 -x1003 -x1002 -x1001 -x1000
1800.02/1800.61	v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 -x980 -x979
1800.02/1800.61	v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1800.02/1800.61	v -x957 -x956 x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1800.02/1800.61	v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1800.02/1800.61	v -x915 -x914 -x913 -x912 x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1800.02/1800.61	v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1800.02/1800.61	v -x873 -x872 -x871 -x870 -x869 -x868 x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1800.02/1800.61	v -x852 -x851 -x850 -x849 -x848 -x847 -x846 x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1800.02/1800.61	v -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1800.02/1800.61	v -x810 -x809 -x808 -x807 -x806 -x805 -x804 x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1800.02/1800.61	v -x789 -x788 -x787 -x786 -x785 -x784 -x783 x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
1800.02/1800.61	v -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748
1800.02/1800.61	v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727
1800.02/1800.61	v x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 x708 -x707 -x706
1800.02/1800.61	v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685
1800.02/1800.61	v -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1800.02/1800.61	v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1800.02/1800.61	v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1800.02/1800.61	v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601
1800.02/1800.61	v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580
1800.02/1800.61	v -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1800.02/1800.61	v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538
1800.02/1800.61	v -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517
1800.02/1800.61	v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496
1800.02/1800.61	v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475
1800.02/1800.61	v -x474 -x473 x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454
1800.02/1800.61	v -x453 -x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433
1800.02/1800.61	v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412
1800.02/1800.61	v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391
1800.02/1800.61	v -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370
1800.02/1800.61	v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349
1800.02/1800.61	v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328
1800.02/1800.61	v -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307
1800.02/1800.61	v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286
1800.02/1800.61	v -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265
1800.02/1800.61	v -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244
1800.02/1800.61	v -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223
1800.02/1800.61	v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202
1800.02/1800.61	v -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181
1800.02/1800.61	v -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160
1800.02/1800.61	v -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 x141 -x140 -x139
1800.02/1800.61	v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118
1800.02/1800.61	v -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97
1800.02/1800.61	v -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1800.02/1800.61	v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
1800.02/1800.61	v -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19
1800.02/1800.61	v -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data (download as text)

OK	-48

Conversion Script Data (download as text)

/tmp/evaluation/353624-1176671177/instance-353624-1176671177.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/node58/watcher-353624-1176671177 -o ROOT/results/node58/solver-353624-1176671177 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353624-1176671177/minisat+ /tmp/evaluation/353624-1176671177/instance-353624-1176671177.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.92 0.98 0.99 3/64 15947
/proc/meminfo: memFree=1816760/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=1340 CPUtime=0
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 166 0 0 0 0 0 0 0 18 0 1 0 115027399 1372160 151 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134601582 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 335 151 74 215 0 117 0

[startup+0.0552521 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15947
/proc/meminfo: memFree=1816760/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=1736 CPUtime=0.05
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 266 0 0 0 5 0 0 0 18 0 1 0 115027399 1777664 251 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135022946 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 434 251 74 215 0 216 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1736

[startup+0.102258 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15947
/proc/meminfo: memFree=1816760/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=2144 CPUtime=0.09
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 366 0 0 0 9 0 0 0 18 0 1 0 115027399 2195456 351 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003357 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 536 351 74 215 0 318 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2144

[startup+0.301292 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15947
/proc/meminfo: memFree=1816760/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=3812 CPUtime=0.29
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 781 0 0 0 29 0 0 0 19 0 1 0 115027399 3903488 766 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 953 766 74 215 0 735 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3812

[startup+0.701359 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15947
/proc/meminfo: memFree=1816760/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=7084 CPUtime=0.69
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 1605 0 0 0 68 1 0 0 22 0 1 0 115027399 7254016 1590 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134629316 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 1771 1590 74 215 0 1553 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7084

[startup+1.50149 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 15948
/proc/meminfo: memFree=1808176/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=13508 CPUtime=1.49
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 3228 0 0 0 147 2 0 0 25 0 1 0 115027399 13832192 3213 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 3377 3213 74 215 0 3159 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13508

[startup+3.10176 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 15948
/proc/meminfo: memFree=1799152/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=34096 CPUtime=3.09
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 8273 0 0 0 295 14 0 0 19 0 1 0 115027399 34914304 8057 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569793 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 8524 8057 108 215 0 8306 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34096

[startup+6.3013 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 15948
/proc/meminfo: memFree=1784368/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=34096 CPUtime=6.29
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 8296 0 0 0 615 14 0 0 25 0 1 0 115027399 34914304 8080 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569793 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 8524 8080 110 215 0 8306 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34096

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 15948
/proc/meminfo: memFree=1784368/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=34096 CPUtime=12.68
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 8296 0 0 0 1254 14 0 0 25 0 1 0 115027399 34914304 8080 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 8524 8080 110 215 0 8306 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34096

[startup+25.5025 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 15948
/proc/meminfo: memFree=1784240/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=34520 CPUtime=25.48
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 8366 0 0 0 2534 14 0 0 25 0 1 0 115027399 35348480 8150 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 8630 8150 110 215 0 8412 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34520

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 15948
/proc/meminfo: memFree=1772720/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=46712 CPUtime=51.07
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 11404 0 0 0 5090 17 0 0 25 0 1 0 115027399 47833088 11180 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135011021 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 11678 11180 110 215 0 11460 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 46712

[startup+102.304 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 15948
/proc/meminfo: memFree=1747312/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=71744 CPUtime=102.26
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 17643 0 0 0 10202 24 0 0 25 0 1 0 115027399 73465856 17410 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 17936 17410 110 215 0 17718 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 71744

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 15948
/proc/meminfo: memFree=1735280/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=83572 CPUtime=162.24
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 20642 0 0 0 16195 29 0 0 25 0 1 0 115027399 85577728 20400 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 20893 20400 110 215 0 20675 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 83572

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 15948
/proc/meminfo: memFree=1735280/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=83700 CPUtime=222.22
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 20654 0 0 0 22193 29 0 0 25 0 1 0 115027399 85708800 20412 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581036 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 20925 20412 110 215 0 20707 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 83700

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 15948
/proc/meminfo: memFree=1715248/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=104060 CPUtime=282.2
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 25697 0 0 0 28186 34 0 0 25 0 1 0 115027399 106557440 25455 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 26015 25455 110 215 0 25797 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 104060

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 15948
/proc/meminfo: memFree=1697840/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=121108 CPUtime=342.18
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 29996 0 0 0 34179 39 0 0 25 0 1 0 115027399 124014592 29754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 30277 29754 110 215 0 30059 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 121108

[startup+402.302 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1682672/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=136288 CPUtime=402.16
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 33818 0 0 0 40173 43 0 0 25 0 1 0 115027399 139558912 33576 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34072 33576 110 215 0 33854 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 136288

[startup+462.303 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1679216/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139516 CPUtime=462.14
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34614 0 0 0 46170 44 0 0 25 0 1 0 115027399 142864384 34372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34879 34372 110 215 0 34661 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 139516

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1679216/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139516 CPUtime=522.12
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34614 0 0 0 52168 44 0 0 25 0 1 0 115027399 142864384 34372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34879 34372 110 215 0 34661 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 139516

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1679216/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139516 CPUtime=582.1
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34614 0 0 0 58166 44 0 0 25 0 1 0 115027399 142864384 34372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34879 34372 110 215 0 34661 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 139516

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1679216/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139516 CPUtime=642.08
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34614 0 0 0 64164 44 0 0 25 0 1 0 115027399 142864384 34372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34879 34372 110 215 0 34661 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 139516


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1679152/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139516 CPUtime=822.03
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34614 0 0 0 82158 45 0 0 25 0 1 0 115027399 142864384 34372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34879 34372 110 215 0 34661 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 139516

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1679152/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139516 CPUtime=882.01
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34614 0 0 0 88156 45 0 0 25 0 1 0 115027399 142864384 34372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34879 34372 110 215 0 34661 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 139516

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1679152/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139516 CPUtime=941.99
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34614 0 0 0 94154 45 0 0 25 0 1 0 115027399 142864384 34372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34879 34372 110 215 0 34661 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 139516

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1679152/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139516 CPUtime=1001.97
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34614 0 0 0 100152 45 0 0 25 0 1 0 115027399 142864384 34372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34879 34372 110 215 0 34661 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 139516

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1679088/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139516 CPUtime=1061.94
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34614 0 0 0 106149 45 0 0 25 0 1 0 115027399 142864384 34372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34879 34372 110 215 0 34661 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 139516

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1679088/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139516 CPUtime=1121.93
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34617 0 0 0 112147 46 0 0 25 0 1 0 115027399 142864384 34375 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34879 34375 110 215 0 34661 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 139516

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1679024/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139920 CPUtime=1181.91
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34635 0 0 0 118145 46 0 0 25 0 1 0 115027399 143278080 34393 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34980 34393 110 215 0 34762 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 139920

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1678960/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139920 CPUtime=1241.89
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34646 0 0 0 124143 46 0 0 25 0 1 0 115027399 143278080 34404 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34980 34404 110 215 0 34762 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 139920

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1678960/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139920 CPUtime=1301.87
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34646 0 0 0 130141 46 0 0 25 0 1 0 115027399 143278080 34404 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34980 34404 110 215 0 34762 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 139920

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1678960/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139920 CPUtime=1361.86
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34646 0 0 0 136139 47 0 0 25 0 1 0 115027399 143278080 34404 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34980 34404 110 215 0 34762 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 139920

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1678896/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139920 CPUtime=1421.84
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34646 0 0 0 142137 47 0 0 25 0 1 0 115027399 143278080 34404 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34980 34404 110 215 0 34762 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 139920

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1678896/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139920 CPUtime=1481.82
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34647 0 0 0 148135 47 0 0 25 0 1 0 115027399 143278080 34405 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34980 34405 110 215 0 34762 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 139920

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1678896/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139920 CPUtime=1541.79
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34647 0 0 0 154132 47 0 0 25 0 1 0 115027399 143278080 34405 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577125 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34980 34405 110 215 0 34762 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 139920

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1678896/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139920 CPUtime=1601.77
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34647 0 0 0 160130 47 0 0 25 0 1 0 115027399 143278080 34405 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34980 34405 110 215 0 34762 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 139920

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1678832/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139920 CPUtime=1661.76
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34653 0 0 0 166128 48 0 0 25 0 1 0 115027399 143278080 34411 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34980 34411 110 215 0 34762 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 139920

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1678768/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139920 CPUtime=1721.74
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34666 0 0 0 172126 48 0 0 25 0 1 0 115027399 143278080 34424 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588639 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34980 34424 110 215 0 34762 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 139920

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1678768/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139920 CPUtime=1781.72
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34666 0 0 0 178124 48 0 0 25 0 1 0 115027399 143278080 34424 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580825 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34980 34424 110 215 0 34762 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 139920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15948
/proc/meminfo: memFree=1678768/2055920 swapFree=4184580/4192956
[pid=15947] ppid=15945 vsize=139920 CPUtime=1800.02
/proc/15947/stat : 15947 (minisat+) R 15945 15947 15251 0 -1 4194304 34666 0 0 0 179954 48 0 0 25 0 1 0 115027399 143278080 34424 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15947/statm: 34980 34424 110 215 0 34762 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 139920

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

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

Child status: 10
Real time (s): 1800.64
CPU time (s): 1800.06
CPU user time (s): 1799.55
CPU system time (s): 0.508922
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 139920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.508922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34668
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= 440
involuntary context switches= 2930

runsolver used 1.24681 second user time and 3.89841 second system time

The end

Launcher Data (download as text)

Begin job on node58 on Sun Apr 15 21:06:17 UTC 2007

IDJOB= 353624
IDBENCH= 2257
IDSOLVER= 156
FILE ID= node58/353624-1176671177

PBS_JOBID= 4559910

Free space on /tmp= 66560 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/frb53-24-opb/normalized-frb53-24-2.opb
COMMAND LINE= /tmp/evaluation/353624-1176671177/minisat+ /tmp/evaluation/353624-1176671177/instance-353624-1176671177.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node58/convwatcher-353624-1176671177 -o ROOT/results/node58/conversion-353624-1176671177 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353624-1176671177/instance-353624-1176671177.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  b94d4317cfb468b1c3dd3d790ff99d4d

RANDOM SEED= 668364821

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node58.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.265
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.265
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:       1817168 kB
Buffers:         15436 kB
Cached:         139772 kB
SwapCached:       2144 kB
Active:          59632 kB
Inactive:       105596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1817168 kB
SwapTotal:     4192956 kB
SwapFree:      4184580 kB
Dirty:            4568 kB
Writeback:           0 kB
Mapped:          16908 kB
Slab:            59596 kB
Committed_AS:   201272 kB
PageTables:       1384 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= 66560 MiB

End job on node58 on Sun Apr 15 21:36:20 UTC 2007