Trace number 3723566

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)-52 1800.09 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
MD5SUM98c81efbf429745622d6705fab70d2ee
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -54
Optimality of the best value was proved NO
Number of variables1400
Total number of constraints109601
Number of constraints which are clauses109601
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 1400
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 1400
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 1400
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.12	c Converting 109601 PB-constraints to clauses...
0.00/0.12	c   -- Unit propagations: (none)
0.00/0.12	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.12	c   -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.21	c ==================================[MINISAT+]==================================
0.00/0.21	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.21	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.21	c ==============================================================================
0.00/0.21	c |         0 |  109601   219202 |   36533       0        0    -nan |  0.000 % |
0.00/0.21	c ==============================================================================
0.00/0.21	c Found solution: -37
0.00/0.21	c ---[   0]---> Sorter-cost:78076     Base:
0.00/0.25	c ==================================[MINISAT+]==================================
0.00/0.25	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.25	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.25	c ==============================================================================
0.00/0.25	c |         0 |  193124   415097 |   64374       0        0    -nan |  0.000 % |
0.00/0.37	c |       100 |  192416   413617 |   70811      76      921    12.1 |  0.681 % |
0.00/0.54	c |       250 |  191023   410616 |   77892     179     2197    12.3 |  2.096 % |
0.00/0.68	c |       475 |  190063   408538 |   85681     361     3680    10.2 |  3.080 % |
0.00/0.87	c |       812 |  188734   405627 |   94249     637     6636    10.4 |  4.472 % |
1.09/1.18	c |      1318 |  186843   401468 |  103674    1068    12098    11.3 |  6.468 % |
1.68/1.74	c |      2078 |  182356   391503 |  114042    1656    20682    12.5 | 11.351 % |
2.28/2.35	c |      3217 |  177722   381101 |  125446    2499    32422    13.0 | 16.364 % |
2.58/2.63	c ==============================================================================
2.58/2.63	c Found solution: -42
2.58/2.63	c ---[   0]---> Sorter-cost:    0     Base:
2.58/2.64	c ==================================[MINISAT+]==================================
2.58/2.64	c | Conflicts | Original         | Learnt                           | Progress |
2.58/2.64	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.58/2.64	c ==============================================================================
2.58/2.64	c |      3529 |  175621   376581 |   58540    2705    34651    12.8 | 16.364 % |
2.68/2.71	c |      3629 |  175081   375366 |   64394    2776    35448    12.8 | 19.578 % |
2.78/2.83	c |      3779 |  174172   373327 |   70833    2879    36988    12.8 | 20.559 % |
2.88/2.96	c |      4004 |  173188   371081 |   77916    3009    38517    12.8 | 21.591 % |
3.08/3.19	c |      4341 |  171027   366175 |   85708    3226    44155    13.7 | 23.987 % |
3.38/3.43	c |      4847 |  168936   361409 |   94279    3518    47418    13.5 | 26.297 % |
3.78/3.83	c |      5606 |  165444   353415 |  103707    4007    53752    13.4 | 30.207 % |
4.39/4.47	c |      6745 |  159494   339747 |  114077    4817    63837    13.3 | 36.907 % |
5.18/5.23	c |      8453 |  153270   325369 |  125485    6002    80857    13.5 | 43.922 % |
6.38/6.41	c |     11015 |  144293   304195 |  138034    7510   102053    13.6 | 54.387 % |
7.59/7.61	c |     14859 |  136870   286584 |  151837   10352   148623    14.4 | 63.193 % |
8.79/8.89	c |     20625 |  129416   268825 |  167021   14521   218374    15.0 | 72.005 % |
8.98/9.09	c ==============================================================================
8.98/9.09	c Found solution: -43
8.98/9.09	c ---[   0]---> Sorter-cost:    0     Base:
9.08/9.10	c ==================================[MINISAT+]==================================
9.08/9.10	c | Conflicts | Original         | Learnt                           | Progress |
9.08/9.10	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
9.08/9.10	c ==============================================================================
9.08/9.10	c |     21505 |  128637   267020 |   42879   15030   237847    15.8 | 72.005 % |
9.08/9.14	c |     21605 |  128490   266667 |   47166   15076   238316    15.8 | 73.201 % |
9.08/9.17	c |     21755 |  128279   266148 |   51883   15173   240273    15.8 | 73.464 % |
9.18/9.22	c |     21980 |  128186   265921 |   57071   15353   242509    15.8 | 73.579 % |
9.18/9.28	c |     22317 |  128006   265495 |   62779   15643   250074    16.0 | 73.793 % |
9.38/9.41	c |     22823 |  127523   264318 |   69057   16076   260597    16.2 | 74.395 % |
9.48/9.53	c |     23584 |  127041   263144 |   75962   16700   277486    16.6 | 75.000 % |
9.68/9.72	c |     24724 |  126466   261756 |   83559   17513   301443    17.2 | 75.704 % |
9.98/10.02	c |     26432 |  125566   259582 |   91914   18669   343308    18.4 | 76.803 % |
10.38/10.44	c |     28994 |  124653   257391 |  101106   20787   426859    20.5 | 77.912 % |
10.48/10.53	c ==============================================================================
10.48/10.53	c Found solution: -44
10.48/10.53	c ---[   0]---> Sorter-cost:    0     Base:
10.48/10.54	c ==================================[MINISAT+]==================================
10.48/10.54	c | Conflicts | Original         | Learnt                           | Progress |
10.48/10.54	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
10.48/10.54	c ==============================================================================
10.48/10.54	c |     29612 |  124644   257340 |   41548   21395   490436    22.9 | 77.912 % |
10.48/10.56	c |     29712 |  124596   257230 |   45702   21439   490562    22.9 | 78.037 % |
10.58/10.61	c |     29862 |  124307   256518 |   50273   21499   492883    22.9 | 78.348 % |
10.58/10.65	c |     30087 |  124285   256464 |   55300   21679   497466    22.9 | 78.376 % |
10.68/10.72	c |     30424 |  124101   256041 |   60830   21954   511670    23.3 | 78.581 % |
10.68/10.78	c |     30930 |  124051   255915 |   66913   22430   534628    23.8 | 78.648 % |
10.78/10.88	c |     31690 |  123883   255523 |   73604   23113   560563    24.3 | 78.837 % |
10.99/11.07	c |     32829 |  123469   254493 |   80965   24057   592280    24.6 | 79.362 % |
11.18/11.27	c |     34537 |  123469   254493 |   89061   25765   701408    27.2 | 79.362 % |
11.78/11.82	c |     37099 |  122268   251584 |   97968   27735   793620    28.6 | 80.828 % |
12.38/12.43	c |     40943 |  121948   250783 |  107764   31258  1271715    40.7 | 81.232 % |
13.38/13.46	c ==============================================================================
13.38/13.46	c Found solution: -45
13.38/13.46	c ---[   0]---> Sorter-cost:    0     Base:
13.38/13.48	c ==================================[MINISAT+]==================================
13.38/13.48	c | Conflicts | Original         | Learnt                           | Progress |
13.38/13.48	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
13.38/13.48	c ==============================================================================
13.38/13.48	c |     46571 |  121378   249424 |   40459   36506  1664479    45.6 | 81.232 % |
13.49/13.52	c |     46671 |  121297   249234 |   44504   36566  1666303    45.6 | 82.025 % |
13.49/13.55	c |     46821 |  121297   249234 |   48955   36716  1670414    45.5 | 82.025 % |
13.49/13.58	c |     47047 |  121297   249234 |   53850   36942  1680580    45.5 | 82.025 % |
13.59/13.64	c |     47384 |  121297   249234 |   59236   37279  1695776    45.5 | 82.025 % |
13.69/13.72	c |     47892 |  121242   249102 |   65159   37746  1717480    45.5 | 82.092 % |
13.89/13.94	c |     48651 |  120993   248495 |   71675   38033  1740976    45.8 | 82.398 % |
14.09/14.18	c |     49790 |  120910   248298 |   78843   39139  1890030    48.3 | 82.498 % |
14.49/14.58	c |     51498 |  120784   248004 |   86727   40474  2017046    49.8 | 82.643 % |
14.99/15.08	c |     54060 |  120730   247876 |   95400   43011  2310533    53.7 | 82.708 % |
15.89/15.97	c |     57904 |  120376   247007 |  104940   46572  2625067    56.4 | 83.150 % |
16.59/16.60	c ==============================================================================
16.59/16.60	c Found solution: -46
16.59/16.60	c ---[   0]---> Sorter-cost:    0     Base:
16.59/16.62	c ==================================[MINISAT+]==================================
16.59/16.62	c | Conflicts | Original         | Learnt                           | Progress |
16.59/16.62	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
16.59/16.62	c ==============================================================================
16.59/16.62	c |     60935 |  120229   246584 |   40076   49339  2867627    58.1 | 83.150 % |
16.69/16.73	c |     61035 |  120115   246301 |   44083   49284  2868566    58.2 | 83.477 % |
16.69/16.75	c |     61185 |  120115   246301 |   48491   49434  2875261    58.2 | 83.477 % |
16.79/16.80	c |     61411 |  120115   246301 |   53341   49660  2893764    58.3 | 83.477 % |
16.89/16.92	c |     61748 |  120052   246142 |   58675   49841  2905910    58.3 | 83.559 % |
16.99/17.03	c |     62255 |  120000   246014 |   64542   50328  2926188    58.1 | 83.625 % |
17.09/17.19	c |     63014 |  120000   246014 |   70997   51087  3025971    59.2 | 83.625 % |
17.39/17.43	c |     64153 |  120000   246014 |   78096   52226  3193493    61.1 | 83.625 % |
17.69/17.78	c |     65861 |  120000   246014 |   85906   53934  3406732    63.2 | 83.625 % |
18.29/18.35	c |     68423 |  119901   245779 |   94497   56384  3592904    63.7 | 83.744 % |
19.19/19.22	c |     72267 |  119807   245555 |  103946   60024  3978102    66.3 | 83.858 % |
20.69/20.79	c |     78034 |  119637   245137 |  114341   65555  4712436    71.9 | 84.073 % |
21.09/21.18	c ==============================================================================
21.09/21.18	c Found solution: -47
21.09/21.18	c ---[   0]---> Sorter-cost:    0     Base:
21.19/21.21	c ==================================[MINISAT+]==================================
21.19/21.21	c | Conflicts | Original         | Learnt                           | Progress |
21.19/21.21	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
21.19/21.21	c ==============================================================================
21.19/21.21	c |     79608 |  119683   245280 |   39894   67129  4881627    72.7 | 84.073 % |
21.19/21.24	c |     79708 |  119683   245280 |   43883   67229  4884132    72.6 | 84.056 % |
21.19/21.28	c |     79859 |  119683   245280 |   48271   67380  4891324    72.6 | 84.056 % |
21.29/21.39	c |     80084 |  119659   245224 |   53098   67450  4899238    72.6 | 84.084 % |
21.39/21.47	c |     80421 |  119659   245224 |   58408   67787  4922325    72.6 | 84.084 % |
21.49/21.53	c |     80927 |  119659   245224 |   64249   68293  4946735    72.4 | 84.084 % |
21.69/21.75	c |     81688 |  119650   245201 |   70674   69051  5009587    72.5 | 84.096 % |
21.99/22.08	c |     82827 |  119597   245068 |   77742   70169  5090598    72.5 | 84.166 % |
22.68/22.76	c |     84536 |  119454   244728 |   85516   71748  5263497    73.4 | 84.337 % |
23.38/23.42	c |     87098 |  119454   244728 |   94067   74310  5644884    76.0 | 84.337 % |
24.78/24.83	c |     90942 |  119277   244292 |  103474   77960  6128278    78.6 | 84.553 % |
26.58/26.67	c |     96708 |  119200   244111 |  113822   83444  6809939    81.6 | 84.644 % |
29.69/29.75	c |    105359 |  119114   243909 |  125204   91819  8533049    92.9 | 84.744 % |
34.58/34.62	c |    118333 |  119105   243886 |  137724  104355 11217441   107.5 | 84.756 % |
40.27/40.31	c ==============================================================================
40.27/40.31	c Found solution: -48
40.27/40.31	c ---[   0]---> Sorter-cost:    0     Base:
40.37/40.40	c ==================================[MINISAT+]==================================
40.37/40.40	c | Conflicts | Original         | Learnt                           | Progress |
40.37/40.40	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
40.37/40.40	c ==============================================================================
40.37/40.40	c |    131994 |  119021   243663 |   39673  116870 13383104   114.5 | 84.756 % |
40.47/40.51	c |    132094 |  118977   243560 |   43640   24446  2364568    96.7 | 84.908 % |
40.47/40.53	c |    132246 |  118977   243560 |   48004   24598  2369751    96.3 | 84.908 % |
40.47/40.59	c |    132471 |  118971   243546 |   52804   24815  2373164    95.6 | 84.915 % |
40.58/40.64	c |    132808 |  118971   243546 |   58085   25152  2387422    94.9 | 84.915 % |
40.68/40.75	c |    133314 |  118967   243536 |   63893   25657  2422772    94.4 | 84.921 % |
40.87/40.90	c |    134073 |  118920   243417 |   70283   26403  2505403    94.9 | 84.984 % |
40.97/41.08	c |    135212 |  118920   243417 |   77311   27542  2600143    94.4 | 84.984 % |
41.37/41.43	c |    136920 |  118918   243413 |   85042   29249  2824170    96.6 | 84.985 % |
41.78/41.89	c |    139482 |  118918   243413 |   93546   31811  3053696    96.0 | 84.985 % |
42.57/42.69	c |    143327 |  118914   243403 |  102901   35653  3558598    99.8 | 84.990 % |
43.77/43.85	c |    149093 |  118901   243372 |  113191   41415  4232663   102.2 | 85.006 % |
46.08/46.11	c |    157742 |  118819   243176 |  124510   49988  5509256   110.2 | 85.102 % |
49.67/49.72	c |    170716 |  118811   243156 |  136961   62958  7487428   118.9 | 85.113 % |
51.06/51.13	c ==============================================================================
51.06/51.13	c Found solution: -49
51.06/51.14	c ---[   0]---> Sorter-cost:    0     Base:
51.06/51.19	c ==================================[MINISAT+]==================================
51.06/51.19	c | Conflicts | Original         | Learnt                           | Progress |
51.06/51.19	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
51.06/51.19	c ==============================================================================
51.06/51.19	c |    175804 |  118834   243226 |   39611   68046  8276536   121.6 | 85.113 % |
51.16/51.23	c |    175904 |  118834   243226 |   43572   68146  8287520   121.6 | 85.095 % |
51.16/51.27	c |    176054 |  118834   243226 |   47929   68296  8293803   121.4 | 85.095 % |
51.26/51.35	c |    176280 |  118834   243226 |   52722   68522  8313392   121.3 | 85.095 % |
51.36/51.46	c |    176617 |  118834   243226 |   57994   68859  8361405   121.4 | 85.095 % |
51.67/51.75	c |    177124 |  118736   242990 |   63793   69273  8401207   121.3 | 85.215 % |
51.96/52.02	c |    177884 |  118669   242821 |   70173   70023  8458378   120.8 | 85.304 % |
52.36/52.42	c |    179023 |  118663   242807 |   77190   71157  8562326   120.3 | 85.311 % |
52.96/53.00	c |    180731 |  118616   242691 |   84909   72830  8793995   120.7 | 85.370 % |
53.96/54.06	c |    183293 |  118428   242219 |   93400   75355  9082022   120.5 | 85.611 % |
55.16/55.25	c |    187137 |  118410   242173 |  102740   79195  9543352   120.5 | 85.636 % |
56.96/57.03	c |    192903 |  118410   242173 |  113014   84961 10273357   120.9 | 85.636 % |
60.15/60.27	c |    201553 |  118410   242173 |  124316   93611 12026601   128.5 | 85.636 % |
64.55/64.68	c |    214528 |  118389   242122 |  136747  106427 14054956   132.1 | 85.662 % |
71.95/72.08	c |    233990 |  118382   242105 |  150422  125871 17500737   139.0 | 85.670 % |
85.04/85.16	c |    263182 |  118355   242042 |  165464  155056 22438869   144.7 | 85.702 % |
107.72/107.81	c |    306971 |  118298   241896 |  182011  198814 30186966   151.8 | 85.777 % |
140.38/140.52	c |    372657 |  118018   241208 |  200212   56510  7077118   125.2 | 86.131 % |
179.36/179.57	c |    471184 |  117843   240787 |  220233  154924 25598207   165.2 | 86.346 % |
217.06/217.25	c ==============================================================================
217.06/217.25	c Found solution: -50
217.06/217.25	c ---[   0]---> Sorter-cost:    0     Base:
217.26/217.45	c ==================================[MINISAT+]==================================
217.26/217.45	c | Conflicts | Original         | Learnt                           | Progress |
217.26/217.45	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
217.26/217.45	c ==============================================================================
217.26/217.45	c |    545336 |  117832   240725 |   39277  228878 38020752   166.1 | 86.346 % |
217.76/217.91	c |    545436 |  117832   240725 |   43204   23959  2371917    99.0 | 86.362 % |
217.76/217.93	c |    545586 |  117832   240725 |   47525   24109  2383701    98.9 | 86.362 % |
217.76/217.96	c |    545812 |  117832   240725 |   52277   24335  2400004    98.6 | 86.362 % |
217.76/217.99	c |    546150 |  117832   240725 |   57505   24673  2417383    98.0 | 86.362 % |
217.86/218.05	c |    546657 |  117832   240725 |   63256   25180  2449240    97.3 | 86.362 % |
217.96/218.16	c |    547416 |  117785   240612 |   69581   25937  2506215    96.6 | 86.419 % |
218.16/218.33	c |    548555 |  117742   240501 |   76539   27074  2651998    98.0 | 86.479 % |
218.36/218.57	c |    550263 |  117742   240501 |   84193   28782  2903118   100.9 | 86.479 % |
218.77/218.93	c |    552825 |  117717   240438 |   92613   31299  3091726    98.8 | 86.512 % |
219.26/219.46	c |    556670 |  117678   240339 |  101874   35141  3444351    98.0 | 86.564 % |
220.26/220.43	c |    562436 |  117664   240303 |  112061   40735  4029708    98.9 | 86.583 % |
221.86/222.08	c |    571085 |  117664   240303 |  123268   49384  5358735   108.5 | 86.583 % |
225.06/225.23	c |    584061 |  117637   240238 |  135594   62352  7730067   124.0 | 86.617 % |
229.56/229.78	c |    603522 |  117637   240238 |  149154   81813 10402293   127.1 | 86.617 % |
237.86/238.01	c |    632714 |  117620   240197 |  164069  110998 14163864   127.6 | 86.638 % |
253.86/254.09	c |    676503 |  117611   240176 |  180476  154681 20736813   134.1 | 86.648 % |
286.55/286.74	c |    742188 |  117597   240144 |  198524  220355 30730377   139.5 | 86.664 % |
320.45/320.65	c |    840715 |  117363   239578 |  218376   92072 13891306   150.9 | 86.950 % |
385.63/385.83	c |    988505 |  117255   239323 |  240214  239698 35457358   147.9 | 87.077 % |
483.12/483.31	c |   1210188 |  117232   239266 |  264236  194713 24851545   127.6 | 87.107 % |
666.87/667.10	c |   1542715 |  117173   239117 |  290659  237777 22519123    94.7 | 87.185 % |
920.84/921.10	c |   2041503 |  116924   238522 |  319725  103376 14786996   143.0 | 87.479 % |
1145.68/1146.02	c ==============================================================================
1145.68/1146.02	c Found solution: -51
1145.68/1146.02	c ---[   0]---> Sorter-cost:    0     Base:
1145.78/1146.18	c ==================================[MINISAT+]==================================
1145.78/1146.18	c | Conflicts | Original         | Learnt                           | Progress |
1145.78/1146.18	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1145.78/1146.18	c ==============================================================================
1145.78/1146.18	c |   2464540 |  116898   238471 |   38966  186632 30495741   163.4 | 87.479 % |
1146.48/1146.86	c |   2464640 |  116898   238471 |   42862   34527  2695057    78.1 | 87.538 % |
1146.48/1146.88	c |   2464790 |  116898   238471 |   47148   34677  2699909    77.9 | 87.538 % |
1146.58/1146.91	c |   2465015 |  116898   238471 |   51863   34902  2713723    77.8 | 87.538 % |
1146.58/1146.96	c |   2465352 |  116888   238444 |   57050   35238  2723570    77.3 | 87.552 % |
1146.68/1147.02	c |   2465859 |  116888   238444 |   62755   35745  2751810    77.0 | 87.552 % |
1146.78/1147.11	c |   2466619 |  116888   238444 |   69030   36505  2817454    77.2 | 87.552 % |
1146.88/1147.25	c |   2467759 |  116888   238444 |   75933   37645  2937316    78.0 | 87.552 % |
1147.18/1147.53	c |   2469468 |  116854   238362 |   83527   39353  3135367    79.7 | 87.590 % |
1147.58/1147.92	c |   2472031 |  116854   238362 |   91879   41916  3482381    83.1 | 87.590 % |
1148.08/1148.44	c |   2475875 |  116854   238362 |  101067   45760  3819638    83.5 | 87.590 % |
1149.18/1149.52	c |   2481641 |  116815   238255 |  111174   51464  4700178    91.3 | 87.648 % |
1150.88/1151.23	c |   2490290 |  116815   238255 |  122292   60113  6045171   100.6 | 87.648 % |
1153.58/1153.97	c |   2503265 |  116812   238248 |  134521   73086  7738992   105.9 | 87.651 % |
1158.27/1158.62	c |   2522726 |  116812   238248 |  147973   92547  9796602   105.9 | 87.651 % |
1167.17/1167.56	c |   2551920 |  116812   238248 |  162770  121741 13883215   114.0 | 87.651 % |
1183.57/1183.93	c |   2595710 |  116810   238244 |  179047  165529 20483144   123.7 | 87.653 % |
1213.67/1214.05	c |   2661394 |  116775   238156 |  196952  231203 30232215   130.8 | 87.698 % |
1243.26/1243.64	c |   2759921 |  116768   238141 |  216647  110882 12958952   116.9 | 87.705 % |
1321.04/1321.43	c |   2907711 |  116747   238092 |  238312  258566 33716586   130.4 | 87.730 % |
1421.42/1421.86	c |   3129394 |  116732   238055 |  262143  221183 20372796    92.1 | 87.749 % |
1572.80/1573.23	c |   3461919 |  116690   237953 |  288358  269815 33786908   125.2 | 87.801 % |
1743.47/1743.98	c ==============================================================================
1743.47/1743.98	c Found solution: -52
1743.47/1743.98	c ---[   0]---> Sorter-cost:    0     Base:
1743.77/1744.28	c ==================================[MINISAT+]==================================
1743.77/1744.28	c | Conflicts | Original         | Learnt                           | Progress |
1743.77/1744.28	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1743.77/1744.28	c ==============================================================================
1743.77/1744.28	c |   3810276 |  116607   237727 |   38869  306101 52159077   170.4 | 87.801 % |
1744.67/1745.13	c |   3810376 |  116599   237705 |   42755   32447  2249618    69.3 | 87.920 % |
1744.67/1745.15	c |   3810526 |  116599   237705 |   47031   32597  2257241    69.2 | 87.920 % |
1744.67/1745.16	c |   3810752 |  116599   237705 |   51734   32823  2260384    68.9 | 87.920 % |
1744.77/1745.21	c |   3811090 |  116599   237705 |   56908   33161  2293123    69.2 | 87.920 % |
1744.77/1745.27	c |   3811598 |  116599   237705 |   62598   33669  2335856    69.4 | 87.920 % |
1744.87/1745.37	c |   3812358 |  116599   237705 |   68858   34429  2415981    70.2 | 87.920 % |
1745.07/1745.54	c |   3813499 |  116591   237685 |   75744   35547  2530544    71.2 | 87.930 % |
1745.28/1745.75	c |   3815207 |  116591   237685 |   83319   37255  2724593    73.1 | 87.930 % |
1745.67/1746.13	c |   3817771 |  116591   237685 |   91651   39819  3061103    76.9 | 87.930 % |
1746.28/1746.78	c |   3821615 |  116591   237685 |  100816   43663  3614656    82.8 | 87.930 % |
1747.17/1747.69	c |   3827382 |  116591   237685 |  110897   49430  4253136    86.0 | 87.930 % |
1748.77/1749.29	c |   3836031 |  116591   237685 |  121987   58079  5460578    94.0 | 87.930 % |
1752.17/1752.64	c |   3849005 |  116591   237685 |  134186   71053  8064081   113.5 | 87.930 % |
1756.77/1757.29	c |   3868466 |  116591   237685 |  147604   90514 10152198   112.2 | 87.930 % |
1767.37/1767.89	c |   3897659 |  116580   237660 |  162365  119700 14990722   125.2 | 87.942 % |
1784.77/1785.25	c |   3941448 |  116580   237660 |  178602  163489 21370068   130.7 | 87.942 % |
1800.07/1800.50	c 
1800.07/1800.50	c *** TERMINATED ***
1800.07/1800.50	s SATISFIABLE
1800.07/1800.50	v -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	-52

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.04 2.02 1.98 3/177 23990
/proc/meminfo: memFree=29979264/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0

[startup+0.0817951 s]
/proc/loadavg: 2.04 2.02 1.98 3/177 23990
/proc/meminfo: memFree=29979264/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10022 s]
/proc/loadavg: 2.04 2.02 1.98 3/177 23990
/proc/meminfo: memFree=29979264/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30016 s]
/proc/loadavg: 2.04 2.02 1.98 3/177 23990
/proc/meminfo: memFree=29979264/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700228 s]
/proc/loadavg: 2.04 2.02 1.98 3/177 23990
/proc/meminfo: memFree=29979264/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50027 s]
/proc/loadavg: 2.04 2.02 1.98 3/179 23995
/proc/meminfo: memFree=29925812/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=54736 CPUtime=1.48 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 13459 0 0 0 143 5 0 0 20 0 1 0 323278788 56049664 13414 33554432000 4194304 5276501 140735259080752 140735259079000 4391577 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 13684 13414 120 265 0 13416 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 63884

[startup+3.1003 s]
/proc/loadavg: 2.04 2.02 1.98 3/179 23995
/proc/meminfo: memFree=29925124/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=54736 CPUtime=3.08 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 13459 0 0 0 303 5 0 0 20 0 1 0 323278788 56049664 13414 33554432000 4194304 5276501 140735259080752 140735259079000 4399741 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 13684 13414 120 265 0 13416 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 63884

[startup+6.30028 s]
/proc/loadavg: 2.03 2.02 1.98 3/179 23995
/proc/meminfo: memFree=29925188/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=54736 CPUtime=6.28 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 13459 0 0 0 623 5 0 0 20 0 1 0 323278788 56049664 13414 33554432000 4194304 5276501 140735259080752 140735259079000 4391531 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 13684 13414 120 265 0 13416 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 63884

[startup+12.7002 s]
/proc/loadavg: 2.03 2.02 1.98 3/179 23995
/proc/meminfo: memFree=29924828/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=54736 CPUtime=12.68 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 13459 0 0 0 1263 5 0 0 20 0 1 0 323278788 56049664 13414 33554432000 4194304 5276501 140735259080752 140735259079000 4399937 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 13684 13414 120 265 0 13416 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 63884

[startup+25.5002 s]
/proc/loadavg: 2.02 2.02 1.98 3/179 23996
/proc/meminfo: memFree=29918256/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=60916 CPUtime=25.48 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 15020 0 0 0 2542 6 0 0 20 0 1 0 323278788 62377984 14975 33554432000 4194304 5276501 140735259080752 140735259078344 4391577 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 15229 14975 120 265 0 14961 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 70064

[startup+51.1002 s]
/proc/loadavg: 2.01 2.02 1.98 3/179 23996
/proc/meminfo: memFree=29884952/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=92816 CPUtime=51.06 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 23032 0 0 0 5098 8 0 0 20 0 1 0 323278788 95043584 22914 33554432000 4194304 5276501 140735259080752 140735259079000 4399850 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 23204 22914 120 265 0 22936 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 101964

[startup+102.307 s]
/proc/loadavg: 2.11 2.04 1.99 3/180 23997
/proc/meminfo: memFree=29818648/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=158248 CPUtime=102.23 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 39442 0 0 0 10208 15 0 0 20 0 1 0 323278788 162045952 39243 33554432000 4194304 5276501 140735259080752 140735259078936 4399918 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 39562 39243 120 265 0 39294 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 167396

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 1.99 3/179 23997
/proc/meminfo: memFree=29777672/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=194164 CPUtime=162.17 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 48303 0 0 0 16199 18 0 0 20 0 1 0 323278788 198823936 48112 33554432000 4194304 5276501 140735259080752 140735259079000 4691849 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 48541 48112 120 265 0 48273 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 203312

[startup+222.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/179 23997
/proc/meminfo: memFree=29764848/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=204724 CPUtime=222.16 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 51069 0 0 0 22196 20 0 0 20 0 1 0 323278788 209637376 50772 33554432000 4194304 5276501 140735259080752 140735259079000 4391568 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 51181 50772 120 265 0 50913 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 213872

[startup+282.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/180 24000
/proc/meminfo: memFree=29763036/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=204724 CPUtime=282.15 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 51069 0 0 0 28195 20 0 0 20 0 1 0 323278788 209637376 50772 33554432000 4194304 5276501 140735259080752 140735259079000 4399816 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 51181 50772 120 265 0 50913 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 213872

[startup+342.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/179 24001
/proc/meminfo: memFree=29762292/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=204724 CPUtime=342.14 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 51104 0 0 0 34194 20 0 0 20 0 1 0 323278788 209637376 50814 33554432000 4194304 5276501 140735259080752 140735259079000 4399816 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 51181 50814 120 265 0 50913 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 213872

[startup+402.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/179 24001
/proc/meminfo: memFree=29747864/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=323740 CPUtime=1121.98 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 80626 0 0 0 112163 35 0 0 20 0 1 0 323278788 331509760 80476 33554432000 4194304 5276501 140735259080752 140735259078744 4399913 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 80935 80476 120 265 0 80667 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 332888

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24006
/proc/meminfo: memFree=29609048/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=323740 CPUtime=1181.97 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 80626 0 0 0 118162 35 0 0 20 0 1 0 323278788 331509760 80476 33554432000 4194304 5276501 140735259080752 140735259079000 4399816 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 80935 80476 120 265 0 80667 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 332888

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24050
/proc/meminfo: memFree=29707596/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=323740 CPUtime=1241.96 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 80626 0 0 0 124161 35 0 0 20 0 1 0 323278788 331509760 80476 33554432000 4194304 5276501 140735259080752 140735259079000 4399951 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 80935 80476 120 265 0 80667 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 332888

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24051
/proc/meminfo: memFree=29697148/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=323740 CPUtime=1301.95 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 80641 0 0 0 130160 35 0 0 20 0 1 0 323278788 331509760 80493 33554432000 4194304 5276501 140735259080752 140735259079000 4399850 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 80935 80493 120 265 0 80667 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 332888

[startup+1362.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/179 24051
/proc/meminfo: memFree=29688524/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=323740 CPUtime=1361.93 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 80641 0 0 0 136158 35 0 0 20 0 1 0 323278788 331509760 80493 33554432000 4194304 5276501 140735259080752 140735259079000 4399876 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 80935 80493 120 265 0 80667 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 332888

[startup+1422.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 24051
/proc/meminfo: memFree=29687780/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=323740 CPUtime=1421.93 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 80641 0 0 0 142158 35 0 0 20 0 1 0 323278788 331509760 80493 33554432000 4194304 5276501 140735259080752 140735259079000 4399826 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 80935 80493 120 265 0 80667 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 332888

[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/180 24054
/proc/meminfo: memFree=29685168/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=323740 CPUtime=1481.91 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 80641 0 0 0 148156 35 0 0 20 0 1 0 323278788 331509760 80493 33554432000 4194304 5276501 140735259080752 140735259079000 4390969 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 80935 80493 120 265 0 80667 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 332888

[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 24054
/proc/meminfo: memFree=29679368/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=323740 CPUtime=1541.9 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 80641 0 0 0 154155 35 0 0 20 0 1 0 323278788 331509760 80493 33554432000 4194304 5276501 140735259080752 140735259079000 4395519 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 80935 80493 120 265 0 80667 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 332888

[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 24055
/proc/meminfo: memFree=29672404/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=323740 CPUtime=1601.9 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 80641 0 0 0 160155 35 0 0 20 0 1 0 323278788 331509760 80493 33554432000 4194304 5276501 140735259080752 140735259079000 4399816 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 80935 80493 120 265 0 80667 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 332888

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 24055
/proc/meminfo: memFree=29666084/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=323740 CPUtime=1661.89 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 80641 0 0 0 166154 35 0 0 20 0 1 0 323278788 331509760 80493 33554432000 4194304 5276501 140735259080752 140735259079000 4391536 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 80935 80493 120 265 0 80667 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 332888

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 24055
/proc/meminfo: memFree=29660752/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=323740 CPUtime=1721.88 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 80641 0 0 0 172153 35 0 0 20 0 1 0 323278788 331509760 80493 33554432000 4194304 5276501 140735259080752 140735259079000 4394815 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 80935 80493 120 265 0 80667 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 332888

[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 24055
/proc/meminfo: memFree=29654800/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=323740 CPUtime=1781.87 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 80641 0 0 0 178152 35 0 0 20 0 1 0 323278788 331509760 80493 33554432000 4194304 5276501 140735259080752 140735259079000 4399360 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 80935 80493 120 265 0 80667 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 332888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 24055
/proc/meminfo: memFree=29653312/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=323740 CPUtime=1800.07 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 80641 0 0 0 179972 35 0 0 20 0 1 0 323278788 331509760 80493 33554432000 4194304 5276501 140735259080752 140735259079000 4394817 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 80935 80493 120 265 0 80667 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 332888

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 24055
/proc/meminfo: memFree=29653312/32873648 swapFree=7116/7116
[pid=23990] ppid=23988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23990/stat : 23990 (minisat+_script) S 23988 23990 21013 0 -1 4202496 384 550 0 0 0 0 0 0 20 0 1 0 323278788 9367552 277 33554432000 4194304 5064252 140736609531344 140736609530256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23990/statm: 2287 277 236 213 0 72 0
[pid=23994] ppid=23990 vsize=323740 CPUtime=1800.07 cores=1,3,5,7
/proc/23994/stat : 23994 (minisat+_64-bit) R 23990 23990 21013 0 -1 4202496 80641 0 0 0 179972 35 0 0 20 0 1 0 323278788 331509760 80493 33554432000 4194304 5276501 140735259080752 140735259079000 4394817 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23994/statm: 80935 80493 120 265 0 80667 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 332888

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1799.73
CPU system time (s): 0.358945
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 332888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.358945
maximum resident set size= 321976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81587
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= 162
involuntary context switches= 1849

runsolver used 2.95955 second user time and 8.66468 second system time

The end

Launcher Data 

Begin job on node127 at 2012-06-01 19:25:33
IDJOB=3723566
IDBENCH=2247
IDSOLVER=2307
FILE ID=node127/3723566-1338571533
RUNJOBID= node127-1338568940-23452
PBS_JOBID= 14635857
Free space on /tmp= 70480 MiB

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

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

MD5SUM BENCH= 98c81efbf429745622d6705fab70d2ee
RANDOM SEED=1265536763

node127.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.348
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.69
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.348
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.348
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.94
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.348
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.348
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
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.348
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:       32873648 kB
MemFree:        29979164 kB
Buffers:          336804 kB
Cached:          1578952 kB
SwapCached:         1500 kB
Active:          1028504 kB
Inactive:         984084 kB
Active(anon):      91024 kB
Inactive(anon):     7932 kB
Active(file):     937480 kB
Inactive(file):   976152 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67104404 kB
Dirty:              5080 kB
Writeback:             0 kB
AnonPages:        101956 kB
Mapped:            11256 kB
Shmem:                92 kB
Slab:             743112 kB
SReclaimable:     187324 kB
SUnreclaim:       555788 kB
KernelStack:        1464 kB
PageTables:         3992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     215372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70476 MiB
End job on node127 at 2012-06-01 19:55:34