Trace number 3723568

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)-55 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-3.opb
MD5SUM36a19a7aeba117287b60c4673ad89664
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-55
Best CPU time to get the best result obtained on this benchmark1800.06
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 constraints126082
Number of constraints which are clauses126082
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.13	c Converting 126082 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.14	c   -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.24	c ==================================[MINISAT+]==================================
0.00/0.24	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.24	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.24	c ==============================================================================
0.00/0.24	c |         0 |  126082   252164 |   42027       0        0    -nan |  0.000 % |
0.00/0.24	c ==============================================================================
0.00/0.24	c Found solution: -43
0.00/0.24	c ---[   0]---> Sorter-cost:85954     Base:
0.00/0.29	c ==================================[MINISAT+]==================================
0.00/0.29	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.29	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.29	c ==============================================================================
0.00/0.29	c |         0 |  216998   465444 |   72332       0        0    -nan |  0.000 % |
0.00/0.40	c |       100 |  216440   464274 |   79565      77      692     9.0 |  0.496 % |
0.00/0.53	c |       250 |  215718   462730 |   87521     178     1363     7.7 |  1.160 % |
0.00/0.69	c |       475 |  214836   460831 |   96273     357     3111     8.7 |  1.981 % |
0.00/0.99	c |       813 |  212641   456042 |  105901     592     5851     9.9 |  4.071 % |
1.39/1.41	c |      1319 |  209385   448854 |  116491     990    12030    12.2 |  7.246 % |
1.99/2.03	c |      2078 |  205094   439353 |  128140    1507    17185    11.4 | 11.504 % |
2.99/3.09	c |      3217 |  196864   420718 |  140954    2245    27826    12.4 | 19.808 % |
4.29/4.39	c |      4925 |  187237   398746 |  155050    3489    42861    12.3 | 29.713 % |
5.88/5.95	c |      7487 |  173376   366877 |  170555    5115    61822    12.1 | 44.059 % |
7.68/7.78	c |     11331 |  159492   333981 |  187610    7532    94533    12.6 | 59.124 % |
9.18/9.29	c ==============================================================================
9.18/9.29	c Found solution: -45
9.18/9.29	c ---[   0]---> Sorter-cost:    0     Base:
9.28/9.30	c ==================================[MINISAT+]==================================
9.28/9.30	c | Conflicts | Original         | Learnt                           | Progress |
9.28/9.30	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
9.28/9.30	c ==============================================================================
9.28/9.30	c |     16928 |  149802   311123 |   49934   11396   141663    12.4 | 59.124 % |
9.28/9.31	c |     17028 |  149799   311116 |   54927   11479   142643    12.4 | 69.684 % |
9.28/9.36	c |     17178 |  149667   310787 |   60420   11590   143959    12.4 | 69.834 % |
9.38/9.42	c |     17403 |  149293   309898 |   66462   11719   146369    12.5 | 70.243 % |
9.48/9.50	c |     17740 |  148784   308685 |   73108   11887   148419    12.5 | 70.797 % |
9.58/9.64	c |     18247 |  147903   306593 |   80419   12215   154399    12.6 | 71.759 % |
9.78/9.85	c |     19006 |  146396   302936 |   88461   12506   158266    12.7 | 73.459 % |
9.98/10.07	c |     20145 |  145008   299611 |   97307   13181   169044    12.8 | 74.998 % |
10.38/10.45	c |     21853 |  142747   294160 |  107037   14306   195202    13.6 | 77.531 % |
10.78/10.84	c |     24415 |  141255   290560 |  117741   16185   246625    15.2 | 79.216 % |
11.28/11.34	c |     28259 |  139824   287123 |  129515   19133   334350    17.5 | 80.817 % |
11.88/11.90	c ==============================================================================
11.88/11.90	c Found solution: -46
11.88/11.90	c ---[   0]---> Sorter-cost:    0     Base:
11.88/11.92	c ==================================[MINISAT+]==================================
11.88/11.92	c | Conflicts | Original         | Learnt                           | Progress |
11.88/11.92	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
11.88/11.92	c ==============================================================================
11.88/11.92	c |     32329 |  138442   283707 |   46147   22051   454184    20.6 | 80.817 % |
11.88/11.98	c |     32429 |  138272   283302 |   50761   22102   454663    20.6 | 82.557 % |
11.88/12.00	c |     32579 |  138272   283302 |   55837   22252   462863    20.8 | 82.557 % |
11.98/12.02	c |     32804 |  138235   283209 |   61421   22462   469316    20.9 | 82.601 % |
11.98/12.08	c |     33141 |  138102   282870 |   67563   22733   489563    21.5 | 82.764 % |
12.18/12.20	c |     33647 |  137551   281529 |   74320   22781   497040    21.8 | 83.390 % |
12.18/12.29	c |     34406 |  137503   281409 |   81752   23490   535944    22.8 | 83.447 % |
12.38/12.42	c |     35545 |  137448   281276 |   89927   24535   596789    24.3 | 83.510 % |
12.48/12.59	c |     37253 |  137448   281276 |   98920   26243   690947    26.3 | 83.510 % |
12.88/12.90	c ==============================================================================
12.88/12.90	c Found solution: -47
12.88/12.90	c ---[   0]---> Sorter-cost:    0     Base:
12.88/12.91	c ==================================[MINISAT+]==================================
12.88/12.91	c | Conflicts | Original         | Learnt                           | Progress |
12.88/12.91	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
12.88/12.91	c ==============================================================================
12.88/12.91	c |     39752 |  137258   280848 |   45752   28494   838458    29.4 | 83.510 % |
12.88/12.94	c |     39852 |  137152   280594 |   50327   28576   839554    29.4 | 83.892 % |
12.88/12.96	c |     40003 |  137152   280594 |   55359   28727   842735    29.3 | 83.892 % |
12.88/12.99	c |     40228 |  137059   280376 |   60895   28937   851271    29.4 | 83.993 % |
12.98/13.04	c |     40566 |  137050   280355 |   66985   29202   863742    29.6 | 84.003 % |
12.98/13.10	c |     41072 |  137047   280348 |   73684   29698   886010    29.8 | 84.006 % |
13.18/13.24	c |     41831 |  136847   279867 |   81052   30237   928109    30.7 | 84.233 % |
13.37/13.43	c |     42970 |  136741   279601 |   89157   31300  1001197    32.0 | 84.360 % |
13.57/13.67	c |     44679 |  136644   279359 |   98073   32809  1147806    35.0 | 84.475 % |
13.97/14.04	c |     47241 |  136428   278829 |  107880   35085  1297667    37.0 | 84.728 % |
14.18/14.29	c ==============================================================================
14.18/14.29	c Found solution: -48
14.18/14.29	c ---[   0]---> Sorter-cost:    0     Base:
14.28/14.31	c ==================================[MINISAT+]==================================
14.28/14.31	c | Conflicts | Original         | Learnt                           | Progress |
14.28/14.31	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
14.28/14.31	c ==============================================================================
14.28/14.31	c |     48543 |  136218   278286 |   45406   36019  1359357    37.7 | 84.728 % |
14.28/14.34	c |     48643 |  136161   278157 |   49946   36085  1359936    37.7 | 85.036 % |
14.28/14.38	c |     48794 |  136092   277997 |   54941   36190  1364570    37.7 | 85.108 % |
14.37/14.41	c |     49019 |  136092   277997 |   60435   36415  1373723    37.7 | 85.108 % |
14.37/14.45	c |     49356 |  136092   277997 |   66478   36752  1389339    37.8 | 85.108 % |
14.47/14.54	c |     49862 |  136001   277773 |   73126   37083  1430812    38.6 | 85.210 % |
14.57/14.64	c |     50621 |  136001   277773 |   80439   37842  1482025    39.2 | 85.210 % |
14.67/14.79	c |     51760 |  136001   277773 |   88483   38981  1576532    40.4 | 85.210 % |
14.97/15.07	c |     53468 |  135904   277538 |   97331   40609  1744414    43.0 | 85.319 % |
15.37/15.47	c |     56032 |  135775   277222 |  107064   42884  2027455    47.3 | 85.466 % |
15.97/16.07	c |     59877 |  135675   276996 |  117771   46543  2314938    49.7 | 85.567 % |
16.77/16.89	c ==============================================================================
16.77/16.89	c Found solution: -49
16.77/16.89	c ---[   0]---> Sorter-cost:    0     Base:
16.87/16.92	c ==================================[MINISAT+]==================================
16.87/16.92	c | Conflicts | Original         | Learnt                           | Progress |
16.87/16.92	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
16.87/16.92	c ==============================================================================
16.87/16.92	c |     64442 |  135697   277062 |   45232   51108  3167470    62.0 | 85.567 % |
16.87/16.94	c |     64543 |  135697   277062 |   49755   51209  3172643    62.0 | 85.552 % |
16.87/16.99	c |     64693 |  135692   277051 |   54730   51354  3179163    61.9 | 85.557 % |
16.97/17.05	c |     64918 |  135645   276938 |   60203   51492  3192161    62.0 | 85.610 % |
16.97/17.10	c |     65255 |  135645   276938 |   66224   51829  3204637    61.8 | 85.610 % |
17.07/17.18	c |     65761 |  135645   276938 |   72846   52335  3270635    62.5 | 85.610 % |
17.27/17.31	c |     66520 |  135645   276938 |   80131   53094  3338267    62.9 | 85.610 % |
17.47/17.51	c |     67659 |  135638   276921 |   88144   54172  3433163    63.4 | 85.618 % |
17.77/17.81	c |     69367 |  135638   276921 |   96958   55880  3632151    65.0 | 85.618 % |
18.27/18.34	c |     71929 |  135628   276897 |  106654   58430  3980153    68.1 | 85.629 % |
19.07/19.13	c |     75773 |  135514   276619 |  117320   62178  4451224    71.6 | 85.761 % |
20.37/20.48	c |     81539 |  135349   276221 |  129052   67480  5179774    76.8 | 85.948 % |
22.37/22.45	c |     90189 |  135304   276116 |  141957   76076  6620529    87.0 | 85.996 % |
24.27/24.30	c ==============================================================================
24.27/24.30	c Found solution: -50
24.27/24.30	c ---[   0]---> Sorter-cost:    0     Base:
24.27/24.35	c ==================================[MINISAT+]==================================
24.27/24.35	c | Conflicts | Original         | Learnt                           | Progress |
24.27/24.35	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
24.27/24.35	c ==============================================================================
24.27/24.35	c |     96222 |  135295   276073 |   45098   81243  7955985    97.9 | 85.996 % |
24.27/24.38	c |     96325 |  135295   276073 |   49607   81346  7960168    97.9 | 86.010 % |
24.37/24.42	c |     96475 |  135295   276073 |   54568   81496  7968071    97.8 | 86.010 % |
24.37/24.46	c |     96701 |  135295   276073 |   60025   81722  7974247    97.6 | 86.010 % |
24.47/24.55	c |     97038 |  135295   276073 |   66027   82059  8005779    97.6 | 86.010 % |
24.57/24.69	c |     97545 |  135295   276073 |   72630   82566  8056681    97.6 | 86.010 % |
24.87/24.93	c |     98304 |  135292   276066 |   79893   83323  8109434    97.3 | 86.013 % |
25.17/25.23	c |     99443 |  135248   275962 |   87883   84432  8232924    97.5 | 86.061 % |
25.66/25.72	c |    101151 |  135236   275934 |   96671   86018  8416001    97.8 | 86.074 % |
26.56/26.66	c |    103713 |  135056   275510 |  106338   88474  8670675    98.0 | 86.270 % |
27.66/27.79	c |    107557 |  135056   275510 |  116972   92318  9399040   101.8 | 86.270 % |
29.35/29.47	c |    113323 |  135056   275510 |  128669   98084 10524559   107.3 | 86.270 % |
31.96/32.08	c |    121972 |  135012   275404 |  141536  106687 11780061   110.4 | 86.320 % |
36.65/36.71	c |    134946 |  134964   275290 |  155690  119459 14037503   117.5 | 86.372 % |
43.75/43.84	c |    154407 |  134893   275111 |  171259  138407 17170033   124.1 | 86.459 % |
47.94/48.03	c ==============================================================================
47.94/48.03	c Found solution: -51
47.94/48.04	c ---[   0]---> Sorter-cost:    0     Base:
48.04/48.15	c ==================================[MINISAT+]==================================
48.04/48.15	c | Conflicts | Original         | Learnt                           | Progress |
48.04/48.15	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
48.04/48.15	c ==============================================================================
48.04/48.15	c |    164760 |  134845   275017 |   44948  148421 18931037   127.5 | 86.459 % |
48.14/48.29	c |    164861 |  134845   275017 |   49442   25784  2325235    90.2 | 86.537 % |
48.25/48.34	c |    165011 |  134836   274996 |   54387   25894  2330259    90.0 | 86.547 % |
48.25/48.37	c |    165239 |  134836   274996 |   59825   26122  2342416    89.7 | 86.547 % |
48.35/48.45	c |    165576 |  134826   274974 |   65808   26456  2357520    89.1 | 86.556 % |
48.44/48.54	c |    166084 |  134820   274960 |   72389   26963  2400065    89.0 | 86.563 % |
48.54/48.64	c |    166843 |  134820   274960 |   79628   27722  2467374    89.0 | 86.563 % |
48.74/48.87	c |    167984 |  134715   274707 |   87590   28842  2613231    90.6 | 86.682 % |
49.14/49.22	c |    169692 |  134660   274568 |   96350   30526  2796397    91.6 | 86.749 % |
49.64/49.71	c |    172255 |  134514   274209 |  105985   32916  3129706    95.1 | 86.915 % |
50.24/50.35	c |    176099 |  134510   274199 |  116583   36757  3569366    97.1 | 86.919 % |
51.34/51.42	c |    181865 |  134462   274084 |  128241   42480  4462183   105.0 | 86.972 % |
53.34/53.41	c |    190515 |  134418   273978 |  141066   51054  6097580   119.4 | 87.022 % |
56.33/56.45	c |    203490 |  134418   273978 |  155172   64029  8505735   132.8 | 87.022 % |
61.63/61.73	c |    222953 |  134358   273828 |  170689   83475 11973864   143.4 | 87.095 % |
70.23/70.38	c |    252145 |  134340   273786 |  187758  112646 17392867   154.4 | 87.114 % |
87.62/87.77	c |    295934 |  134340   273786 |  206534  156435 25123306   160.6 | 87.114 % |
104.52/104.63	c ==============================================================================
104.52/104.63	c Found solution: -52
104.52/104.63	c ---[   0]---> Sorter-cost:    0     Base:
104.72/104.80	c ==================================[MINISAT+]==================================
104.72/104.80	c | Conflicts | Original         | Learnt                           | Progress |
104.72/104.80	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
104.72/104.80	c ==============================================================================
104.72/104.80	c |    332405 |  134263   273577 |   44754  192641 30502656   158.3 | 87.114 % |
104.92/105.04	c |    332505 |  134263   273577 |   49229   29548  2157688    73.0 | 87.207 % |
104.92/105.08	c |    332655 |  134258   273564 |   54152   29697  2166810    73.0 | 87.214 % |
105.02/105.12	c |    332880 |  134258   273564 |   59567   29922  2201551    73.6 | 87.214 % |
105.02/105.17	c |    333220 |  134258   273564 |   65524   30262  2224955    73.5 | 87.214 % |
105.12/105.25	c |    333729 |  134258   273564 |   72076   30771  2294665    74.6 | 87.214 % |
105.22/105.39	c |    334489 |  134255   273557 |   79284   31530  2366685    75.1 | 87.217 % |
105.43/105.60	c |    335628 |  134230   273494 |   87212   32663  2484531    76.1 | 87.246 % |
105.72/105.88	c |    337336 |  134230   273494 |   95934   34371  2695167    78.4 | 87.246 % |
106.22/106.35	c |    339898 |  134223   273477 |  105527   36930  3085783    83.6 | 87.254 % |
107.02/107.16	c |    343742 |  134223   273477 |  116080   40774  3974578    97.5 | 87.254 % |
108.12/108.29	c |    349509 |  134185   273385 |  127688   46456  4901477   105.5 | 87.297 % |
110.12/110.20	c |    358158 |  134089   273157 |  140457   54936  6434132   117.1 | 87.403 % |
113.12/113.30	c |    371132 |  134084   273146 |  154502   67905  8210033   120.9 | 87.408 % |
118.82/118.95	c |    390593 |  134084   273146 |  169953   87366 11818860   135.3 | 87.408 % |
128.02/128.14	c |    419785 |  134078   273132 |  186948  116555 16872356   144.8 | 87.415 % |
143.81/143.94	c |    463575 |  134078   273132 |  205643  160345 25766143   160.7 | 87.415 % |
178.19/178.38	c |    529259 |  133999   272945 |  226207  225999 38202622   169.0 | 87.501 % |
227.64/227.89	c |    627785 |  133999   272945 |  248828   65388  8769144   134.1 | 87.501 % |
294.23/294.41	c |    775574 |  133832   272540 |  273711  213067 39592642   185.8 | 87.693 % |
393.91/394.19	c |    997257 |  133723   272281 |  301082  130489 20334994   155.8 | 87.810 % |
544.56/544.89	c |   1329782 |  133648   272096 |  331190  131959 23431494   177.6 | 87.895 % |
796.70/797.01	c |   1828570 |  133507   271747 |  364309  271160 42850199   158.0 | 88.062 % |
862.88/863.26	c ==============================================================================
862.88/863.26	c Found solution: -53
862.88/863.26	c ---[   0]---> Sorter-cost:    0     Base:
863.28/863.62	c ==================================[MINISAT+]==================================
863.28/863.62	c | Conflicts | Original         | Learnt                           | Progress |
863.28/863.62	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
863.28/863.62	c ==============================================================================
863.28/863.62	c |   1944355 |  133513   271764 |   44504  386941 66252392   171.2 | 88.062 % |
864.08/864.46	c |   1944455 |  133513   271764 |   48954   31110  3607763   116.0 | 88.065 % |
864.08/864.47	c |   1944605 |  133513   271764 |   53849   31260  3608822   115.4 | 88.065 % |
864.19/864.52	c |   1944830 |  133506   271747 |   59234   31482  3615698   114.8 | 88.073 % |
864.19/864.56	c |   1945167 |  133506   271747 |   65158   31819  3644520   114.5 | 88.073 % |
864.29/864.60	c |   1945673 |  133506   271747 |   71674   32325  3655721   113.1 | 88.073 % |
864.29/864.69	c |   1946434 |  133506   271747 |   78841   33086  3705819   112.0 | 88.073 % |
864.48/864.83	c |   1947574 |  133506   271747 |   86725   34226  3815998   111.5 | 88.073 % |
864.68/865.07	c |   1949282 |  133506   271747 |   95398   35934  3992730   111.1 | 88.073 % |
865.08/865.48	c |   1951844 |  133506   271747 |  104938   38496  4344238   112.8 | 88.073 % |
865.78/866.15	c |   1955689 |  133506   271747 |  115431   42341  4807379   113.5 | 88.073 % |
866.88/867.25	c |   1961456 |  133497   271726 |  126975   48104  5546976   115.3 | 88.083 % |
868.48/868.86	c |   1970108 |  133420   271539 |  139672   56686  6612524   116.7 | 88.171 % |
871.18/871.53	c |   1983084 |  133420   271539 |  153639   69662  8333548   119.6 | 88.171 % |
875.88/876.26	c |   2002545 |  133420   271539 |  169003   89123 10893755   122.2 | 88.171 % |
883.78/884.13	c |   2031737 |  133418   271535 |  185904  118312 15093073   127.6 | 88.172 % |
898.58/898.95	c |   2075526 |  133407   271510 |  204494  162089 20507193   126.5 | 88.184 % |
927.08/927.44	c |   2141210 |  133407   271510 |  224944  227773 30557670   134.2 | 88.184 % |
966.07/966.46	c |   2239737 |  133407   271510 |  247438   74744  9354636   125.2 | 88.184 % |
1017.07/1017.46	c |   2387526 |  133393   271478 |  272182  222513 33347466   149.9 | 88.198 % |
1112.85/1113.25	c |   2609211 |  133357   271394 |  299400  149632 20489217   136.9 | 88.237 % |
1203.13/1203.56	c ==============================================================================
1203.13/1203.56	c Found solution: -54
1203.13/1203.56	c ---[   0]---> Sorter-cost:    0     Base:
1203.43/1203.80	c ==================================[MINISAT+]==================================
1203.43/1203.80	c | Conflicts | Original         | Learnt                           | Progress |
1203.43/1203.80	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1203.43/1203.80	c ==============================================================================
1203.43/1203.80	c |   2789532 |  133335   271312 |   44445  329652 40849581   123.9 | 88.237 % |
1204.23/1204.60	c |   2789632 |  133335   271312 |   48889   37661  1528315    40.6 | 88.264 % |
1204.23/1204.62	c |   2789782 |  133335   271312 |   53778   37811  1534902    40.6 | 88.264 % |
1204.23/1204.64	c |   2790007 |  133335   271312 |   59156   38036  1540684    40.5 | 88.264 % |
1204.23/1204.68	c |   2790344 |  133331   271302 |   65071   38372  1551829    40.4 | 88.269 % |
1204.33/1204.73	c |   2790850 |  133331   271302 |   71579   38878  1586331    40.8 | 88.269 % |
1204.43/1204.82	c |   2791609 |  133315   271260 |   78737   39636  1617781    40.8 | 88.290 % |
1204.53/1204.96	c |   2792748 |  133299   271218 |   86610   40768  1693492    41.5 | 88.311 % |
1204.73/1205.15	c |   2794456 |  133299   271218 |   95271   42476  1811265    42.6 | 88.311 % |
1205.03/1205.45	c |   2797018 |  133299   271218 |  104798   45038  2002398    44.5 | 88.311 % |
1205.53/1205.93	c |   2800862 |  133299   271218 |  115278   48882  2305561    47.2 | 88.311 % |
1206.34/1206.76	c |   2806629 |  133299   271218 |  126806   54649  2921133    53.5 | 88.311 % |
1207.73/1208.19	c |   2815278 |  133237   271074 |  139487   63165  3762635    59.6 | 88.377 % |
1210.13/1210.53	c |   2828253 |  133214   271019 |  153436   76136  5166934    67.9 | 88.403 % |
1214.33/1214.76	c |   2847714 |  133214   271019 |  168779   95597  7347134    76.9 | 88.402 % |
1223.63/1224.06	c |   2876908 |  133210   271009 |  185657  124788 11287249    90.5 | 88.407 % |
1238.83/1239.24	c |   2920697 |  133210   271009 |  204223  168577 17416561   103.3 | 88.407 % |
1265.52/1265.93	c |   2986382 |  133210   271009 |  224645  234262 25125140   107.3 | 88.407 % |
1303.52/1303.98	c |   3084908 |  133210   271009 |  247110   84554 10563695   124.9 | 88.407 % |
1356.31/1356.71	c |   3232697 |  133152   270871 |  271821  232283 32612798   140.4 | 88.472 % |
1446.60/1447.02	c |   3454380 |  133071   270672 |  299003  158212 20161331   127.4 | 88.566 % |
1585.17/1585.63	c |   3786905 |  133031   270576 |  328904  169593 17541839   103.4 | 88.611 % |
1621.87/1622.38	c ==============================================================================
1621.87/1622.38	c Found solution: -55
1621.87/1622.38	c ---[   0]---> Sorter-cost:    0     Base:
1622.07/1622.56	c ==================================[MINISAT+]==================================
1622.07/1622.56	c | Conflicts | Original         | Learnt                           | Progress |
1622.07/1622.56	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1622.07/1622.56	c ==============================================================================
1622.07/1622.56	c |   3880082 |  132982   270460 |   44327  262752 29813827   113.5 | 88.611 % |
1622.57/1623.06	c |   3880182 |  132982   270460 |   48759   35590  2233510    62.8 | 88.691 % |
1622.57/1623.06	c |   3880332 |  132982   270460 |   53635   35740  2235735    62.6 | 88.691 % |
1622.57/1623.09	c |   3880557 |  132982   270460 |   58999   35965  2245821    62.4 | 88.691 % |
1622.67/1623.16	c |   3880894 |  132935   270343 |   64899   36294  2263063    62.4 | 88.747 % |
1622.77/1623.21	c |   3881400 |  132935   270343 |   71389   36800  2285548    62.1 | 88.747 % |
1622.87/1623.30	c |   3882159 |  132935   270343 |   78527   37559  2344386    62.4 | 88.747 % |
1622.97/1623.44	c |   3883299 |  132935   270343 |   86380   38699  2430328    62.8 | 88.747 % |
1623.17/1623.66	c |   3885007 |  132931   270333 |   95018   40405  2585780    64.0 | 88.752 % |
1623.47/1623.97	c |   3887569 |  132931   270333 |  104520   42967  2798390    65.1 | 88.752 % |
1624.07/1624.55	c |   3891413 |  132931   270333 |  114972   46811  3235994    69.1 | 88.752 % |
1624.97/1625.46	c |   3897180 |  132926   270322 |  126470   52574  3795440    72.2 | 88.757 % |
1626.57/1627.02	c |   3905829 |  132905   270269 |  139117   61193  4805820    78.5 | 88.782 % |
1628.97/1629.41	c |   3918804 |  132902   270262 |  153028   74165  6012196    81.1 | 88.786 % |
1633.37/1633.89	c |   3938265 |  132895   270243 |  168331   93601  8275380    88.4 | 88.795 % |
1641.16/1641.65	c |   3967458 |  132866   270167 |  185164  122723 11840689    96.5 | 88.832 % |
1653.06/1653.53	c |   4011247 |  132851   270130 |  203681  166505 14982797    90.0 | 88.850 % |
1675.16/1675.69	c |   4076931 |  132848   270123 |  224049  232187 19839835    85.4 | 88.853 % |
1708.05/1708.54	c |   4175457 |  132845   270116 |  246454   88571  3924248    44.3 | 88.856 % |
1762.05/1762.56	c |   4323246 |  132840   270105 |  271099  236356 12545842    53.1 | 88.861 % |
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	-55

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-3723568-1338571826/watcher-3723568-1338571826 -o /tmp/evaluation-result-3723568-1338571826/solver-3723568-1338571826 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723568-1338571826.opb 

running on 4 cores: 0,2,4,6

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: 1.84 1.97 1.86 2/174 21297
/proc/meminfo: memFree=31715636/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0

[startup+0.0890819 s]
/proc/loadavg: 1.84 1.97 1.86 2/174 21297
/proc/meminfo: memFree=31715636/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100342 s]
/proc/loadavg: 1.84 1.97 1.86 2/174 21297
/proc/meminfo: memFree=31715636/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300283 s]
/proc/loadavg: 1.84 1.97 1.86 2/174 21297
/proc/meminfo: memFree=31715636/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700286 s]
/proc/loadavg: 1.84 1.97 1.86 2/174 21297
/proc/meminfo: memFree=31715636/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50033 s]
/proc/loadavg: 1.85 1.97 1.86 3/180 21337
/proc/meminfo: memFree=31657532/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=63140 CPUtime=1.49 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 15422 0 0 0 143 6 0 0 20 0 1 0 323309626 64655360 15378 33554432000 4194304 5276501 140737011046608 140737011044856 4399906 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 15785 15378 118 265 0 15517 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72288

[startup+3.10033 s]
/proc/loadavg: 1.85 1.97 1.86 3/180 21337
/proc/meminfo: memFree=31656384/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=63140 CPUtime=3.09 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 15422 0 0 0 303 6 0 0 20 0 1 0 323309626 64655360 15378 33554432000 4194304 5276501 140737011046608 140737011044856 4399804 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 15785 15378 118 265 0 15517 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72288

[startup+6.30033 s]
/proc/loadavg: 1.86 1.97 1.86 3/180 21337
/proc/meminfo: memFree=31650540/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=63140 CPUtime=6.28 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 15430 0 0 0 622 6 0 0 20 0 1 0 323309626 64655360 15378 33554432000 4194304 5276501 140737011046608 140737011044856 4399741 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 15785 15378 118 265 0 15517 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 72288

[startup+12.7003 s]
/proc/loadavg: 1.87 1.97 1.86 3/180 21337
/proc/meminfo: memFree=31644156/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=63140 CPUtime=12.68 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 15430 0 0 0 1262 6 0 0 20 0 1 0 323309626 64655360 15378 33554432000 4194304 5276501 140737011046608 140737011044856 4390362 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 15785 15378 118 265 0 15517 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 72288

[startup+25.5003 s]
/proc/loadavg: 1.89 1.97 1.86 3/180 21337
/proc/meminfo: memFree=31632352/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=74128 CPUtime=25.46 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 18267 0 0 0 2539 7 0 0 20 0 1 0 323309626 75907072 18139 33554432000 4194304 5276501 140737011046608 140737011044600 4394975 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 18532 18139 118 265 0 18264 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 83276

[startup+51.1003 s]
/proc/loadavg: 1.93 1.97 1.86 3/179 21337
/proc/meminfo: memFree=31581364/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=121584 CPUtime=51.04 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 30155 0 0 0 5094 10 0 0 20 0 1 0 323309626 124502016 29902 33554432000 4194304 5276501 140737011046608 140737011044856 4399951 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 30396 29902 118 265 0 30128 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 130732

[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.87 3/179 21380
/proc/meminfo: memFree=31520260/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=169116 CPUtime=102.23 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 42098 0 0 0 10210 13 0 0 20 0 1 0 323309626 173174784 41830 33554432000 4194304 5276501 140737011046608 140737011044200 4399804 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 42279 41830 118 265 0 42011 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 178264

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.87 3/179 21380
/proc/meminfo: memFree=31483928/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=184196 CPUtime=162.2 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 45999 0 0 0 16207 13 0 0 20 0 1 0 323309626 188616704 45619 33554432000 4194304 5276501 140737011046608 140737011044600 4399921 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 46049 45619 118 265 0 45781 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 193344

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.88 3/179 21380
/proc/meminfo: memFree=31413648/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=250536 CPUtime=222.15 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 62532 0 0 0 22194 21 0 0 20 0 1 0 323309626 256548864 62164 33554432000 4194304 5276501 140737011046608 140737011044200 4399909 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 62634 62164 118 265 0 62366 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 259684

[startup+282.3 s]
/proc/loadavg: 2.06 1.99 1.89 3/180 21381
/proc/meminfo: memFree=31406320/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=250536 CPUtime=282.13 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 62541 0 0 0 28192 21 0 0 20 0 1 0 323309626 256548864 62178 33554432000 4194304 5276501 140737011046608 140737011044856 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 62634 62178 118 265 0 62366 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 259684

[startup+342.3 s]
/proc/loadavg: 2.02 1.99 1.90 3/179 21423
/proc/meminfo: memFree=31210660/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=281932 CPUtime=342.12 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 70370 0 0 0 34188 24 0 0 20 0 1 0 323309626 288698368 70007 33554432000 4194304 5276501 140737011046608 140737011044600 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 70483 70007 118 265 0 70215 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 291080

[startup+402.3 s]
/proc/loadavg: 2.04 2.00 1.91 3/179 21424
/proc/meminfo: memFree=31186108/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=359732 CPUtime=1121.95 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 89562 0 0 0 112162 33 0 0 20 0 1 0 323309626 368365568 89435 33554432000 4194304 5276501 140737011046608 140737011044856 4399840 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 89933 89435 118 265 0 89665 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 368880

[startup+1182.3 s]
/proc/loadavg: 2.08 2.02 1.93 3/180 21474
/proc/meminfo: memFree=31342828/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=359732 CPUtime=1181.94 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 89562 0 0 0 118161 33 0 0 20 0 1 0 323309626 368365568 89435 33554432000 4194304 5276501 140737011046608 140737011044856 4399913 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 89933 89435 118 265 0 89665 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 368880

[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 1.94 3/179 21474
/proc/meminfo: memFree=31340644/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=359732 CPUtime=1241.93 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 89562 0 0 0 124160 33 0 0 20 0 1 0 323309626 368365568 89435 33554432000 4194304 5276501 140737011046608 140737011044856 4400043 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 89933 89435 118 265 0 89665 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 368880

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/179 21474
/proc/meminfo: memFree=31339900/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=359732 CPUtime=1301.92 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 89562 0 0 0 130159 33 0 0 20 0 1 0 323309626 368365568 89435 33554432000 4194304 5276501 140737011046608 140737011044856 4394917 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 89933 89435 118 265 0 89665 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 368880

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 21475
/proc/meminfo: memFree=31339336/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=359732 CPUtime=1361.91 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 89562 0 0 0 136158 33 0 0 20 0 1 0 323309626 368365568 89435 33554432000 4194304 5276501 140737011046608 140737011044856 4399850 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 89933 89435 118 265 0 89665 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 368880

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.94 3/179 21475
/proc/meminfo: memFree=31338964/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=359732 CPUtime=1421.91 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 89562 0 0 0 142158 33 0 0 20 0 1 0 323309626 368365568 89435 33554432000 4194304 5276501 140737011046608 140737011044856 4399826 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 89933 89435 118 265 0 89665 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 368880

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21475
/proc/meminfo: memFree=31338716/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=359732 CPUtime=1481.89 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 89562 0 0 0 148156 33 0 0 20 0 1 0 323309626 368365568 89435 33554432000 4194304 5276501 140737011046608 140737011044856 4399807 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 89933 89435 118 265 0 89665 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 368880

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21475
/proc/meminfo: memFree=31336236/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=359732 CPUtime=1541.88 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 89562 0 0 0 154155 33 0 0 20 0 1 0 323309626 368365568 89435 33554432000 4194304 5276501 140737011046608 140737011044856 4399951 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 89933 89435 118 265 0 89665 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 368880

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21475
/proc/meminfo: memFree=31334992/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=359732 CPUtime=1601.87 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 89562 0 0 0 160154 33 0 0 20 0 1 0 323309626 368365568 89435 33554432000 4194304 5276501 140737011046608 140737011044856 4399933 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 89933 89435 118 265 0 89665 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 368880

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21476
/proc/meminfo: memFree=31334124/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=359732 CPUtime=1661.86 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 89562 0 0 0 166153 33 0 0 20 0 1 0 323309626 368365568 89435 33554432000 4194304 5276501 140737011046608 140737011044856 4400020 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 89933 89435 118 265 0 89665 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 368880

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21476
/proc/meminfo: memFree=31333132/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=359732 CPUtime=1721.85 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 89562 0 0 0 172152 33 0 0 20 0 1 0 323309626 368365568 89435 33554432000 4194304 5276501 140737011046608 140737011044856 4399850 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 89933 89435 118 265 0 89665 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 368880

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 21479
/proc/meminfo: memFree=31332620/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=359732 CPUtime=1781.84 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 89565 0 0 0 178151 33 0 0 20 0 1 0 323309626 368365568 89438 33554432000 4194304 5276501 140737011046608 140737011044856 4399850 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 89933 89438 118 265 0 89665 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 368880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 21479
/proc/meminfo: memFree=31333000/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=359732 CPUtime=1800.05 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 89565 0 0 0 179972 33 0 0 20 0 1 0 323309626 368365568 89438 33554432000 4194304 5276501 140737011046608 140737011044856 4399804 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 89933 89438 118 265 0 89665 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 368880

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.00 2.00 1.94 3/180 21479
/proc/meminfo: memFree=31333000/32873844 swapFree=7116/7116
[pid=21297] ppid=21295 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21297/stat : 21297 (minisat+_script) S 21295 21297 19055 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323309626 9367552 277 33554432000 4194304 5064252 140733198199248 140733198198160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21297/statm: 2287 277 236 213 0 72 0
[pid=21301] ppid=21297 vsize=359732 CPUtime=1800.05 cores=0,2,4,6
/proc/21301/stat : 21301 (minisat+_64-bit) R 21297 21297 19055 0 -1 4202496 89565 0 0 0 179972 33 0 0 20 0 1 0 323309626 368365568 89438 33554432000 4194304 5276501 140737011046608 140737011044856 4399804 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/21301/statm: 89933 89438 118 265 0 89665 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 368880

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.72
CPU system time (s): 0.341948
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 368880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.341948
maximum resident set size= 357756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90511
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= 180
involuntary context switches= 1874

runsolver used 2.89456 second user time and 7.04593 second system time

The end

Launcher Data 

Begin job on node111 at 2012-06-01 19:30:27
IDJOB=3723568
IDBENCH=2267
IDSOLVER=2307
FILE ID=node111/3723568-1338571826
RUNJOBID= node111-1338570019-21177
PBS_JOBID= 14635873
Free space on /tmp= 67376 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-3.opb
COMMAND LINE= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723568-1338571826/watcher-3723568-1338571826 -o /tmp/evaluation-result-3723568-1338571826/solver-3723568-1338571826 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3723568-1338571826.opb

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

MD5SUM BENCH= 36a19a7aeba117287b60c4673ad89664
RANDOM SEED=1834022232

node111.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.152
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	: 5332.30
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.152
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.152
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.152
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.152
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.91
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.152
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.91
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.152
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.152
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31715636 kB
Buffers:          103496 kB
Cached:           275960 kB
SwapCached:         1296 kB
Active:            99400 kB
Inactive:         284860 kB
Active(anon):       5968 kB
Inactive(anon):     1056 kB
Active(file):      93432 kB
Inactive(file):   283804 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100040 kB
Dirty:              5324 kB
Writeback:             0 kB
AnonPages:         10672 kB
Mapped:             8496 kB
Shmem:                 0 kB
Slab:             633632 kB
SReclaimable:      75704 kB
SUnreclaim:       557928 kB
KernelStack:        1432 kB
PageTables:         3904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     105956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 67388 MiB
End job on node111 at 2012-06-01 20:00:27