Trace number 3723567

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB12: minisatp 1.0-2-g022594cSAT (TO)-54 1800.02 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb
MD5SUMa2418d45f4247bab260506429e96e746
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-54
Best CPU time to get the best result obtained on this benchmark1800.02
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 constraints126555
Number of constraints which are clauses126555
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 126555 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.23	c ==================================[MINISAT+]==================================
0.00/0.23	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.23	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.23	c ==============================================================================
0.00/0.23	c |         0 |  126555   253110 |   42185       0        0    -nan |  0.000 % |
0.00/0.23	c ==============================================================================
0.00/0.23	c Found solution: -38
0.00/0.23	c ---[   0]---> Sorter-cost:85954     Base:
0.00/0.28	c ==================================[MINISAT+]==================================
0.00/0.28	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.28	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.28	c ==============================================================================
0.00/0.28	c |         0 |  217069   465444 |   72356       0        0    -nan |  0.000 % |
0.00/0.37	c |       100 |  216790   464872 |   79591      89      600     6.7 |  0.248 % |
0.00/0.48	c |       250 |  216274   463770 |   87550     214     1440     6.7 |  0.724 % |
0.00/0.66	c |       475 |  214965   460959 |   96305     387     3800     9.8 |  1.942 % |
0.00/0.92	c |       812 |  213132   456972 |  105936     636     6869    10.8 |  3.690 % |
1.28/1.36	c |      1318 |  209951   449961 |  116530    1002    10730    10.7 |  6.792 % |
1.88/1.99	c |      2077 |  205662   440456 |  128183    1519    16520    10.9 | 11.021 % |
2.78/2.83	c |      3216 |  199835   427331 |  141001    2396    25951    10.8 | 16.918 % |
2.78/2.85	c ==============================================================================
2.78/2.85	c Found solution: -43
2.78/2.85	c ---[   0]---> Sorter-cost:    0     Base:
2.78/2.86	c ==================================[MINISAT+]==================================
2.78/2.86	c | Conflicts | Original         | Learnt                           | Progress |
2.78/2.86	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.78/2.86	c ==============================================================================
2.78/2.86	c |      3223 |  200270   428729 |   66756    2403    26015    10.8 | 16.918 % |
2.88/2.97	c |      3323 |  199641   427323 |   73431    2482    27299    11.0 | 17.474 % |
2.98/3.05	c |      3473 |  199268   426478 |   80774    2623    28620    10.9 | 17.853 % |
3.18/3.21	c |      3698 |  198296   424266 |   88852    2793    31030    11.1 | 18.843 % |
3.39/3.42	c |      4035 |  197051   421439 |   97737    3060    33694    11.0 | 20.114 % |
3.67/3.77	c |      4542 |  194291   415116 |  107511    3460    37783    10.9 | 22.957 % |
4.17/4.28	c |      5301 |  189892   405087 |  118262    3989    42984    10.8 | 27.487 % |
4.77/4.86	c |      6440 |  184811   393510 |  130088    4787    51208    10.7 | 32.706 % |
5.77/5.85	c |      8148 |  176049   373341 |  143097    5924    64223    10.8 | 41.826 % |
7.07/7.12	c |     10710 |  166506   350915 |  157407    7387    82756    11.2 | 51.897 % |
8.57/8.66	c |     14555 |  155878   325706 |  173147   10081   121452    12.0 | 63.512 % |
10.17/10.28	c |     20321 |  145881   301810 |  190462   13680   177213    13.0 | 74.463 % |
10.37/10.48	c ==============================================================================
10.37/10.48	c Found solution: -44
10.37/10.48	c ---[   0]---> Sorter-cost:    0     Base:
10.37/10.49	c ==================================[MINISAT+]==================================
10.37/10.49	c | Conflicts | Original         | Learnt                           | Progress |
10.37/10.49	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
10.37/10.49	c ==============================================================================
10.37/10.49	c |     21164 |  145047   299747 |   48349   14233   185351    13.0 | 74.463 % |
10.47/10.50	c |     21265 |  145047   299747 |   53183   14334   186854    13.0 | 75.398 % |
10.47/10.54	c |     21417 |  144792   299120 |   58502   14431   187893    13.0 | 75.694 % |
10.47/10.58	c |     21642 |  144725   298951 |   64352   14625   190670    13.0 | 75.775 % |
10.57/10.63	c |     21979 |  144406   298180 |   70787   14831   195737    13.2 | 76.143 % |
10.67/10.71	c |     22485 |  144220   297737 |   77866   15218   202690    13.3 | 76.345 % |
10.77/10.81	c |     23244 |  143880   296908 |   85653   15761   213471    13.5 | 76.739 % |
10.77/10.87	c ==============================================================================
10.77/10.87	c Found solution: -45
10.77/10.87	c ---[   0]---> Sorter-cost:    0     Base:
10.77/10.88	c ==================================[MINISAT+]==================================
10.77/10.88	c | Conflicts | Original         | Learnt                           | Progress |
10.77/10.88	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
10.77/10.88	c ==============================================================================
10.77/10.88	c |     23711 |  143773   296695 |   47924   16177   222344    13.7 | 76.739 % |
10.87/10.90	c |     23811 |  143725   296573 |   52716   16222   222742    13.7 | 76.932 % |
10.87/10.93	c |     23961 |  143718   296556 |   57988   16365   225002    13.7 | 76.940 % |
10.87/10.98	c |     24186 |  143586   296254 |   63786   16514   229412    13.9 | 77.077 % |
10.98/11.06	c |     24523 |  143216   295376 |   70165   16648   233770    14.0 | 77.485 % |
11.08/11.13	c |     25029 |  143068   295014 |   77182   17083   243595    14.3 | 77.656 % |
11.17/11.24	c |     25788 |  142617   293934 |   84900   17668   266669    15.1 | 78.158 % |
11.37/11.46	c |     26927 |  141891   292164 |   93390   18440   286981    15.6 | 78.990 % |
11.67/11.73	c |     28635 |  141093   290209 |  102729   19677   325578    16.5 | 79.898 % |
11.67/11.78	c ==============================================================================
11.67/11.78	c Found solution: -46
11.67/11.78	c ---[   0]---> Sorter-cost:    0     Base:
11.67/11.79	c ==================================[MINISAT+]==================================
11.67/11.79	c | Conflicts | Original         | Learnt                           | Progress |
11.67/11.79	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
11.67/11.79	c ==============================================================================
11.67/11.79	c |     28933 |  140964   289828 |   46988   19898   326833    16.4 | 79.898 % |
11.77/11.86	c |     29033 |  140648   289071 |   51686   19842   325620    16.4 | 80.407 % |
11.87/11.91	c |     29183 |  140396   288471 |   56855   19904   328507    16.5 | 80.683 % |
11.87/11.94	c |     29408 |  140391   288460 |   62541   20125   339894    16.9 | 80.688 % |
11.97/12.01	c |     29745 |  139916   287295 |   68795   20204   343255    17.0 | 81.221 % |
11.97/12.07	c |     30251 |  139916   287295 |   75674   20710   360827    17.4 | 81.221 % |
12.08/12.17	c |     31010 |  139775   286960 |   83242   21360   380794    17.8 | 81.376 % |
12.27/12.31	c |     32151 |  139281   285796 |   91566   22293   405701    18.2 | 81.910 % |
12.37/12.49	c |     33859 |  139160   285490 |  100722   23894   473198    19.8 | 82.057 % |
12.97/13.02	c |     36421 |  137731   281976 |  110795   25288   554012    21.9 | 83.706 % |
13.37/13.49	c |     40266 |  137499   281412 |  121874   28941   862208    29.8 | 83.971 % |
13.47/13.51	c ==============================================================================
13.47/13.51	c Found solution: -47
13.47/13.51	c ---[   0]---> Sorter-cost:    0     Base:
13.47/13.52	c ==================================[MINISAT+]==================================
13.47/13.52	c | Conflicts | Original         | Learnt                           | Progress |
13.47/13.52	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
13.47/13.52	c ==============================================================================
13.47/13.52	c |     40326 |  137548   281567 |   45849   28991   864441    29.8 | 83.971 % |
13.57/13.61	c |     40428 |  137259   280854 |   50433   28812   861324    29.9 | 84.289 % |
13.57/13.64	c |     40578 |  137256   280847 |   55477   28946   864173    29.9 | 84.292 % |
13.57/13.66	c |     40803 |  137256   280847 |   61025   29171   876030    30.0 | 84.292 % |
13.67/13.71	c |     41141 |  137218   280755 |   67127   29490   888131    30.1 | 84.336 % |
13.77/13.80	c |     41647 |  137066   280382 |   73840   29789   903252    30.3 | 84.513 % |
13.87/13.92	c |     42407 |  136951   280104 |   81224   30362   940045    31.0 | 84.643 % |
13.97/14.07	c |     43546 |  136909   280008 |   89346   31406   977980    31.1 | 84.687 % |
14.27/14.31	c |     45256 |  136854   279871 |   98281   33038  1170397    35.4 | 84.750 % |
14.57/14.65	c |     47818 |  136854   279871 |  108109   35600  1513828    42.5 | 84.750 % |
15.17/15.21	c |     51664 |  136726   279545 |  118920   39350  1888780    48.0 | 84.903 % |
15.87/15.95	c ==============================================================================
15.87/15.95	c Found solution: -48
15.87/15.95	c ---[   0]---> Sorter-cost:    0     Base:
15.87/15.98	c ==================================[MINISAT+]==================================
15.87/15.98	c | Conflicts | Original         | Learnt                           | Progress |
15.87/15.98	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
15.87/15.98	c ==============================================================================
15.87/15.98	c |     56711 |  136712   279479 |   45570   44311  2546471    57.5 | 84.903 % |
15.87/15.99	c |     56812 |  136712   279479 |   50127   44412  2548634    57.4 | 84.921 % |
15.97/16.01	c |     56962 |  136712   279479 |   55139   44562  2558522    57.4 | 84.921 % |
15.97/16.05	c |     57187 |  136712   279479 |   60653   44787  2566970    57.3 | 84.921 % |
15.97/16.09	c |     57524 |  136712   279479 |   66719   45124  2587735    57.3 | 84.921 % |
16.07/16.17	c |     58030 |  136712   279479 |   73390   45630  2639427    57.8 | 84.921 % |
16.27/16.34	c |     58789 |  136637   279302 |   80730   46353  2691792    58.1 | 85.003 % |
16.47/16.56	c |     59928 |  136547   279068 |   88803   47311  2748872    58.1 | 85.114 % |
16.77/16.85	c |     61639 |  136509   278970 |   97683   48831  2965459    60.7 | 85.162 % |
17.27/17.38	c |     64201 |  136380   278663 |  107451   51083  3296561    64.5 | 85.306 % |
17.87/17.95	c ==============================================================================
17.87/17.95	c Found solution: -49
17.87/17.95	c ---[   0]---> Sorter-cost:    0     Base:
17.87/17.98	c ==================================[MINISAT+]==================================
17.87/17.98	c | Conflicts | Original         | Learnt                           | Progress |
17.87/17.98	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
17.87/17.98	c ==============================================================================
17.87/17.98	c |     67201 |  136397   278719 |   45465   53989  3792445    70.2 | 85.306 % |
17.97/18.04	c |     67301 |  136302   278501 |   50011   53864  3790291    70.4 | 85.392 % |
17.97/18.08	c |     67451 |  136302   278501 |   55012   54014  3801504    70.4 | 85.392 % |
18.07/18.12	c |     67677 |  136302   278501 |   60513   54240  3814579    70.3 | 85.392 % |
18.07/18.17	c |     68014 |  136302   278501 |   66565   54577  3825259    70.1 | 85.392 % |
18.27/18.30	c |     68520 |  136246   278369 |   73221   54812  3860305    70.4 | 85.453 % |
18.37/18.44	c |     69279 |  136246   278369 |   80544   55571  3948618    71.1 | 85.453 % |
18.57/18.68	c |     70418 |  136240   278355 |   88598   56694  4123917    72.7 | 85.459 % |
19.07/19.10	c |     72126 |  136122   278051 |   97458   58205  4227945    72.6 | 85.603 % |
19.67/19.71	c |     74689 |  136080   277952 |  107204   60616  4810624    79.4 | 85.648 % |
20.36/20.42	c ==============================================================================
20.36/20.42	c Found solution: -50
20.36/20.42	c ---[   0]---> Sorter-cost:    0     Base:
20.36/20.45	c ==================================[MINISAT+]==================================
20.36/20.45	c | Conflicts | Original         | Learnt                           | Progress |
20.36/20.45	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
20.36/20.45	c ==============================================================================
20.36/20.45	c |     78041 |  136024   277790 |   45341   61770  4628721    74.9 | 85.648 % |
20.46/20.51	c |     78141 |  135979   277683 |   49875   61736  4630324    75.0 | 85.754 % |
20.46/20.54	c |     78291 |  135979   277683 |   54862   61886  4642602    75.0 | 85.754 % |
20.46/20.58	c |     78516 |  135979   277683 |   60348   62111  4658697    75.0 | 85.754 % |
20.66/20.70	c |     78853 |  135962   277642 |   66383   62412  4677177    74.9 | 85.774 % |
20.76/20.83	c |     79360 |  135920   277537 |   73022   62808  4728480    75.3 | 85.824 % |
20.97/21.00	c |     80121 |  135914   277523 |   80324   63565  4821380    75.8 | 85.830 % |
21.16/21.25	c |     81261 |  135881   277441 |   88356   64682  5007935    77.4 | 85.867 % |
21.56/21.66	c |     82970 |  135881   277441 |   97192   66391  5275516    79.5 | 85.867 % |
22.16/22.23	c |     85532 |  135881   277441 |  106911   68953  5632973    81.7 | 85.867 % |
22.86/22.97	c ==============================================================================
22.86/22.97	c Found solution: -51
22.86/22.97	c ---[   0]---> Sorter-cost:    0     Base:
22.96/23.01	c ==================================[MINISAT+]==================================
22.96/23.01	c | Conflicts | Original         | Learnt                           | Progress |
22.96/23.01	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
22.96/23.01	c ==============================================================================
22.96/23.01	c |     88715 |  135905   277517 |   45301   72062  6138825    85.2 | 85.867 % |
22.96/23.04	c |     88817 |  135905   277517 |   49831   72164  6144113    85.1 | 85.869 % |
23.07/23.16	c |     88967 |  135864   277415 |   54814   72263  6149464    85.1 | 85.917 % |
23.17/23.22	c |     89192 |  135864   277415 |   60295   72488  6171350    85.1 | 85.917 % |
23.36/23.49	c |     89530 |  135754   277157 |   66325   72527  6189809    85.3 | 86.036 % |
23.57/23.61	c |     90036 |  135754   277157 |   72957   73033  6259593    85.7 | 86.036 % |
23.77/23.85	c |     90795 |  135687   276993 |   80253   73725  6336575    85.9 | 86.113 % |
24.18/24.22	c |     91934 |  135591   276747 |   88278   74558  6420477    86.1 | 86.234 % |
24.57/24.66	c |     93642 |  135550   276646 |   97106   76151  6655889    87.4 | 86.282 % |
25.17/25.21	c |     96204 |  135550   276646 |  106817   78713  7034668    89.4 | 86.282 % |
26.07/26.17	c |    100048 |  135536   276614 |  117499   82423  7551680    91.6 | 86.296 % |
27.67/27.78	c |    105814 |  135531   276603 |  129249   88185  8743395    99.1 | 86.301 % |
30.06/30.15	c |    114463 |  135421   276343 |  142173   96602  9904022   102.5 | 86.420 % |
34.06/34.10	c |    127437 |  135380   276237 |  156391  109441 11921427   108.9 | 86.471 % |
40.86/40.94	c |    146898 |  135300   276050 |  172030  128117 14863412   116.0 | 86.555 % |
51.94/52.07	c |    176090 |  134983   275275 |  189233  155678 19566732   125.7 | 86.918 % |
70.83/70.99	c |    219879 |  134967   275235 |  208156  199413 27095390   135.9 | 86.937 % |
94.89/95.08	c ==============================================================================
94.89/95.08	c Found solution: -52
94.89/95.08	c ---[   0]---> Sorter-cost:    0     Base:
95.09/95.28	c ==================================[MINISAT+]==================================
95.09/95.28	c | Conflicts | Original         | Learnt                           | Progress |
95.09/95.28	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
95.09/95.28	c ==============================================================================
95.09/95.28	c |    266343 |  134945   275165 |   44981  242517 32924303   135.8 | 86.937 % |
95.39/95.56	c |    266443 |  134940   275154 |   49479   23005  1849325    80.4 | 86.968 % |
95.39/95.58	c |    266593 |  134940   275154 |   54427   23155  1851691    80.0 | 86.968 % |
95.49/95.60	c |    266818 |  134935   275143 |   59869   23378  1855524    79.4 | 86.973 % |
95.49/95.69	c |    267155 |  134919   275103 |   65856   23706  1875366    79.1 | 86.992 % |
95.60/95.76	c |    267661 |  134917   275099 |   72442   24209  1896776    78.4 | 86.994 % |
95.70/95.86	c |    268420 |  134900   275060 |   79686   24957  1941188    77.8 | 87.012 % |
95.79/95.99	c |    269559 |  134900   275060 |   87655   26096  2031096    77.8 | 87.012 % |
96.09/96.24	c |    271267 |  134870   274982 |   96420   27761  2208745    79.6 | 87.048 % |
96.49/96.62	c |    273829 |  134813   274845 |  106062   30304  2428639    80.1 | 87.113 % |
96.99/97.15	c |    277677 |  134801   274815 |  116669   34147  2837671    83.1 | 87.127 % |
97.99/98.12	c |    283443 |  134768   274734 |  128336   39890  3546634    88.9 | 87.166 % |
99.59/99.74	c |    292094 |  134763   274721 |  141169   48521  4922126   101.4 | 87.172 % |
102.49/102.60	c |    305068 |  134763   274721 |  155286   61495  7204157   117.2 | 87.172 % |
107.18/107.39	c |    324530 |  134680   274524 |  170815   80880  9945005   123.0 | 87.264 % |
115.39/115.51	c |    353722 |  134614   274372 |  187896  110018 14153068   128.6 | 87.333 % |
130.68/130.88	c |    397513 |  134540   274183 |  206686  153481 21732414   141.6 | 87.424 % |
162.57/162.74	c |    463199 |  134533   274168 |  227355  219157 31199107   142.4 | 87.431 % |
209.57/209.78	c |    561725 |  134449   273964 |  250090   56012  5832538   104.1 | 87.527 % |
258.66/258.86	c |    709516 |  134301   273606 |  275099  203719 27702439   136.0 | 87.696 % |
348.85/349.02	c |    931200 |  134185   273326 |  302609  117577 15222752   129.5 | 87.824 % |
433.41/433.63	c ==============================================================================
433.41/433.63	c Found solution: -53
433.41/433.63	c ---[   0]---> Sorter-cost:    0     Base:
433.61/433.88	c ==================================[MINISAT+]==================================
433.61/433.88	c | Conflicts | Original         | Learnt                           | Progress |
433.61/433.88	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
433.61/433.88	c ==============================================================================
433.61/433.88	c |   1125222 |  134161   273276 |   44720  311590 44687139   143.4 | 87.824 % |
434.21/434.43	c |   1125322 |  134161   273276 |   49192   28623  2049572    71.6 | 87.858 % |
434.21/434.44	c |   1125473 |  134161   273276 |   54111   28774  2054551    71.4 | 87.858 % |
434.21/434.47	c |   1125698 |  134161   273276 |   59522   28998  2067477    71.3 | 87.861 % |
434.31/434.52	c |   1126036 |  134158   273269 |   65474   29334  2086140    71.1 | 87.861 % |
434.31/434.58	c |   1126542 |  134158   273269 |   72022   29840  2110935    70.7 | 87.861 % |
434.41/434.67	c |   1127301 |  134158   273269 |   79224   30599  2181014    71.3 | 87.861 % |
434.51/434.79	c |   1128441 |  134158   273269 |   87146   31739  2260553    71.2 | 87.861 % |
434.81/435.04	c |   1130149 |  134158   273269 |   95861   33447  2481867    74.2 | 87.861 % |
435.21/435.45	c |   1132711 |  134158   273269 |  105447   36009  2916646    81.0 | 87.861 % |
435.91/436.14	c |   1136558 |  134114   273156 |  115992   39844  3569550    89.6 | 87.912 % |
436.81/437.04	c |   1142325 |  134114   273156 |  127591   45611  4291144    94.1 | 87.912 % |
438.51/438.70	c |   1150974 |  134104   273128 |  140350   54257  5475879   100.9 | 87.927 % |
441.71/441.92	c |   1163948 |  134072   273054 |  154385   67165  7681678   114.4 | 87.960 % |
446.21/446.44	c |   1183411 |  134057   273017 |  169824   86625 10390913   120.0 | 87.978 % |
454.70/454.95	c |   1212604 |  134021   272920 |  186806  115805 14317711   123.6 | 88.025 % |
469.70/469.98	c |   1256394 |  134009   272890 |  205487  159579 20308286   127.3 | 88.039 % |
498.80/499.06	c |   1322078 |  133967   272780 |  226035  225248 29872308   132.6 | 88.094 % |
540.89/541.11	c |   1420604 |  133967   272780 |  248639   68216  6845517   100.4 | 88.094 % |
588.98/589.28	c |   1568393 |  133885   272582 |  273503  215959 29366830   136.0 | 88.183 % |
678.48/678.80	c |   1790076 |  133845   272488 |  300853  137421 17970946   130.8 | 88.227 % |
848.04/848.39	c |   2122602 |  133818   272423 |  330939  143952 10523943    73.1 | 88.257 % |
1031.52/1031.89	c ==============================================================================
1031.52/1031.89	c Found solution: -54
1031.52/1031.89	c ---[   0]---> Sorter-cost:    0     Base:
1031.71/1032.03	c ==================================[MINISAT+]==================================
1031.71/1032.03	c | Conflicts | Original         | Learnt                           | Progress |
1031.71/1032.03	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1031.71/1032.03	c ==============================================================================
1031.71/1032.03	c |   2541117 |  133766   272268 |   44588  208645 23551271   112.9 | 88.257 % |
1032.41/1032.78	c |   2541217 |  133766   272268 |   49046   31081  2424357    78.0 | 88.319 % |
1032.51/1032.81	c |   2541367 |  133766   272268 |   53951   31231  2432698    77.9 | 88.319 % |
1032.51/1032.82	c |   2541592 |  133766   272268 |   59346   31456  2434344    77.4 | 88.319 % |
1032.51/1032.85	c |   2541931 |  133766   272268 |   65281   31795  2451531    77.1 | 88.319 % |
1032.62/1032.92	c |   2542440 |  133763   272261 |   71809   32302  2475952    76.7 | 88.322 % |
1032.72/1033.00	c |   2543199 |  133763   272261 |   78990   33061  2506406    75.8 | 88.322 % |
1032.81/1033.13	c |   2544338 |  133763   272261 |   86889   34200  2595282    75.9 | 88.322 % |
1033.01/1033.36	c |   2546047 |  133732   272186 |   95578   35903  2723083    75.8 | 88.357 % |
1033.41/1033.70	c |   2548610 |  133732   272186 |  105136   38466  2961278    77.0 | 88.357 % |
1033.91/1034.23	c |   2552454 |  133732   272186 |  115649   42310  3332755    78.8 | 88.357 % |
1034.82/1035.10	c |   2558220 |  133722   272162 |  127214   48071  3949376    82.2 | 88.368 % |
1036.21/1036.58	c |   2566869 |  133717   272149 |  139936   56715  5127151    90.4 | 88.375 % |
1039.32/1039.66	c |   2579844 |  133717   272149 |  153929   69690  7759679   111.3 | 88.375 % |
1044.11/1044.48	c |   2599305 |  133717   272149 |  169322   89151 11034168   123.8 | 88.375 % |
1051.91/1052.25	c |   2628498 |  133717   272149 |  186255  118344 15497200   131.0 | 88.375 % |
1066.91/1067.24	c |   2672287 |  133717   272149 |  204880  162133 19974219   123.2 | 88.375 % |
1093.80/1094.10	c |   2737972 |  133717   272149 |  225368  227818 27964038   122.7 | 88.375 % |
1129.60/1129.92	c |   2836498 |  133610   271886 |  247905   76640  7570953    98.8 | 88.497 % |
1185.60/1185.96	c |   2984288 |  133607   271879 |  272696  224426 28575383   127.3 | 88.500 % |
1280.47/1280.87	c |   3205972 |  133605   271875 |  299965  150830 14636792    97.0 | 88.502 % |
1433.45/1433.83	c |   3538498 |  133597   271857 |  329962  160363 11498688    71.7 | 88.510 % |
1687.01/1687.47	c |   4037286 |  133593   271849 |  362958  308272 19565580    63.5 | 88.513 % |
1800.00/1800.40	c 
1800.00/1800.40	c *** TERMINATED ***
1800.00/1800.40	s SATISFIABLE
1800.00/1800.40	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 x1511 -x1510 -x1509 -x1508 x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1091 -x1090 -x1089 -x1088 x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-54

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3723567-1338571825/watcher-3723567-1338571825 -o /tmp/evaluation-result-3723567-1338571825/solver-3723567-1338571825 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723567-1338571825.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: 2.00 2.00 1.87 2/172 12825
/proc/meminfo: memFree=29301920/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0

[startup+0.104801 s]
/proc/loadavg: 2.00 2.00 1.87 2/172 12825
/proc/meminfo: memFree=29301920/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200326 s]
/proc/loadavg: 2.00 2.00 1.87 2/172 12825
/proc/meminfo: memFree=29301920/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300355 s]
/proc/loadavg: 2.00 2.00 1.87 2/172 12825
/proc/meminfo: memFree=29301920/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700288 s]
/proc/loadavg: 2.00 2.00 1.87 2/172 12825
/proc/meminfo: memFree=29301920/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/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: 2.00 2.00 1.87 3/178 12865
/proc/meminfo: memFree=29193192/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=63428 CPUtime=1.48 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 15496 0 0 0 143 5 0 0 20 0 1 0 323310939 64950272 15451 33554432000 4194304 5276501 140734016266688 140734016264936 4399718 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 15857 15451 118 265 0 15589 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 72576

[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 12865
/proc/meminfo: memFree=29192224/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=63428 CPUtime=3.08 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 15497 0 0 0 303 5 0 0 20 0 1 0 323310939 64950272 15452 33554432000 4194304 5276501 140734016266688 140734016264936 4391536 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 15857 15452 119 265 0 15589 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 72576

[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 12865
/proc/meminfo: memFree=29191832/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=63428 CPUtime=6.27 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 15505 0 0 0 622 5 0 0 20 0 1 0 323310939 64950272 15452 33554432000 4194304 5276501 140734016266688 140734016264936 4411934 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 15857 15452 119 265 0 15589 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 72576

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 12865
/proc/meminfo: memFree=29191888/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=63428 CPUtime=12.67 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 15505 0 0 0 1262 5 0 0 20 0 1 0 323310939 64950272 15452 33554432000 4194304 5276501 140734016266688 140734016264936 4391549 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 15857 15452 119 265 0 15589 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 72576

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 12865
/proc/meminfo: memFree=29187928/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=68968 CPUtime=25.47 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 16989 0 0 0 2541 6 0 0 20 0 1 0 323310939 70623232 16868 33554432000 4194304 5276501 140734016266688 140734016264936 4637016 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 17242 16868 119 265 0 16974 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 78116

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 12865
/proc/meminfo: memFree=29097632/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=122232 CPUtime=51.04 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 30181 0 0 0 5096 8 0 0 20 0 1 0 323310939 125165568 30044 33554432000 4194304 5276501 140734016266688 140734016264280 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 30558 30044 119 265 0 30290 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 131380

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 12865
/proc/meminfo: memFree=28992152/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=186944 CPUtime=102.2 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 46495 0 0 0 10205 15 0 0 20 0 1 0 323310939 191430656 46221 33554432000 4194304 5276501 140734016266688 140734016264936 4399804 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 46736 46221 119 265 0 46468 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 196092

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 12865
/proc/meminfo: memFree=28919640/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=186944 CPUtime=162.17 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 46503 0 0 0 16202 15 0 0 20 0 1 0 323310939 191430656 46291 33554432000 4194304 5276501 140734016266688 140734016264936 4399937 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 46736 46291 119 265 0 46468 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 196092

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 12865
/proc/meminfo: memFree=28842292/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=221136 CPUtime=222.17 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 55019 0 0 0 22199 18 0 0 20 0 1 0 323310939 226443264 54807 33554432000 4194304 5276501 140734016266688 140734016264936 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 55284 54807 119 265 0 55016 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 230284

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 12866
/proc/meminfo: memFree=28842228/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=221136 CPUtime=282.16 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 55021 0 0 0 28198 18 0 0 20 0 1 0 323310939 226443264 54809 33554432000 4194304 5276501 140734016266688 140734016264936 4399944 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 55284 54809 119 265 0 55016 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 230284

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 12866
/proc/meminfo: memFree=28815444/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=248736 CPUtime=342.15 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 61689 0 0 0 34194 21 0 0 20 0 1 0 323310939 254705664 61477 33554432000 4194304 5276501 140734016266688 140734016264680 4399838 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 62184 61477 119 265 0 61916 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 257884

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 12866
/proc/meminfo: memFree=28815420/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=249948 CPUtime=1122 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 62056 0 0 0 112179 21 0 0 20 0 1 0 323310939 255946752 61875 33554432000 4194304 5276501 140734016266688 140734016264936 4396979 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 62487 61875 119 265 0 62219 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 259096

[startup+1182.3 s]
/proc/loadavg: 2.06 2.04 1.93 3/178 12875
/proc/meminfo: memFree=28705584/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=249948 CPUtime=1181.99 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 62056 0 0 0 118178 21 0 0 20 0 1 0 323310939 255946752 61875 33554432000 4194304 5276501 140734016266688 140734016264936 4399738 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 62487 61875 119 265 0 62219 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 259096

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 1.93 3/177 12875
/proc/meminfo: memFree=28699400/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=256024 CPUtime=1241.98 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 63565 0 0 0 124177 21 0 0 20 0 1 0 323310939 262168576 63384 33554432000 4194304 5276501 140734016266688 140734016264680 4399290 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 64006 63384 119 265 0 63738 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 265172

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/177 12875
/proc/meminfo: memFree=28699028/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=256704 CPUtime=1301.97 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 63695 0 0 0 130176 21 0 0 20 0 1 0 323310939 262864896 63514 33554432000 4194304 5276501 140734016266688 140734016264920 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 64176 63514 119 265 0 63908 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 265852

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/177 12875
/proc/meminfo: memFree=28697724/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=258208 CPUtime=1361.96 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 63993 0 0 0 136175 21 0 0 20 0 1 0 323310939 264404992 63812 33554432000 4194304 5276501 140734016266688 140734016264920 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 64552 63812 119 265 0 64284 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 267356

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/176 12875
/proc/meminfo: memFree=28698600/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=258208 CPUtime=1421.96 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 64015 0 0 0 142175 21 0 0 20 0 1 0 323310939 264404992 63834 33554432000 4194304 5276501 140734016266688 140734016264920 4399807 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 64552 63834 119 265 0 64284 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 267356

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/177 12877
/proc/meminfo: memFree=28697964/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=258208 CPUtime=1481.94 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 64015 0 0 0 148173 21 0 0 20 0 1 0 323310939 264404992 63834 33554432000 4194304 5276501 140734016266688 140734016264936 4399860 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 64552 63834 119 265 0 64284 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 267356

[startup+1542.31 s]
/proc/loadavg: 2.12 2.04 1.95 3/177 12877
/proc/meminfo: memFree=28698028/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=258208 CPUtime=1541.94 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 64018 0 0 0 154173 21 0 0 20 0 1 0 323310939 264404992 63859 33554432000 4194304 5276501 140734016266688 140734016264936 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 64552 63859 119 265 0 64284 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 267356

[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 1.95 3/177 12877
/proc/meminfo: memFree=28697656/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=258532 CPUtime=1601.92 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 64083 0 0 0 160171 21 0 0 20 0 1 0 323310939 264736768 63924 33554432000 4194304 5276501 140734016266688 140734016264920 4399937 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 64633 63924 119 265 0 64365 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 267680

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/177 12877
/proc/meminfo: memFree=28697904/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=258532 CPUtime=1661.91 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 64083 0 0 0 166170 21 0 0 20 0 1 0 323310939 264736768 63924 33554432000 4194304 5276501 140734016266688 140734016264920 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 64633 63924 119 265 0 64365 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 267680

[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 1.95 3/177 12877
/proc/meminfo: memFree=28697532/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=259232 CPUtime=1721.9 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 64234 0 0 0 172169 21 0 0 20 0 1 0 323310939 265453568 64075 33554432000 4194304 5276501 140734016266688 140734016264920 4399904 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 64808 64075 119 265 0 64540 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 268380

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 1.95 3/178 12881
/proc/meminfo: memFree=28695516/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=259664 CPUtime=1781.9 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 64397 0 0 0 178168 22 0 0 20 0 1 0 323310939 265895936 64238 33554432000 4194304 5276501 140734016266688 140734016265112 4400452 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 64916 64238 119 265 0 64648 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 268812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.02 1.95 3/178 12881
/proc/meminfo: memFree=28695416/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=259664 CPUtime=1800 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 64397 0 0 0 179978 22 0 0 20 0 1 0 323310939 265895936 64238 33554432000 4194304 5276501 140734016266688 140734016265112 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 64916 64238 119 265 0 64648 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 268812

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.4 s]
/proc/loadavg: 2.02 2.02 1.95 3/178 12881
/proc/meminfo: memFree=28695416/32873844 swapFree=6088/6088
[pid=12825] ppid=12823 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12825/stat : 12825 (minisat+_script) S 12823 12825 10645 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323310939 9367552 277 33554432000 4194304 5064252 140733354501328 140733354500240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12825/statm: 2287 277 236 213 0 72 0
[pid=12829] ppid=12825 vsize=259664 CPUtime=1800 cores=0,2,4,6
/proc/12829/stat : 12829 (minisat+_64-bit) R 12825 12825 10645 0 -1 4202496 64397 0 0 0 179978 22 0 0 20 0 1 0 323310939 265895936 64238 33554432000 4194304 5276501 140734016266688 140734016265112 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 64916 64238 119 265 0 64648 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 268812

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1799.79
CPU system time (s): 0.224965
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 268812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.224965
maximum resident set size= 256956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65343
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= 122
involuntary context switches= 1860

runsolver used 2.56961 second user time and 7.53885 second system time

The end

Launcher Data 

Begin job on node110 at 2012-06-01 19:30:25
IDJOB=3723567
IDBENCH=2265
IDSOLVER=2307
FILE ID=node110/3723567-1338571825
RUNJOBID= node110-1338570018-12705
PBS_JOBID= 14635874
Free space on /tmp= 71112 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-1.opb
COMMAND LINE= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723567-1338571825/watcher-3723567-1338571825 -o /tmp/evaluation-result-3723567-1338571825/solver-3723567-1338571825 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3723567-1338571825.opb

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

MD5SUM BENCH= a2418d45f4247bab260506429e96e746
RANDOM SEED=949763391

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29302448 kB
Buffers:          375020 kB
Cached:          2339120 kB
SwapCached:          604 kB
Active:          1234256 kB
Inactive:        1493096 kB
Active(anon):       3152 kB
Inactive(anon):    12328 kB
Active(file):    1231104 kB
Inactive(file):  1480768 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67107364 kB
Dirty:              5668 kB
Writeback:             0 kB
AnonPages:         18604 kB
Mapped:            11352 kB
Shmem:                40 kB
Slab:             703752 kB
SReclaimable:     145948 kB
SUnreclaim:       557804 kB
KernelStack:        1416 kB
PageTables:         3920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:      94240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

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