Trace number 3723569

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PB12: minisatp 1.0-2-g022594cSAT (TO)-54 1800.06 1800.51

General information on the benchmark

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

Solver Data 

0.00/0.00	c Parsing PB file...
0.00/0.14	c Converting 127011 PB-constraints to clauses...
0.00/0.14	c   -- Unit propagations: (none)
0.00/0.14	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.15	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.25	c ==================================[MINISAT+]==================================
0.00/0.25	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.25	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.25	c ==============================================================================
0.00/0.25	c |         0 |  127011   254022 |   42337       0        0    -nan |  0.000 % |
0.00/0.25	c ==============================================================================
0.00/0.25	c Found solution: -39
0.00/0.25	c ---[   0]---> Sorter-cost:85954     Base:
0.00/0.30	c ==================================[MINISAT+]==================================
0.00/0.30	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.30	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.30	c ==============================================================================
0.00/0.30	c |         0 |  217724   466825 |   72574       0        0    -nan |  0.000 % |
0.00/0.44	c |       101 |  217100   465520 |   79831      75     1891    25.2 |  0.552 % |
0.00/0.63	c |       251 |  216142   463482 |   87814     175     2869    16.4 |  1.472 % |
0.00/0.70	c ==============================================================================
0.00/0.70	c Found solution: -41
0.00/0.71	c ---[   0]---> Sorter-cost:    0     Base:
0.00/0.72	c ==================================[MINISAT+]==================================
0.00/0.72	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.72	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.72	c ==============================================================================
0.00/0.72	c |       283 |  215895   463068 |   71965     196     3081    15.7 |  1.472 % |
0.00/0.81	c |       383 |  215282   461707 |   79161     278     3977    14.3 |  2.308 % |
0.00/0.99	c |       533 |  214159   459226 |   87077     364     4788    13.2 |  3.458 % |
1.19/1.24	c |       758 |  213006   456739 |   95785     549     6483    11.8 |  4.484 % |
1.69/1.73	c |      1095 |  209782   449507 |  105363     745     9421    12.6 |  7.724 % |
2.29/2.32	c |      1601 |  206432   442115 |  115900    1112    13705    12.3 | 10.979 % |
3.09/3.18	c |      2360 |  201924   431973 |  127490    1602    20009    12.5 | 15.533 % |
4.39/4.48	c |      3499 |  194838   415939 |  140239    2370    27822    11.7 | 22.741 % |
5.89/5.95	c |      5207 |  186059   395912 |  154263    3450    40358    11.7 | 31.808 % |
7.69/7.73	c |      7769 |  175436   371220 |  169689    5075    59199    11.7 | 42.882 % |
10.19/10.26	c |     11614 |  160449   336093 |  186658    7537    85639    11.4 | 58.942 % |
10.39/10.40	c ==============================================================================
10.39/10.40	c Found solution: -44
10.39/10.40	c ---[   0]---> Sorter-cost:    0     Base:
10.39/10.42	c ==================================[MINISAT+]==================================
10.39/10.42	c | Conflicts | Original         | Learnt                           | Progress |
10.39/10.42	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
10.39/10.42	c ==============================================================================
10.39/10.42	c |     11829 |  159687   334396 |   53229    7588    85433    11.3 | 58.942 % |
10.39/10.48	c |     11929 |  159389   333691 |   58551    7668    86612    11.3 | 60.201 % |
10.49/10.54	c |     12079 |  159067   332946 |   64407    7773    87853    11.3 | 60.540 % |
10.59/10.62	c |     12304 |  158910   332554 |   70847    7977    90850    11.4 | 60.726 % |
10.69/10.77	c |     12641 |  158171   330784 |   77932    8175    93123    11.4 | 61.549 % |
10.89/11.00	c |     13147 |  156838   327648 |   85725    8505    96909    11.4 | 62.992 % |
11.19/11.24	c |     13906 |  155452   324332 |   94298    8942   102437    11.5 | 64.514 % |
11.49/11.51	c |     15045 |  154113   321119 |  103728    9568   110174    11.5 | 65.952 % |
11.99/12.03	c |     16754 |  151982   316054 |  114101   10895   128395    11.8 | 68.295 % |
12.59/12.66	c |     19316 |  149364   309821 |  125511   12855   158469    12.3 | 71.191 % |
13.49/13.51	c |     23161 |  146063   301952 |  138062   15948   240634    15.1 | 74.823 % |
14.59/14.62	c ==============================================================================
14.59/14.62	c Found solution: -45
14.59/14.63	c ---[   0]---> Sorter-cost:    0     Base:
14.59/14.64	c ==================================[MINISAT+]==================================
14.59/14.64	c | Conflicts | Original         | Learnt                           | Progress |
14.59/14.64	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
14.59/14.64	c ==============================================================================
14.59/14.64	c |     27993 |  143276   295278 |   47758   19859   381547    19.2 | 74.823 % |
14.69/14.70	c |     28093 |  143092   294837 |   52533   19899   381810    19.2 | 78.172 % |
14.69/14.73	c |     28243 |  143045   294722 |   57787   19992   387351    19.4 | 78.224 % |
14.69/14.78	c |     28468 |  142992   294593 |   63565   20197   391406    19.4 | 78.284 % |
14.89/14.90	c |     28805 |  142645   293738 |   69922   20435   402541    19.7 | 78.692 % |
14.89/14.98	c |     29311 |  142442   293232 |   76914   20837   415270    19.9 | 78.924 % |
15.09/15.15	c |     30071 |  141981   292132 |   84606   21399   437153    20.4 | 79.436 % |
15.29/15.34	c |     31210 |  141668   291363 |   93066   22336   480207    21.5 | 79.793 % |
15.59/15.62	c |     32918 |  141146   290084 |  102373   23561   520515    22.1 | 80.382 % |
16.09/16.12	c ==============================================================================
16.09/16.12	c Found solution: -47
16.09/16.12	c ---[   0]---> Sorter-cost:    0     Base:
16.09/16.14	c ==================================[MINISAT+]==================================
16.09/16.14	c | Conflicts | Original         | Learnt                           | Progress |
16.09/16.14	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
16.09/16.14	c ==============================================================================
16.09/16.14	c |     35362 |  140166   287767 |   46722   25614   605191    23.6 | 80.382 % |
16.09/16.16	c |     35463 |  140115   287654 |   51394   25710   607261    23.6 | 81.571 % |
16.09/16.19	c |     35614 |  140068   287544 |   56533   25826   610631    23.6 | 81.621 % |
16.19/16.22	c |     35839 |  140068   287544 |   62186   26051   615825    23.6 | 81.621 % |
16.29/16.31	c |     36176 |  139973   287314 |   68405   26268   626127    23.8 | 81.726 % |
16.39/16.49	c |     36682 |  139510   286190 |   75246   26473   634514    24.0 | 82.248 % |
16.59/16.60	c |     37441 |  139369   285843 |   82770   26920   653324    24.3 | 82.414 % |
16.79/16.83	c |     38580 |  139133   285279 |   91047   27705   725186    26.2 | 82.676 % |
17.19/17.20	c |     40288 |  138637   284073 |  100152   29051   790486    27.2 | 83.248 % |
17.59/17.62	c |     42851 |  138490   283713 |  110168   31391   974627    31.0 | 83.420 % |
18.19/18.21	c |     46695 |  138351   283377 |  121184   35145  1243430    35.4 | 83.575 % |
18.99/19.08	c ==============================================================================
18.99/19.08	c Found solution: -48
18.99/19.09	c ---[   0]---> Sorter-cost:    0     Base:
19.09/19.11	c ==================================[MINISAT+]==================================
19.09/19.11	c | Conflicts | Original         | Learnt                           | Progress |
19.09/19.11	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
19.09/19.11	c ==============================================================================
19.09/19.11	c |     50555 |  138168   282900 |   46056   38604  2022403    52.4 | 83.575 % |
19.09/19.17	c |     50655 |  138054   282616 |   50661   38609  2021384    52.4 | 83.921 % |
19.19/19.20	c |     50805 |  138054   282616 |   55727   38759  2029110    52.4 | 83.921 % |
19.19/19.24	c |     51030 |  138054   282616 |   61300   38984  2040283    52.3 | 83.921 % |
19.29/19.31	c |     51368 |  138042   282586 |   67430   39319  2063106    52.5 | 83.936 % |
19.39/19.47	c |     51874 |  137886   282209 |   74173   39751  2101032    52.9 | 84.111 % |
19.49/19.58	c |     52633 |  137886   282209 |   81591   40510  2159768    53.3 | 84.111 % |
19.79/19.82	c |     53773 |  137875   282184 |   89750   41598  2260145    54.3 | 84.123 % |
20.08/20.13	c |     55481 |  137874   282181 |   98725   43301  2419370    55.9 | 84.124 % |
20.79/20.82	c |     58043 |  137526   281329 |  108597   45336  2683122    59.2 | 84.516 % |
21.58/21.68	c |     61888 |  137333   280858 |  119457   48872  3256540    66.6 | 84.730 % |
22.38/22.49	c ==============================================================================
22.38/22.49	c Found solution: -49
22.38/22.49	c ---[   0]---> Sorter-cost:    0     Base:
22.48/22.53	c ==================================[MINISAT+]==================================
22.48/22.53	c | Conflicts | Original         | Learnt                           | Progress |
22.48/22.53	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
22.48/22.53	c ==============================================================================
22.48/22.53	c |     65279 |  137315   280835 |   45771   51978  3598628    69.2 | 84.730 % |
22.58/22.63	c |     65379 |  137180   280495 |   50348   51897  3600108    69.4 | 84.919 % |
22.58/22.67	c |     65529 |  137180   280495 |   55382   52047  3607976    69.3 | 84.919 % |
22.68/22.70	c |     65754 |  137180   280495 |   60921   52272  3622738    69.3 | 84.919 % |
22.68/22.74	c |     66091 |  137180   280495 |   67013   52609  3632772    69.1 | 84.919 % |
22.78/22.88	c |     66598 |  137137   280388 |   73714   52921  3657065    69.1 | 84.969 % |
22.99/23.04	c |     67359 |  137137   280388 |   81086   53682  3710767    69.1 | 84.969 % |
23.28/23.38	c |     68498 |  136979   280008 |   89194   54558  3820113    70.0 | 85.146 % |
23.68/23.77	c |     70206 |  136973   279992 |   98114   56243  4004853    71.2 | 85.154 % |
24.28/24.35	c |     72768 |  136934   279895 |  107925   58751  4298808    73.2 | 85.201 % |
25.29/25.30	c |     76614 |  136892   279789 |  118718   62560  4773668    76.3 | 85.251 % |
26.78/26.84	c |     82381 |  136700   279339 |  130590   67960  5459676    80.3 | 85.458 % |
29.28/29.39	c ==============================================================================
29.28/29.39	c Found solution: -50
29.28/29.39	c ---[   0]---> Sorter-cost:    0     Base:
29.38/29.45	c ==================================[MINISAT+]==================================
29.38/29.45	c | Conflicts | Original         | Learnt                           | Progress |
29.38/29.45	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
29.38/29.45	c ==============================================================================
29.38/29.45	c |     90460 |  136532   278831 |   45510   74694  6953036    93.1 | 85.458 % |
29.48/29.57	c |     90560 |  136464   278655 |   50061   74411  6948685    93.4 | 85.741 % |
29.69/29.71	c |     90710 |  136417   278538 |   55067   74481  6955424    93.4 | 85.797 % |
29.78/29.83	c |     90935 |  136405   278510 |   60573   74646  6968080    93.3 | 85.810 % |
29.88/29.93	c |     91272 |  136405   278510 |   66631   74983  7009939    93.5 | 85.810 % |
30.08/30.14	c |     91778 |  136400   278499 |   73294   75459  7041181    93.3 | 85.815 % |
30.28/30.37	c |     92537 |  136400   278499 |   80623   76218  7152928    93.8 | 85.815 % |
30.69/30.77	c |     93676 |  136364   278413 |   88686   77305  7247610    93.8 | 85.853 % |
31.38/31.45	c |     95385 |  136308   278275 |   97554   78849  7456746    94.6 | 85.918 % |
32.38/32.43	c |     97947 |  136218   278063 |  107310   80907  7764352    96.0 | 86.013 % |
33.78/33.84	c |    101791 |  136088   277745 |  118041   84440  8213995    97.3 | 86.162 % |
35.78/35.88	c |    107557 |  136064   277687 |  129845   90075  9016402   100.1 | 86.190 % |
38.88/38.98	c |    116206 |  136022   277589 |  142829   98568 10439831   105.9 | 86.235 % |
44.18/44.27	c |    129180 |  135958   277423 |  157112  111345 12646024   113.6 | 86.317 % |
52.58/52.69	c ==============================================================================
52.58/52.69	c Found solution: -51
52.58/52.69	c ---[   0]---> Sorter-cost:    0     Base:
52.69/52.80	c ==================================[MINISAT+]==================================
52.69/52.80	c | Conflicts | Original         | Learnt                           | Progress |
52.69/52.80	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
52.69/52.80	c ==============================================================================
52.69/52.80	c |    148321 |  135957   277438 |   45319  130223 15730153   120.8 | 86.317 % |
52.88/52.95	c |    148422 |  135957   277438 |   49850   24905  2199827    88.3 | 86.345 % |
52.98/53.08	c |    148573 |  135761   276976 |   54835   25024  2204417    88.1 | 86.559 % |
53.08/53.12	c |    148798 |  135761   276976 |   60319   25249  2226751    88.2 | 86.559 % |
53.08/53.19	c |    149136 |  135720   276879 |   66351   25512  2254993    88.4 | 86.604 % |
53.28/53.30	c |    149642 |  135720   276879 |   72986   26018  2332814    89.7 | 86.604 % |
53.38/53.44	c |    150401 |  135720   276879 |   80285   26777  2408291    89.9 | 86.604 % |
53.58/53.66	c |    151540 |  135702   276835 |   88313   27897  2483201    89.0 | 86.625 % |
53.98/54.01	c |    153248 |  135702   276835 |   97145   29605  2772450    93.6 | 86.625 % |
54.48/54.55	c |    155810 |  135702   276835 |  106859   32167  3126831    97.2 | 86.625 % |
55.38/55.42	c |    159654 |  135612   276612 |  117545   35988  3684634   102.4 | 86.729 % |
56.58/56.67	c |    165420 |  135607   276601 |  129300   41745  4431623   106.2 | 86.734 % |
58.88/58.97	c |    174070 |  135508   276357 |  142230   50341  5727326   113.8 | 86.851 % |
62.28/62.34	c |    187044 |  135497   276330 |  156453   63312  7266165   114.8 | 86.864 % |
69.18/69.22	c |    206506 |  135479   276284 |  172098   82704 10726038   129.7 | 86.887 % |
81.17/81.30	c |    235699 |  135459   276234 |  189308  111867 16290181   145.6 | 86.911 % |
106.47/106.51	c |    279488 |  135452   276217 |  208239  155603 25016291   160.8 | 86.919 % |
148.73/148.83	c |    345172 |  135380   276055 |  229063  220765 36797229   166.7 | 86.991 % |
204.88/205.06	c |    443698 |  135206   275642 |  251969   59460  8783473   147.7 | 87.181 % |
229.26/229.40	c ==============================================================================
229.26/229.40	c Found solution: -52
229.26/229.40	c ---[   0]---> Sorter-cost:    0     Base:
229.36/229.54	c ==================================[MINISAT+]==================================
229.36/229.54	c | Conflicts | Original         | Learnt                           | Progress |
229.36/229.54	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
229.36/229.54	c ==============================================================================
229.36/229.54	c |    516501 |  135128   275433 |   45042  130595 22536230   172.6 | 87.181 % |
229.56/229.70	c |    516602 |  135128   275433 |   49546   26574  2309815    86.9 | 87.271 % |
229.56/229.73	c |    516753 |  135125   275426 |   54500   26723  2316791    86.7 | 87.274 % |
229.56/229.78	c |    516978 |  135112   275395 |   59950   26944  2337513    86.8 | 87.289 % |
229.67/229.83	c |    517315 |  135112   275395 |   65945   27281  2368422    86.8 | 87.289 % |
229.77/229.91	c |    517821 |  135112   275395 |   72540   27787  2424563    87.3 | 87.289 % |
229.86/230.00	c |    518580 |  135112   275395 |   79794   28546  2478738    86.8 | 87.289 % |
229.96/230.17	c |    519720 |  135112   275395 |   87774   29686  2638059    88.9 | 87.289 % |
230.26/230.43	c |    521428 |  135112   275395 |   96551   31394  2872698    91.5 | 87.289 % |
230.66/230.89	c |    523991 |  135097   275358 |  106206   33918  3288137    96.9 | 87.306 % |
231.36/231.58	c |    527835 |  135097   275358 |  116827   37762  3982447   105.5 | 87.306 % |
232.46/232.63	c |    533603 |  135097   275358 |  128510   43530  4855981   111.6 | 87.306 % |
234.25/234.45	c |    542252 |  135087   275336 |  141361   52160  6131522   117.6 | 87.316 % |
237.25/237.44	c |    555226 |  135079   275316 |  155497   65082  8646326   132.9 | 87.326 % |
242.45/242.67	c |    574688 |  135079   275316 |  171046   84544 11657920   137.9 | 87.326 % |
251.34/251.52	c |    603880 |  135052   275251 |  188151  113703 16454667   144.7 | 87.356 % |
271.23/271.42	c |    647669 |  134999   275118 |  206966  157151 25547800   162.6 | 87.419 % |
303.82/304.05	c |    713353 |  134993   275102 |  227663  222829 36016847   161.6 | 87.427 % |
360.92/361.13	c |    811880 |  134989   275092 |  250429   64712  9697522   149.9 | 87.432 % |
416.41/416.69	c |    959669 |  134886   274843 |  275472  212470 35457649   166.9 | 87.549 % |
529.78/530.03	c |   1181352 |  134713   274426 |  303020  126336 19908718   157.6 | 87.745 % |
694.85/695.15	c |   1513877 |  134626   274211 |  333322  126992 20074082   158.1 | 87.848 % |
993.07/993.45	c |   2012665 |  134617   274192 |  366654  261967 35518957   135.6 | 87.856 % |
1456.59/1457.05	c |   2760847 |  134497   273895 |  403319  224205 26438197   117.9 | 87.995 % |
1520.48/1520.96	c ==============================================================================
1520.48/1520.96	c Found solution: -53
1520.48/1520.96	c ---[   0]---> Sorter-cost:    0     Base:
1520.79/1521.26	c ==================================[MINISAT+]==================================
1520.79/1521.26	c | Conflicts | Original         | Learnt                           | Progress |
1520.79/1521.26	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1520.79/1521.26	c ==============================================================================
1520.79/1521.26	c |   2891923 |  134446   273765 |   44815  355209 49856741   140.4 | 87.995 % |
1523.58/1524.08	c |   2892023 |  134446   273765 |   49296   28984  2169434    74.8 | 88.070 % |
1523.58/1524.09	c |   2892174 |  134446   273765 |   54226   29135  2176175    74.7 | 88.070 % |
1523.68/1524.12	c |   2892399 |  134446   273765 |   59648   29360  2190837    74.6 | 88.070 % |
1523.68/1524.16	c |   2892736 |  134446   273765 |   65613   29697  2207303    74.3 | 88.070 % |
1523.78/1524.22	c |   2893242 |  134446   273765 |   72175   30203  2247403    74.4 | 88.070 % |
1523.88/1524.32	c |   2894002 |  134446   273765 |   79392   30963  2355681    76.1 | 88.070 % |
1523.98/1524.44	c |   2895141 |  134446   273765 |   87331   32102  2422747    75.5 | 88.070 % |
1524.19/1524.66	c |   2896849 |  134446   273765 |   96064   33810  2600088    76.9 | 88.070 % |
1524.58/1525.02	c |   2899411 |  134443   273758 |  105671   36368  2880561    79.2 | 88.074 % |
1525.19/1525.61	c |   2903257 |  134435   273738 |  116238   40210  3371351    83.8 | 88.083 % |
1526.18/1526.64	c |   2909024 |  134435   273738 |  127862   45977  4217412    91.7 | 88.083 % |
1527.68/1528.13	c |   2917673 |  134428   273719 |  140648   54573  5240058    96.0 | 88.093 % |
1530.48/1530.93	c |   2930648 |  134428   273719 |  154713   67548  7170758   106.2 | 88.093 % |
1536.58/1537.02	c |   2950109 |  134428   273719 |  170184   87009 11053844   127.0 | 88.093 % |
1545.78/1546.27	c |   2979303 |  134428   273719 |  187203  116203 16503216   142.0 | 88.093 % |
1562.38/1562.89	c |   3023092 |  134425   273712 |  205923  159987 23780465   148.6 | 88.096 % |
1594.87/1595.31	c |   3088779 |  134415   273688 |  226516  225663 34855834   154.5 | 88.107 % |
1645.57/1646.05	c |   3187306 |  134410   273677 |  249167   70375  9335890   132.7 | 88.112 % |
1700.66/1701.14	c ==============================================================================
1700.66/1701.14	c Found solution: -54
1700.66/1701.14	c ---[   0]---> Sorter-cost:    0     Base:
1700.86/1701.33	c ==================================[MINISAT+]==================================
1700.86/1701.33	c | Conflicts | Original         | Learnt                           | Progress |
1700.86/1701.33	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1700.86/1701.33	c ==============================================================================
1700.86/1701.33	c |   3317957 |  134397   273526 |   44799  200982 30926743   153.9 | 88.112 % |
1701.26/1701.79	c |   3318058 |  134397   273526 |   49278   31208  1511816    48.4 | 88.127 % |
1701.36/1701.81	c |   3318209 |  134397   273526 |   54206   31359  1518547    48.4 | 88.127 % |
1701.36/1701.83	c |   3318434 |  134397   273526 |   59627   31584  1531152    48.5 | 88.127 % |
1701.36/1701.87	c |   3318771 |  134397   273526 |   65590   31921  1548446    48.5 | 88.127 % |
1701.46/1701.92	c |   3319277 |  134397   273526 |   72149   32427  1582719    48.8 | 88.127 % |
1701.56/1702.00	c |   3320036 |  134397   273526 |   79364   33186  1636337    49.3 | 88.127 % |
1701.66/1702.14	c |   3321175 |  134397   273526 |   87300   34325  1738758    50.7 | 88.127 % |
1701.96/1702.40	c |   3322883 |  134397   273526 |   96030   36033  2019361    56.0 | 88.127 % |
1702.36/1702.81	c |   3325446 |  134385   273496 |  105633   38590  2383246    61.8 | 88.141 % |
1702.96/1703.44	c |   3329290 |  134385   273496 |  116197   42434  2879904    67.9 | 88.141 % |
1703.96/1704.40	c |   3335056 |  134385   273496 |  127816   48200  3586795    74.4 | 88.141 % |
1705.56/1706.00	c |   3343706 |  134385   273496 |  140598   56850  4749932    83.6 | 88.141 % |
1708.36/1708.86	c |   3356680 |  134385   273496 |  154658   69824  6899902    98.8 | 88.141 % |
1713.46/1713.98	c |   3376142 |  134385   273496 |  170124   89286  9962597   111.6 | 88.141 % |
1721.85/1722.35	c |   3405336 |  134385   273496 |  187136  118480 13561387   114.5 | 88.141 % |
1736.05/1736.59	c |   3449126 |  134368   273453 |  205850  162208 18846628   116.2 | 88.162 % |
1769.05/1769.59	c |   3514812 |  134363   273442 |  226435  227892 28215806   123.8 | 88.167 % |
1800.05/1800.50	c 
1800.05/1800.50	c *** TERMINATED ***
1800.05/1800.50	s SATISFIABLE
1800.05/1800.50	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 x1044 -x1043 -x1042 -x1041 x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 x937 -x936 -x935 -x934 -x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 -x468 x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-54

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3723569-1338571826/watcher-3723569-1338571826 -o /tmp/evaluation-result-3723569-1338571826/solver-3723569-1338571826 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723569-1338571826.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.87 2/176 12860
/proc/meminfo: memFree=29254116/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0

[startup+0.00740999 s]
/proc/loadavg: 2.00 2.00 1.87 2/176 12860
/proc/meminfo: memFree=29254116/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100258 s]
/proc/loadavg: 2.00 2.00 1.87 2/176 12860
/proc/meminfo: memFree=29254116/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300313 s]
/proc/loadavg: 2.00 2.00 1.87 2/176 12860
/proc/meminfo: memFree=29254116/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700357 s]
/proc/loadavg: 2.00 2.00 1.87 2/176 12860
/proc/meminfo: memFree=29254116/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 12865
/proc/meminfo: memFree=29192596/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=63584 CPUtime=1.49 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 15545 0 0 0 144 5 0 0 20 0 1 0 323311019 65110016 15501 33554432000 4194304 5276501 140734523928864 140734523927112 4391506 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 15896 15501 118 265 0 15628 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72732

[startup+3.10043 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 12865
/proc/meminfo: memFree=29192076/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=63584 CPUtime=3.09 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 15547 0 0 0 304 5 0 0 20 0 1 0 323311019 65110016 15503 33554432000 4194304 5276501 140734523928864 140734523927112 4391545 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 15896 15503 120 265 0 15628 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72732

[startup+6.30043 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 12865
/proc/meminfo: memFree=29191832/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=63584 CPUtime=6.29 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 15547 0 0 0 624 5 0 0 20 0 1 0 323311019 65110016 15503 33554432000 4194304 5276501 140734523928864 140734523927112 4391506 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 15896 15503 120 265 0 15628 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72732

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 12865
/proc/meminfo: memFree=29192260/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=63584 CPUtime=12.69 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 15547 0 0 0 1264 5 0 0 20 0 1 0 323311019 65110016 15503 33554432000 4194304 5276501 140734523928864 140734523927112 4399741 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 15896 15503 120 265 0 15628 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 72732

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 12865
/proc/meminfo: memFree=29186440/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=63584 CPUtime=25.48 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 15547 0 0 0 2543 5 0 0 20 0 1 0 323311019 65110016 15503 33554432000 4194304 5276501 140734523928864 140734523927112 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 15896 15503 120 265 0 15628 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72732

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 12865
/proc/meminfo: memFree=29095276/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=104344 CPUtime=51.08 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 25799 0 0 0 5099 9 0 0 20 0 1 0 323311019 106848256 25662 33554432000 4194304 5276501 140734523928864 140734523926856 4633554 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 26086 25662 120 265 0 25818 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 113492

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 12865
/proc/meminfo: memFree=28991284/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=142052 CPUtime=102.27 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 35247 0 0 0 10215 12 0 0 20 0 1 0 323311019 145461248 35000 33554432000 4194304 5276501 140734523928864 140734523926856 4399951 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 35513 35000 120 265 0 35245 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 151200

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 12865
/proc/meminfo: memFree=28918772/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=215584 CPUtime=162.23 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 53642 0 0 0 16203 20 0 0 20 0 1 0 323311019 220758016 53356 33554432000 4194304 5276501 140734523928864 140734523926456 4399342 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 53896 53356 120 265 0 53628 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 224732

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 12865
/proc/meminfo: memFree=28842292/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=256644 CPUtime=222.17 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 64006 0 0 0 22193 24 0 0 20 0 1 0 323311019 262803456 63683 33554432000 4194304 5276501 140734523928864 140734523927112 4395041 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 64161 63683 120 265 0 63893 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 265792

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 12866
/proc/meminfo: memFree=28842228/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=256644 CPUtime=282.13 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 64038 0 0 0 28189 24 0 0 20 0 1 0 323311019 262803456 63719 33554432000 4194304 5276501 140734523928864 140734523927112 4399951 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 64161 63719 120 265 0 63893 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 265792

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 12866
/proc/meminfo: memFree=28815444/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=256644 CPUtime=342.12 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 64039 0 0 0 34188 24 0 0 20 0 1 0 323311019 262803456 63720 33554432000 4194304 5276501 140734523928864 140734523927112 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 64161 63720 120 265 0 63893 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 265792

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 12866
/proc/meminfo: memFree=28815420/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=364780 CPUtime=1121.95 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 90796 0 0 0 112154 41 0 0 20 0 1 0 323311019 373534720 90739 33554432000 4194304 5276501 140734523928864 140734523927112 4397196 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 91195 90739 120 265 0 90927 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 373928

[startup+1182.3 s]
/proc/loadavg: 2.06 2.04 1.93 3/178 12875
/proc/meminfo: memFree=28705584/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=364780 CPUtime=1181.94 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 90796 0 0 0 118153 41 0 0 20 0 1 0 323311019 373534720 90739 33554432000 4194304 5276501 140734523928864 140734523927112 4400452 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 91195 90739 120 265 0 90927 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 373928

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 1.93 3/177 12875
/proc/meminfo: memFree=28699400/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=364780 CPUtime=1241.93 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 90796 0 0 0 124152 41 0 0 20 0 1 0 323311019 373534720 90739 33554432000 4194304 5276501 140734523928864 140734523927112 4399918 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 91195 90739 120 265 0 90927 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 373928

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/177 12875
/proc/meminfo: memFree=28699028/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=364780 CPUtime=1301.93 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 90796 0 0 0 130152 41 0 0 20 0 1 0 323311019 373534720 90739 33554432000 4194304 5276501 140734523928864 140734523927112 4399854 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 91195 90739 120 265 0 90927 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 373928

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/177 12875
/proc/meminfo: memFree=28697724/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=364780 CPUtime=1361.91 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 90797 0 0 0 136150 41 0 0 20 0 1 0 323311019 373534720 90744 33554432000 4194304 5276501 140734523928864 140734523927112 4399846 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 91195 90744 120 265 0 90927 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 373928

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.93 3/176 12875
/proc/meminfo: memFree=28698600/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=364780 CPUtime=1421.91 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 90798 0 0 0 142150 41 0 0 20 0 1 0 323311019 373534720 90745 33554432000 4194304 5276501 140734523928864 140734523927112 4399826 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 91195 90745 120 265 0 90927 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 373928

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/177 12877
/proc/meminfo: memFree=28697964/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=364780 CPUtime=1481.89 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 90798 0 0 0 148148 41 0 0 20 0 1 0 323311019 373534720 90745 33554432000 4194304 5276501 140734523928864 140734523927112 4399820 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 91195 90745 120 265 0 90927 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 373928

[startup+1542.3 s]
/proc/loadavg: 2.11 2.04 1.95 3/177 12877
/proc/meminfo: memFree=28698152/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=364780 CPUtime=1541.88 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 90798 0 0 0 154147 41 0 0 20 0 1 0 323311019 373534720 90745 33554432000 4194304 5276501 140734523928864 140734523927112 4399995 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 91195 90745 120 265 0 90927 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 373928

[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 1.95 3/177 12877
/proc/meminfo: memFree=28697532/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=364780 CPUtime=1601.87 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 90798 0 0 0 160146 41 0 0 20 0 1 0 323311019 373534720 90745 33554432000 4194304 5276501 140734523928864 140734523927112 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 91195 90745 120 265 0 90927 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 373928

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/177 12877
/proc/meminfo: memFree=28697904/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=364780 CPUtime=1661.86 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 90798 0 0 0 166145 41 0 0 20 0 1 0 323311019 373534720 90745 33554432000 4194304 5276501 140734523928864 140734523927112 4399942 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 91195 90745 120 265 0 90927 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 373928

[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 1.95 3/177 12877
/proc/meminfo: memFree=28697532/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=364780 CPUtime=1721.85 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 90798 0 0 0 172144 41 0 0 20 0 1 0 323311019 373534720 90745 33554432000 4194304 5276501 140734523928864 140734523927112 4397703 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 91195 90745 120 265 0 90927 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 373928

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 1.95 3/178 12881
/proc/meminfo: memFree=28695516/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=364780 CPUtime=1781.85 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 90798 0 0 0 178144 41 0 0 20 0 1 0 323311019 373534720 90745 33554432000 4194304 5276501 140734523928864 140734523927112 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 91195 90745 120 265 0 90927 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 373928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.02 2.02 1.95 3/175 12904
/proc/meminfo: memFree=28953808/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=364780 CPUtime=1800.05 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 90798 0 0 0 179964 41 0 0 20 0 1 0 323311019 373534720 90745 33554432000 4194304 5276501 140734523928864 140734523927112 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 91195 90745 120 265 0 90927 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 373928

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 2.02 2.02 1.95 3/175 12904
/proc/meminfo: memFree=28953808/32873844 swapFree=6088/6088
[pid=12860] ppid=12858 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12860/stat : 12860 (minisat+_script) S 12858 12860 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323311019 9367552 277 33554432000 4194304 5064252 140734464990720 140734464989632 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 2287 277 236 213 0 72 0
[pid=12864] ppid=12860 vsize=364780 CPUtime=1800.05 cores=1,3,5,7
/proc/12864/stat : 12864 (minisat+_64-bit) R 12860 12860 10645 0 -1 4202496 90798 0 0 0 179964 41 0 0 20 0 1 0 323311019 373534720 90745 33554432000 4194304 5276501 140734523928864 140734523927112 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12864/statm: 91195 90745 120 265 0 90927 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 373928

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.65
CPU system time (s): 0.413937
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 373928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.413937
maximum resident set size= 362984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91747
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= 184
involuntary context switches= 1923

runsolver used 2.89556 second user time and 7.55685 second system time

The end

Launcher Data 

Begin job on node110 at 2012-06-01 19:30:26
IDJOB=3723569
IDBENCH=2266
IDSOLVER=2307
FILE ID=node110/3723569-1338571826
RUNJOBID= node110-1338570018-12706
PBS_JOBID= 14635874
Free space on /tmp= 71128 MiB

SOLVER NAME= minisatp 1.0-2-g022594c
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
COMMAND LINE= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723569-1338571826/watcher-3723569-1338571826 -o /tmp/evaluation-result-3723569-1338571826/solver-3723569-1338571826 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3723569-1338571826.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 937ec96fd1742e5ed6250d14e65c707b
RANDOM SEED=949763391

node110.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29254760 kB
Buffers:          375056 kB
Cached:          2324816 kB
SwapCached:          604 kB
Active:          1281272 kB
Inactive:        1493376 kB
Active(anon):      64716 kB
Inactive(anon):    12328 kB
Active(file):    1216556 kB
Inactive(file):  1481048 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67107364 kB
Dirty:             11196 kB
Writeback:             0 kB
AnonPages:         79736 kB
Mapped:            11908 kB
Shmem:                40 kB
Slab:             704040 kB
SReclaimable:     146116 kB
SUnreclaim:       557924 kB
KernelStack:        1472 kB
PageTables:         3612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     177048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71124 MiB
End job on node110 at 2012-06-01 20:00:26