Trace number 4112559

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
minisatp 2012-10-02 git-d91742bSAT (TO)-52 1800.07 1800.51

General information on the benchmark

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

Solver Data 

0.00/0.00	c Parsing PB file...
1.10/1.19	c Converting 126082 PB-constraints to clauses...
1.10/1.20	c   -- Unit propagations: (none)
1.10/1.20	c   -- Detecting intervals from adjacent constraints: (none)
1.10/1.20	c   -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.39/1.42	============================[ Search Statistics ]==============================
1.39/1.42	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.42	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.39/1.42	===============================================================================
1.39/1.42	===============================================================================
1.39/1.42	c Found solution: -43
1.39/1.43	c ---[   0]---> Sorter-cost:85954     Base:
7.19/7.25	|  Eliminated clauses:           0.95 Mb                                      |
7.19/7.25	============================[ Search Statistics ]==============================
7.19/7.25	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.19/7.25	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.19/7.25	===============================================================================
7.19/7.25	|       100 |   32865   191999   530898 |    70399       94     29 |  0.113 % |
7.19/7.25	|       250 |   32553   191999   530898 |    77439      220     33 |  0.617 % |
7.19/7.25	|       475 |   32223   191999   530898 |    85183      425     26 |  1.150 % |
7.19/7.25	|       812 |   31811   191999   530898 |    93701      722     29 |  1.816 % |
7.19/7.25	|      1318 |   31398   191999   530898 |   103072     1205     30 |  2.483 % |
7.19/7.25	|      2077 |   30507   191999   530898 |   113379     1877     33 |  3.923 % |
7.19/7.25	|      3216 |   29407   191999   530898 |   124717     2917     38 |  5.700 % |
7.19/7.25	|      4924 |   27588   191999   530898 |   137188     4469     37 |  8.638 % |
7.19/7.25	|      7486 |   26031   191999   530898 |   150907     6856     35 | 11.154 % |
7.19/7.25	|     11330 |   23419   191999   530898 |   165998    10245     38 | 15.374 % |
7.19/7.25	|     17096 |   21685   191999   530898 |   182598    15711     44 | 18.175 % |
7.19/7.25	===============================================================================
7.19/7.25	c Found solution: -46
7.19/7.26	c ---[   0]---> Sorter-cost:    0     Base:
22.99/23.04	|  Eliminated clauses:           0.98 Mb                                      |
22.99/23.04	============================[ Search Statistics ]==============================
22.99/23.04	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.99/23.04	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
22.99/23.04	===============================================================================
22.99/23.04	|     25251 |   18872   162458   401800 |    59567    23134     50 | 21.572 % |
22.99/23.04	|     25401 |   18872   162458   401800 |    65524    23284     51 | 21.572 % |
22.99/23.04	|     25626 |   18852   162458   401800 |    72077    23291     50 | 21.604 % |
22.99/23.04	|     25963 |   18781   162458   401800 |    79284    23624     50 | 21.719 % |
22.99/23.04	|     26469 |   18695   162458   401800 |    87213    24127     50 | 21.858 % |
22.99/23.04	|     27228 |   18633   162458   401800 |    95934    24883     51 | 21.958 % |
22.99/23.04	|     28367 |   18545   162458   401800 |   105528    25628     51 | 22.100 % |
22.99/23.04	|     30075 |   18262   162458   401800 |   116081    27323     52 | 22.556 % |
22.99/23.04	|     32637 |   17886   162458   401800 |   127689    29805     53 | 23.163 % |
22.99/23.04	|     36481 |   17267   162458   401800 |   140458    33404     56 | 24.162 % |
22.99/23.04	|     42247 |   16466   162458   401800 |   154503    38955     63 | 25.455 % |
22.99/23.04	|     50896 |   15446   162458   401800 |   169954    46687     74 | 27.101 % |
22.99/23.04	|     63870 |   14508   162458   401800 |   186949    58957     89 | 28.615 % |
22.99/23.04	|     83331 |   13462   162458   401800 |   205644    78005    106 | 30.303 % |
22.99/23.04	===============================================================================
22.99/23.04	c Found solution: -48
22.99/23.05	c ---[   0]---> Sorter-cost:    0     Base:
65.18/65.22	|  Eliminated clauses:           1.01 Mb                                      |
65.18/65.22	============================[ Search Statistics ]==============================
65.18/65.22	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
65.18/65.22	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
65.18/65.22	===============================================================================
65.18/65.22	|     96331 |   12696   149504   349386 |    54818    26782    113 | 30.816 % |
65.18/65.22	|     96481 |   12696   149504   349386 |    60299    26932    114 | 30.816 % |
65.18/65.22	|     96706 |   12696   149504   349386 |    66329    27157    114 | 30.816 % |
65.18/65.22	|     97043 |   12696   149504   349386 |    72962    27494    115 | 30.816 % |
65.18/65.22	|     97549 |   12655   149504   349386 |    80259    27998    114 | 30.882 % |
65.18/65.22	|     98308 |   12568   149504   349386 |    88285    28752    114 | 31.020 % |
65.18/65.22	|     99447 |   12506   149504   349386 |    97113    29887    115 | 31.119 % |
65.18/65.22	|    101155 |   12443   149504   349386 |   106825    31591    115 | 31.220 % |
65.18/65.22	|    103717 |   12340   149504   349386 |   117507    34147    118 | 31.384 % |
65.18/65.22	|    107561 |   12247   149504   349386 |   129258    37985    123 | 31.532 % |
65.18/65.22	|    113327 |   11997   149504   349386 |   142184    43729    128 | 31.931 % |
65.18/65.22	|    121976 |   11824   149504   349386 |   156402    52361    134 | 32.207 % |
65.18/65.22	|    134950 |   11629   149504   349386 |   172042    64422    146 | 32.518 % |
65.18/65.22	|    154411 |   11354   149504   349386 |   189247    83655    159 | 32.956 % |
65.18/65.22	|    183603 |   10930   149504   349386 |   208171   112820    178 | 33.633 % |
65.18/65.22	===============================================================================
65.18/65.22	c Found solution: -50
65.18/65.23	c ---[   0]---> Sorter-cost:    0     Base:
164.84/164.96	|  Eliminated clauses:           1.02 Mb                                      |
164.84/164.96	============================[ Search Statistics ]==============================
164.84/164.96	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
164.84/164.96	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
164.84/164.96	===============================================================================
164.84/164.96	|    220830 |   10211   144416   328415 |    52952    32006    149 | 34.240 % |
164.84/164.96	|    220980 |   10211   144416   328415 |    58247    32156    149 | 34.240 % |
164.84/164.96	|    221205 |   10211   144416   328415 |    64072    32381    149 | 34.240 % |
164.84/164.96	|    221542 |   10208   144416   328415 |    70479    32717    149 | 34.244 % |
164.84/164.96	|    222048 |   10183   144416   328415 |    77527    33222    148 | 34.284 % |
164.84/164.96	|    222807 |   10156   144416   328415 |    85280    33979    148 | 34.327 % |
164.84/164.96	|    223946 |   10134   144416   328415 |    93808    35117    149 | 34.362 % |
164.84/164.96	|    225654 |   10134   144416   328415 |   103189    36825    150 | 34.362 % |
164.84/164.96	|    228216 |   10131   144416   328415 |   113508    39386    151 | 34.367 % |
164.84/164.96	|    232060 |   10078   144416   328415 |   124859    43226    152 | 34.452 % |
164.84/164.96	|    237826 |   10024   144416   328415 |   137345    48987    157 | 34.538 % |
164.84/164.96	|    246475 |    9858   144416   328415 |   151079    57623    158 | 34.802 % |
164.84/164.96	|    259449 |    9642   144416   328415 |   166187    70584    167 | 35.146 % |
164.84/164.96	|    278910 |    9229   144416   328415 |   182806    90020    175 | 35.805 % |
164.84/164.96	|    308102 |    8880   144416   328415 |   201087   119190    185 | 36.361 % |
164.84/164.96	|    351891 |    8441   144416   328415 |   221195   161707    198 | 37.060 % |
164.84/164.96	|    417575 |    8062   144416   328415 |   243315   226916    212 | 37.664 % |
164.84/164.96	===============================================================================
164.84/164.96	c Found solution: -51
164.84/164.97	c ---[   0]---> Sorter-cost:    0     Base:
1027.19/1027.50	|  Eliminated clauses:           1.03 Mb                                      |
1027.19/1027.50	============================[ Search Statistics ]==============================
1027.19/1027.50	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1027.19/1027.50	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1027.19/1027.50	===============================================================================
1027.19/1027.50	|    432314 |    7788   139277   307631 |    51068    28927    225 | 37.829 % |
1027.19/1027.50	|    432464 |    7788   139277   307631 |    56175    29077    225 | 37.829 % |
1027.19/1027.50	|    432689 |    7788   139277   307631 |    61792    29302    224 | 37.828 % |
1027.19/1027.50	|    433026 |    7788   139277   307631 |    67971    29639    223 | 37.829 % |
1027.19/1027.50	|    433532 |    7748   139277   307631 |    74769    30142    221 | 37.892 % |
1027.19/1027.50	|    434291 |    7644   139277   307631 |    82245    30893    218 | 38.056 % |
1027.19/1027.50	|    435430 |    7625   139277   307631 |    90470    32030    215 | 38.086 % |
1027.19/1027.50	|    437138 |    7603   139277   307631 |    99517    33737    213 | 38.121 % |
1027.19/1027.50	|    439700 |    7603   139277   307631 |   109469    36299    211 | 38.121 % |
1027.19/1027.50	|    443544 |    7477   139277   307631 |   120416    40134    206 | 38.320 % |
1027.19/1027.50	|    449310 |    7416   139277   307631 |   132457    45895    203 | 38.416 % |
1027.19/1027.50	|    457959 |    7365   139277   307631 |   145703    54541    200 | 38.497 % |
1027.19/1027.50	|    470933 |    7194   139277   307631 |   160273    67502    199 | 38.767 % |
1027.19/1027.50	|    490394 |    7149   139277   307631 |   176301    86959    203 | 38.838 % |
1027.19/1027.50	|    519586 |    7057   139277   307631 |   193931   116141    206 | 38.983 % |
1027.19/1027.50	|    563375 |    6981   139277   307631 |   213324   159923    217 | 39.103 % |
1027.19/1027.50	|    629059 |    6652   139277   307631 |   234657   224742    223 | 39.623 % |
1027.19/1027.50	|    727585 |    6213   139277   307631 |   258122    95306    234 | 40.316 % |
1027.19/1027.50	|    875374 |    5883   139277   307631 |   283935   242429    252 | 40.837 % |
1027.19/1027.50	|   1097057 |    5379   139277   307631 |   312328   181780    232 | 41.633 % |
1027.19/1027.50	|   1429582 |    4736   139277   307631 |   343561   211303    264 | 42.648 % |
1027.19/1027.50	|   1928370 |    4407   139277   307631 |   377917    42292    237 | 43.168 % |
1027.19/1027.50	===============================================================================
1027.19/1027.50	c Found solution: -52
1027.29/1027.51	c ---[   0]---> Sorter-cost:    0     Base:
1800.05/1800.50	|  Eliminated clauses:           1.04 Mb                                      |
1800.05/1800.50	============================[ Search Statistics ]==============================
1800.05/1800.50	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.05/1800.50	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.05/1800.50	===============================================================================
1800.05/1800.50	|   1961294 |    4031   131345   275413 |    48159    27444    314 | 43.236 % |
1800.05/1800.50	|   1961444 |    4031   131345   275413 |    52975    27594    314 | 43.236 % |
1800.05/1800.50	|   1961669 |    4031   131345   275413 |    58273    27819    312 | 43.236 % |
1800.05/1800.50	|   1962006 |    4031   131345   275413 |    64100    28156    310 | 43.236 % |
1800.05/1800.50	|   1962512 |    4031   131345   275413 |    70510    28662    309 | 43.236 % |
1800.05/1800.50	|   1963271 |    4031   131345   275413 |    77561    29421    306 | 43.236 % |
1800.05/1800.50	|   1964410 |    4031   131345   275413 |    85318    30560    304 | 43.236 % |
1800.05/1800.50	|   1966118 |    4030   131345   275413 |    93849    32267    297 | 43.238 % |
1800.05/1800.50	|   1968680 |    4030   131345   275413 |   103234    34829    294 | 43.238 % |
1800.05/1800.50	|   1972524 |    4028   131345   275413 |   113558    38672    286 | 43.241 % |
1800.05/1800.50	|   1978290 |    4028   131345   275413 |   124914    44438    278 | 43.241 % |
1800.05/1800.50	|   1986939 |    4028   131345   275413 |   137405    53087    264 | 43.241 % |
1800.05/1800.50	|   1999913 |    4023   131345   275413 |   151146    66060    256 | 43.249 % |
1800.05/1800.50	|   2019374 |    4023   131345   275413 |   166260    85521    248 | 43.249 % |
1800.05/1800.50	|   2048566 |    4023   131345   275413 |   182886   114713    243 | 43.249 % |
1800.05/1800.50	|   2092355 |    4004   131345   275413 |   201175   158215    238 | 43.279 % |
1800.05/1800.50	|   2158039 |    4004   131345   275413 |   221293   223899    237 | 43.279 % |
1800.05/1800.50	|   2256565 |    3902   131345   275413 |   243422   100003    260 | 43.440 % |
1800.05/1800.50	|   2404354 |    3856   131345   275413 |   267764   247441    249 | 43.513 % |
1800.05/1800.50	|   2626037 |    3798   131345   275413 |   294541   194243    244 | 43.604 % |
1800.05/1800.50	|   2958562 |    3656   131345   275413 |   323995   235562    246 | 43.828 % |
1800.05/1800.50	|   3457350 |    3595   131345   275413 |   356394    82674    237 | 43.925 % |
1800.05/1800.50	c 
1800.05/1800.50	c *** TERMINATED ***
1800.05/1800.50	s SATISFIABLE
1800.05/1800.50	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 x1305 -x1304 -x1303 -x1302 -x1301 x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-52

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4112559-1466541164/watcher-4112559-1466541164 -o /tmp/evaluation-result-4112559-1466541164/solver-4112559-1466541164 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466517739-10059 --watchdog 1960 minisatp HOME/instance-4112559-1466541164.opb 

pid=12660
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 12663
/proc/meminfo: memFree=31928092/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=6924 CPUtime=0 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 56161298 7090176 300 33554432000 4194304 5646918 140737295203904 140736576729016 4953072 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 1731 300 94 355 0 1372 0

[startup+0.100148 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 12663
/proc/meminfo: memFree=31928092/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=12496 CPUtime=0.09 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 1828 0 0 0 9 0 0 0 20 0 1 0 56161298 12795904 1704 33554432000 4194304 5646918 140737295203904 140736576729016 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 3124 1704 94 355 0 2765 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12496

[startup+0.200314 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 12663
/proc/meminfo: memFree=31928092/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=18492 CPUtime=0.19 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 3341 0 0 0 19 0 0 0 20 0 1 0 56161298 18935808 3217 33554432000 4194304 5646918 140737295203904 140736576729016 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 4623 3217 94 355 0 4264 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18492

[startup+0.30029 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 12663
/proc/meminfo: memFree=31928092/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=24692 CPUtime=0.29 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 4849 0 0 0 29 0 0 0 20 0 1 0 56161298 25284608 4725 33554432000 4194304 5646918 140737295203904 140736576729016 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 6173 4726 94 355 0 5814 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24692

[startup+0.700254 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 12663
/proc/meminfo: memFree=31928092/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=48868 CPUtime=0.69 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 10867 0 0 0 68 1 0 0 20 0 1 0 56161298 50040832 10743 33554432000 4194304 5646918 140737295203904 140736576729016 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 12217 10744 94 355 0 11858 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48868

[startup+1.50023 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 12664
/proc/meminfo: memFree=31892836/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=97676 CPUtime=1.49 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 23907 0 0 0 142 7 0 0 20 0 1 0 56161298 100020224 23606 33554432000 4194304 5646918 140737295203904 140737295203272 4388221 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 24419 23607 134 355 0 24060 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97676

[startup+3.1003 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 12664
/proc/meminfo: memFree=31855944/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=107064 CPUtime=3.09 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 27242 0 0 0 302 7 0 0 20 0 1 0 56161298 109633536 25781 33554432000 4194304 5646918 140737295203904 140737295202664 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 26766 25781 155 355 0 26407 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 107064

[startup+6.30029 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12664
/proc/meminfo: memFree=31854356/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=114204 CPUtime=6.29 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 28007 0 0 0 621 8 0 0 20 0 1 0 56161298 116944896 26528 33554432000 4194304 5646918 140737295203904 140737295202600 4403225 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 28551 26528 155 355 0 28192 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 114204

[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12664
/proc/meminfo: memFree=31841576/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=133312 CPUtime=12.69 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 29718 0 0 0 1261 8 0 0 20 0 1 0 56161298 136511488 29756 33554432000 4194304 5646918 140737295203904 140737295202600 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 33328 29756 155 355 0 32969 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 133312

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12664
/proc/meminfo: memFree=31838672/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=133792 CPUtime=25.49 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 31262 0 0 0 2539 10 0 0 20 0 1 0 56161298 137003008 30198 33554432000 4194304 5646918 140737295203904 140737295202616 4403076 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 33448 30198 156 355 0 33089 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 133792

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12664
/proc/meminfo: memFree=31770664/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=233668 CPUtime=51.08 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 32934 0 0 0 5097 11 0 0 20 0 1 0 56161298 239276032 47704 33554432000 4194304 5646918 140737295203904 140737295202600 4402798 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 58417 47704 156 355 0 58058 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 233668

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12665
/proc/meminfo: memFree=31749100/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=234988 CPUtime=102.28 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 34847 0 0 0 10214 14 0 0 20 0 1 0 56161298 240627712 52439 33554432000 4194304 5646918 140737295203904 140737295202600 4403454 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 58747 52439 156 355 0 58388 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 234988

[startup+162.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 12721
/proc/meminfo: memFree=31657048/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=317456 CPUtime=162.24 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 35882 0 0 0 16207 17 0 0 20 0 1 0 56161298 325074944 76136 33554432000 4194304 5646918 140737295203904 140737295202152 4403454 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 79364 76136 156 355 0 79005 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 317456

[startup+222.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 12722
/proc/meminfo: memFree=31576644/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=317456 CPUtime=222.23 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 38252 0 0 0 22203 20 0 0 20 0 1 0 56161298 325074944 62870 33554432000 4194304 5646918 140737295203904 140737295202600 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 79364 62870 156 355 0 79005 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 317456

[startup+282.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/177 12724
/proc/meminfo: memFree=31715932/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=136192 CPUtime=282.22 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 38973 0 0 0 28199 23 0 0 20 0 1 0 56161298 139460608 33104 33554432000 4194304 5646918 140737295203904 140737295202616 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 34048 33104 156 355 0 33689 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 136192

[startup+342.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 12725
/proc/meminfo: memFree=31489432/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=317456 CPUtime=342.2 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 41093 0 0 0 34195 25 0 0 20 0 1 0 56161298 325074944 67493 33554432000 4194304 5646918 140737295203904 140737295202600 4402781 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 79364 67493 156 355 0 79005 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 317456

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 12726
/proc/meminfo: memFree=31477948/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=449716 CPUtime=402.2 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 41658 0 0 0 40192 28 0 0 20 0 1 0 56161298 460509184 92581 33554432000 4194304 5646918 140737295203904 140737295202600 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 112429 92581 156 355 0 112070 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 449716

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 12730
/proc/meminfo: memFree=31538800/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=237688 CPUtime=462.17 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 43557 0 0 0 46187 30 0 0 20 0 1 0 56161298 243392512 54311 33554432000 4194304 5646918 140737295203904 140737295202600 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 59422 54311 156 355 0 59063 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 237688

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12731
/proc/meminfo: memFree=31556668/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=319836 CPUtime=522.16 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 44526 0 0 0 52183 33 0 0 20 0 1 0 56161298 327512064 76225 33554432000 4194304 5646918 140737295203904 140737295202040 4403104 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 79959 76225 156 355 0 79600 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 319836

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12733
/proc/meminfo: memFree=31391336/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=455496 CPUtime=582.14 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 45800 0 0 0 58180 34 0 0 20 0 1 0 56161298 466427904 94870 33554432000 4194304 5646918 140737295203904 140737295202040 4403411 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 113874 94870 156 355 0 113515 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 455496


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


[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12740
/proc/meminfo: memFree=31242560/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=463700 CPUtime=942.09 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 53874 0 0 0 94156 53 0 0 20 0 1 0 56161298 474828800 99541 33554432000 4194304 5646918 140737295203904 140737295202040 4403136 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 115925 99541 156 355 0 115566 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 463700

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12741
/proc/meminfo: memFree=31419776/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=680444 CPUtime=1002.08 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 54737 0 0 0 100152 56 0 0 20 0 1 0 56161298 696774656 116755 33554432000 4194304 5646918 140737295203904 140737295202600 4403178 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 170111 116755 156 355 0 169752 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 680444

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12745
/proc/meminfo: memFree=31548820/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=252904 CPUtime=1062.07 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 58512 0 0 0 106144 63 0 0 20 0 1 0 56161298 258973696 58280 33554432000 4194304 5646918 140737295203904 140737295202600 4403431 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 63226 58280 157 355 0 62867 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 252904

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12746
/proc/meminfo: memFree=31555688/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=466552 CPUtime=1122.03 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 59591 0 0 0 112136 67 0 0 20 0 1 0 56161298 477749248 84140 33554432000 4194304 5646918 140737295203904 140737295202600 4403164 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 116638 84140 157 355 0 116279 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 466552

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12748
/proc/meminfo: memFree=31502012/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=334292 CPUtime=1182.01 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 62602 0 0 0 118129 72 0 0 20 0 1 0 56161298 342315008 71387 33554432000 4194304 5646918 140737295203904 140737295202600 4403411 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 83573 71387 157 355 0 83214 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 334292

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12749
/proc/meminfo: memFree=31315604/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=467064 CPUtime=1242 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 63235 0 0 0 124125 75 0 0 20 0 1 0 56161298 478273536 96036 33554432000 4194304 5646918 140737295203904 140737295202040 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 116766 96036 157 355 0 116407 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 467064

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12750
/proc/meminfo: memFree=31571032/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=334804 CPUtime=1301.99 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 65609 0 0 0 130118 81 0 0 20 0 1 0 56161298 342839296 67303 33554432000 4194304 5646918 140737295203904 140737295202600 4403091 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 83701 67303 157 355 0 83342 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 334804

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12751
/proc/meminfo: memFree=31386900/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=467948 CPUtime=1361.98 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 66347 0 0 0 136115 83 0 0 20 0 1 0 56161298 479178752 90525 33554432000 4194304 5646918 140737295203904 140737295202040 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 116987 90525 157 355 0 116628 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 467948

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12752
/proc/meminfo: memFree=31474696/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=205656 CPUtime=1421.96 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 68827 0 0 0 142110 86 0 0 20 0 1 0 56161298 210591744 47697 33554432000 4194304 5646918 140737295203904 140737295202600 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 51414 47697 157 355 0 51055 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 205656

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12754
/proc/meminfo: memFree=31571312/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=337272 CPUtime=1481.95 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 69729 0 0 0 148107 88 0 0 20 0 1 0 56161298 345366528 78234 33554432000 4194304 5646918 140737295203904 140737295202040 4398908 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 84318 78234 157 355 0 83959 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 337272

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12755
/proc/meminfo: memFree=31343924/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=470100 CPUtime=1541.95 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 70384 0 0 0 154104 91 0 0 20 0 1 0 56161298 481382400 102903 33554432000 4194304 5646918 140737295203904 140737295202040 4402784 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 117525 102903 157 355 0 117166 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 470100

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12756
/proc/meminfo: memFree=31577540/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=257256 CPUtime=1601.92 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 73046 0 0 0 160096 96 0 0 20 0 1 0 56161298 263430144 58588 33554432000 4194304 5646918 140737295203904 140737295202600 4402818 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 64314 58588 157 355 0 63955 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 257256

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12760
/proc/meminfo: memFree=31395068/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=339072 CPUtime=1661.92 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 73704 0 0 0 166094 98 0 0 20 0 1 0 56161298 347209728 82237 33554432000 4194304 5646918 140737295203904 140737295202040 4402736 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 84768 82237 157 355 0 84409 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 339072

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12784
/proc/meminfo: memFree=31412668/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=472748 CPUtime=1721.88 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 74542 0 0 0 172088 100 0 0 20 0 1 0 56161298 484093952 97408 33554432000 4194304 5646918 140737295203904 140737295202040 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 118187 97408 157 355 0 117828 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 472748

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12786
/proc/meminfo: memFree=31460932/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=259732 CPUtime=1781.85 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 77199 0 0 0 178081 104 0 0 20 0 1 0 56161298 265965568 63812 33554432000 4194304 5646918 140737295203904 140737295202600 4402736 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 64933 63812 157 355 0 64574 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 259732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 12787
/proc/meminfo: memFree=31393400/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=341120 CPUtime=1800.05 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 77734 0 0 0 179900 105 0 0 20 0 1 0 56161298 349306880 74565 33554432000 4194304 5646918 140737295203904 140737295202600 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 85280 74565 157 355 0 84921 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 341120

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12663 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 12787
/proc/meminfo: memFree=31393400/32872528 swapFree=8292/8292
[pid=12663] ppid=12660 vsize=341120 CPUtime=1800.05 cores=0,2,4,6
/proc/12663/stat : 12663 (minisatp) R 12660 12663 10043 0 -1 4202496 77734 0 0 0 179900 105 0 0 20 0 1 0 56161298 349306880 74565 33554432000 4194304 5646918 140737295203904 140737295202600 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12663/statm: 85280 74565 157 355 0 84921 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 341120

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.01
CPU system time (s): 1.06184
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 708180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.06184
maximum resident set size= 515448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77734
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= 244
involuntary context switches= 1843

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6243 second user time and 6.94794 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-21 22:32:45
IDJOB=4112559
IDBENCH=2267
IDSOLVER=2555
FILE ID=node151/4112559-1466541164
RUNJOBID= node151-1466517739-10059
PBS_JOBID= 19942883
Free space on /tmp= 71736 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112559-1466541164/watcher-4112559-1466541164 -o /tmp/evaluation-result-4112559-1466541164/solver-4112559-1466541164 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466517739-10059 --watchdog 1960  minisatp HOME/instance-4112559-1466541164.opb

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

MD5SUM BENCH= 36a19a7aeba117287b60c4673ad89664
RANDOM SEED=1058428609

node151.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		: 2667.103
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	: 5334.20
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		: 2667.103
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	: 5332.55
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		: 2667.103
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	: 5332.55
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		: 2667.103
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	: 5332.55
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		: 2667.103
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	: 5332.54
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		: 2667.103
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	: 5332.55
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		: 2667.103
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	: 5332.56
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		: 2667.103
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31933104 kB
Buffers:           19036 kB
Cached:            55140 kB
SwapCached:         1620 kB
Active:           167140 kB
Inactive:          47028 kB
Active(anon):     141204 kB
Inactive(anon):     1144 kB
Active(file):      25936 kB
Inactive(file):    45884 kB
Unevictable:        8292 kB
Mlocked:            8292 kB
SwapTotal:      67108856 kB
SwapFree:       67098800 kB
Dirty:              7004 kB
Writeback:             0 kB
AnonPages:        135360 kB
Mapped:             7840 kB
Shmem:                 0 kB
Slab:             573004 kB
SReclaimable:      16588 kB
SUnreclaim:       556416 kB
KernelStack:        1424 kB
PageTables:         4244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     299104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4112559-1466541164.opb

Free space on /tmp at the end= 71728 MiB
End job on node151 at 2016-06-21 23:02:45