Trace number 4112558

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.42

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb
MD5SUMa2418d45f4247bab260506429e96e746
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-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 constraints126555
Number of constraints which are clauses126555
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1534
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1534
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1534
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
1.10/1.19	c Converting 126555 PB-constraints to clauses...
1.10/1.19	c   -- Unit propagations: (none)
1.10/1.19	c   -- Detecting intervals from adjacent constraints: (none)
1.10/1.19	c   -- Clauses(.)/Splits(s): ...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.39/1.41	============================[ Search Statistics ]==============================
1.39/1.41	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.41	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.39/1.41	===============================================================================
1.39/1.41	===============================================================================
1.39/1.41	c Found solution: -38
1.39/1.42	c ---[   0]---> Sorter-cost:85954     Base:
3.79/3.87	|  Eliminated clauses:           0.95 Mb                                      |
3.79/3.87	============================[ Search Statistics ]==============================
3.79/3.87	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.79/3.87	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.79/3.87	===============================================================================
3.79/3.87	|       100 |   32639   192202   530843 |    70474       94     76 |  0.117 % |
3.79/3.87	|       250 |   32386   192202   530843 |    77521      229     51 |  0.527 % |
3.79/3.87	|       475 |   32156   192202   530843 |    85273      426     40 |  0.901 % |
3.79/3.87	|       812 |   31860   192202   530843 |    93800      730     36 |  1.381 % |
3.79/3.87	|      1318 |   31170   192202   530843 |   103181     1176     34 |  2.501 % |
3.79/3.87	|      2077 |   30769   192202   530843 |   113499     1910     35 |  3.151 % |
3.79/3.87	|      3216 |   29794   192202   530843 |   124849     2957     34 |  4.733 % |
3.79/3.87	|      4924 |   28809   192202   530843 |   137334     4558     35 |  6.332 % |
3.79/3.87	|      7486 |   27587   192202   530843 |   151067     6944     38 |  8.315 % |
3.79/3.87	===============================================================================
3.79/3.87	c Found solution: -44
3.79/3.88	c ---[   0]---> Sorter-cost:    0     Base:
11.09/11.18	|  Eliminated clauses:           0.99 Mb                                      |
11.09/11.18	============================[ Search Statistics ]==============================
11.09/11.18	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.09/11.18	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
11.09/11.18	===============================================================================
11.09/11.18	|      8193 |   27033   180302   477650 |    66110     7626     40 |  8.753 % |
11.09/11.18	|      8343 |   27000   180302   477650 |    72721     7773     40 |  8.806 % |
11.09/11.18	|      8568 |   26836   180302   477650 |    79993     7938     39 |  9.068 % |
11.09/11.18	|      8905 |   26643   180302   477650 |    87993     8224     40 |  9.376 % |
11.09/11.18	|      9411 |   26431   180302   477650 |    96792     8717     41 |  9.714 % |
11.09/11.18	|     10170 |   26095   180302   477650 |   106471     9437     43 | 10.251 % |
11.09/11.18	|     11309 |   25736   180302   477650 |   117119    10527     44 | 10.824 % |
11.09/11.18	|     13017 |   25124   180302   477650 |   128831    11976     45 | 11.801 % |
11.09/11.18	|     15579 |   24646   180302   477650 |   141714    14368     49 | 12.564 % |
11.09/11.18	|     19423 |   23510   180302   477650 |   155885    18056     53 | 14.378 % |
11.09/11.18	|     25189 |   22166   180302   477650 |   171474    23513     56 | 16.523 % |
11.09/11.18	|     33838 |   20834   180302   477650 |   188621    31790     65 | 18.650 % |
11.09/11.18	===============================================================================
11.09/11.18	c Found solution: -45
11.09/11.19	c ---[   0]---> Sorter-cost:    0     Base:
12.99/13.01	|  Eliminated clauses:           1.01 Mb                                      |
12.99/13.01	============================[ Search Statistics ]==============================
12.99/13.01	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.99/13.01	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
12.99/13.01	===============================================================================
12.99/13.01	|     44493 |   19152   163776   406879 |    60051    42100     79 | 20.393 % |
12.99/13.01	|     44643 |   19110   163776   406879 |    66056    42248     79 | 20.460 % |
12.99/13.01	|     44868 |   19090   163776   406879 |    72661    42472     79 | 20.492 % |
12.99/13.01	|     45205 |   19090   163776   406879 |    79928    42809     80 | 20.492 % |
12.99/13.01	|     45711 |   18921   163776   406879 |    87920    43306     80 | 20.762 % |
12.99/13.01	|     46470 |   18799   163776   406879 |    96713    44057     81 | 20.956 % |
12.99/13.01	|     47609 |   18681   163776   406879 |   106384    45191     82 | 21.145 % |
12.99/13.01	|     49317 |   18580   163776   406879 |   117022    46268     84 | 21.306 % |
12.99/13.01	|     51879 |   18333   163776   406879 |   128725    48819     87 | 21.700 % |
12.99/13.01	===============================================================================
12.99/13.01	c Found solution: -46
12.99/13.02	c ---[   0]---> Sorter-cost:    0     Base:
23.58/23.62	|  Eliminated clauses:           1.01 Mb                                      |
23.58/23.62	============================[ Search Statistics ]==============================
23.58/23.62	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
23.58/23.62	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
23.58/23.62	===============================================================================
23.58/23.62	|     52299 |   18190   161739   398495 |    59304    49238     87 | 21.714 % |
23.58/23.62	|     52449 |   18146   161739   398495 |    65234    49385     87 | 21.785 % |
23.58/23.62	|     52674 |   18091   161739   398495 |    71758    49607     87 | 21.872 % |
23.58/23.62	|     53011 |   18091   161739   398495 |    78934    49944     88 | 21.872 % |
23.58/23.62	|     53517 |   18070   161739   398495 |    86827    50449     88 | 21.906 % |
23.58/23.62	|     54276 |   18025   161739   398495 |    95510    51206     89 | 21.978 % |
23.58/23.62	|     55415 |   18024   161739   398495 |   105061    52344     89 | 21.979 % |
23.58/23.62	|     57123 |   18007   161739   398495 |   115567    54051     90 | 22.006 % |
23.58/23.62	|     59685 |   17818   161739   398495 |   127124    55976     93 | 22.308 % |
23.58/23.62	|     63529 |   17619   161739   398495 |   139836    59809     95 | 22.625 % |
23.58/23.62	|     69295 |   17343   161739   398495 |   153820    65563    101 | 23.066 % |
23.58/23.62	|     77944 |   16760   161739   398495 |   169202    73779    108 | 23.995 % |
23.58/23.62	|     90918 |   16320   161739   398495 |   186122    86727    124 | 24.697 % |
23.58/23.62	===============================================================================
23.58/23.62	c Found solution: -47
23.58/23.63	c ---[   0]---> Sorter-cost:    0     Base:
32.79/32.85	|  Eliminated clauses:           1.03 Mb                                      |
32.79/32.85	============================[ Search Statistics ]==============================
32.79/32.85	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
32.79/32.85	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
32.79/32.85	===============================================================================
32.79/32.85	|     92580 |   16050   157213   380917 |    57644    26069    124 | 24.856 % |
32.79/32.85	|     92730 |   16050   157213   380917 |    63409    26219    124 | 24.856 % |
32.79/32.85	|     92955 |   16050   157213   380917 |    69750    26444    125 | 24.856 % |
32.79/32.85	|     93292 |   16017   157213   380917 |    76725    26681    125 | 24.908 % |
32.79/32.85	|     93798 |   15944   157213   380917 |    84397    27182    124 | 25.022 % |
32.79/32.85	|     94557 |   15812   157213   380917 |    92837    27931    124 | 25.230 % |
32.79/32.85	|     95696 |   15783   157213   380917 |   102121    29068    125 | 25.276 % |
32.79/32.85	|     97404 |   15622   157213   380917 |   112333    30767    124 | 25.529 % |
32.79/32.85	|     99966 |   15562   157213   380917 |   123566    33325    128 | 25.624 % |
32.79/32.85	|    103810 |   15434   157213   380917 |   135923    36976    132 | 25.825 % |
32.79/32.85	|    109576 |   15177   157213   380917 |   149515    42729    139 | 26.230 % |
32.79/32.85	|    118225 |   14705   157213   380917 |   164467    51206    144 | 26.973 % |
32.79/32.85	|    131199 |   14244   157213   380917 |   180913    64148    152 | 27.699 % |
32.79/32.85	===============================================================================
32.79/32.85	c Found solution: -48
32.79/32.86	c ---[   0]---> Sorter-cost:    0     Base:
53.78/53.81	|  Eliminated clauses:           1.04 Mb                                      |
53.78/53.81	============================[ Search Statistics ]==============================
53.78/53.81	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
53.78/53.81	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
53.78/53.81	===============================================================================
53.78/53.81	|    132408 |   13911   152668   362465 |    55978    65356    154 | 27.707 % |
53.78/53.81	|    132558 |   13911   152668   362465 |    61576    65506    154 | 27.707 % |
53.78/53.81	|    132783 |   13911   152668   362465 |    67733    65731    154 | 27.707 % |
53.78/53.81	|    133120 |   13909   152668   362465 |    74507    66067    154 | 27.710 % |
53.78/53.81	|    133626 |   13891   152668   362465 |    81957    66572    154 | 27.739 % |
53.78/53.81	|    134385 |   13891   152668   362465 |    90153    67331    154 | 27.739 % |
53.78/53.81	|    135524 |   13889   152668   362465 |    99168    67256    149 | 27.742 % |
53.78/53.81	|    137232 |   13668   152668   362465 |   109085    68949    148 | 28.090 % |
53.78/53.81	|    139794 |   13641   152668   362465 |   119994    71508    150 | 28.132 % |
53.78/53.81	|    143638 |   13537   152668   362465 |   131993    75347    149 | 28.296 % |
53.78/53.81	|    149404 |   13468   152668   362465 |   145193    81108    154 | 28.405 % |
53.78/53.81	|    158053 |   13299   152668   362465 |   159712    89745    159 | 28.671 % |
53.78/53.81	|    171027 |   12994   152668   362465 |   175683   100880    170 | 29.151 % |
53.78/53.81	|    190488 |   12683   152668   362465 |   193252   120317    179 | 29.640 % |
53.78/53.81	===============================================================================
53.78/53.81	c Found solution: -51
53.78/53.82	c ---[   0]---> Sorter-cost:    0     Base:
582.39/582.51	|  Eliminated clauses:           1.06 Mb                                      |
582.39/582.51	============================[ Search Statistics ]==============================
582.39/582.51	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
582.39/582.51	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
582.39/582.51	===============================================================================
582.39/582.51	|    191641 |   12540   149852   350388 |    54945    30239    123 | 29.718 % |
582.39/582.51	|    191791 |   12540   149852   350388 |    60440    30389    123 | 29.718 % |
582.39/582.51	|    192016 |   12479   149852   350388 |    66484    30612    123 | 29.814 % |
582.39/582.51	|    192353 |   12479   149852   350388 |    73132    30949    123 | 29.814 % |
582.39/582.51	|    192859 |   12406   149852   350388 |    80446    31451    123 | 29.927 % |
582.39/582.51	|    193618 |   12406   149852   350388 |    88490    32210    124 | 29.928 % |
582.39/582.51	|    194757 |   12355   149852   350388 |    97339    33344    126 | 30.007 % |
582.39/582.51	|    196465 |   12292   149852   350388 |   107073    35048    126 | 30.105 % |
582.39/582.51	|    199027 |   12221   149852   350388 |   117781    37605    128 | 30.216 % |
582.39/582.51	|    202871 |   12062   149852   350388 |   129559    41439    130 | 30.464 % |
582.39/582.51	|    208637 |   11904   149852   350388 |   142515    47194    136 | 30.711 % |
582.39/582.51	|    217286 |   11740   149852   350388 |   156766    55832    145 | 30.966 % |
582.39/582.51	|    230260 |   11335   149852   350388 |   172443    68079    158 | 31.598 % |
582.39/582.51	|    249721 |   10847   149852   350388 |   189687    87514    162 | 32.359 % |
582.39/582.51	|    278913 |   10591   149852   350388 |   208656   116407    177 | 32.759 % |
582.39/582.51	|    322702 |    9829   149852   350388 |   229521   160150    191 | 33.947 % |
582.39/582.51	|    388386 |    9218   149852   350388 |   252474   223883    210 | 34.901 % |
582.39/582.51	|    486912 |    8633   149852   350388 |   277721    82606    204 | 35.813 % |
582.39/582.51	|    634701 |    7864   149852   350388 |   305493   229262    244 | 37.013 % |
582.39/582.51	|    856384 |    7300   149852   350388 |   336043   161428    239 | 37.893 % |
582.39/582.51	===============================================================================
582.39/582.51	c Found solution: -52
582.39/582.52	c ---[   0]---> Sorter-cost:    0     Base:
1800.04/1800.40	|  Eliminated clauses:           1.08 Mb                                      |
1800.04/1800.40	============================[ Search Statistics ]==============================
1800.04/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.04/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.04/1800.40	===============================================================================
1800.04/1800.40	|   1014597 |    6474   137132   298258 |    50281    39301    176 | 38.303 % |
1800.04/1800.40	|   1014747 |    6474   137132   298258 |    55309    39451    177 | 38.303 % |
1800.04/1800.40	|   1014972 |    6474   137132   298258 |    60840    39676    176 | 38.303 % |
1800.04/1800.40	|   1015309 |    6474   137132   298258 |    66924    40013    177 | 38.303 % |
1800.04/1800.40	|   1015815 |    6464   137132   298258 |    73617    40518    178 | 38.319 % |
1800.04/1800.40	|   1016574 |    6464   137132   298258 |    80979    41277    178 | 38.319 % |
1800.04/1800.40	|   1017713 |    6464   137132   298258 |    89077    42416    179 | 38.319 % |
1800.04/1800.40	|   1019421 |    6460   137132   298258 |    97984    44123    180 | 38.325 % |
1800.04/1800.40	|   1021983 |    6412   137132   298258 |   107783    46681    182 | 38.400 % |
1800.04/1800.40	|   1025827 |    6344   137132   298258 |   118561    50519    185 | 38.506 % |
1800.04/1800.40	|   1031593 |    6304   137132   298258 |   130417    56282    191 | 38.568 % |
1800.04/1800.40	|   1040242 |    6280   137132   298258 |   143459    64929    195 | 38.606 % |
1800.04/1800.40	|   1053216 |    6222   137132   298258 |   157805    77899    203 | 38.696 % |
1800.04/1800.40	|   1072677 |    6185   137132   298258 |   173586    97358    209 | 38.754 % |
1800.04/1800.40	|   1101869 |    6155   137132   298258 |   190944   126542    218 | 38.801 % |
1800.04/1800.40	|   1145658 |    6075   137132   298258 |   210039   170324    223 | 38.926 % |
1800.04/1800.40	|   1211342 |    5928   137132   298258 |   231043   235999    235 | 39.155 % |
1800.04/1800.40	|   1309868 |    5778   137132   298258 |   254147   105018    242 | 39.389 % |
1800.04/1800.40	|   1457657 |    5528   137132   298258 |   279562   252791    251 | 39.779 % |
1800.04/1800.40	|   1679340 |    5268   137132   298258 |   307518   191679    234 | 40.184 % |
1800.04/1800.40	|   2011865 |    4914   137132   298258 |   338270   224457    255 | 40.737 % |
1800.04/1800.40	|   2510653 |    4661   137132   298258 |   372097    61873    232 | 41.131 % |
1800.04/1800.40	c 
1800.04/1800.40	c *** TERMINATED ***
1800.04/1800.40	s SATISFIABLE
1800.04/1800.40	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 x989 -x988 -x987 -x986 -x985 -x984 x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 x599 -x598 -x597 -x596 x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-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-4112558-1466540994/watcher-4112558-1466540994 -o /tmp/evaluation-result-4112558-1466540994/solver-4112558-1466540994 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466514783-26468 --watchdog 1960 minisatp HOME/instance-4112558-1466540994.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.23 2.18 4/176 31287
/proc/meminfo: memFree=30215072/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=6740 CPUtime=0 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 414 0 0 0 0 0 0 0 20 0 1 0 56146014 6901760 290 33554432000 4194304 5646918 140733719894816 140734127266056 4953072 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 1685 290 94 355 0 1326 0

[startup+0.10012 s]
/proc/loadavg: 2.23 2.23 2.18 4/176 31287
/proc/meminfo: memFree=30215072/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=12496 CPUtime=0.09 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 1816 0 0 0 9 0 0 0 20 0 1 0 56146014 12795904 1692 33554432000 4194304 5646918 140733719894816 140734127266056 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 3124 1692 94 355 0 2765 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12496

[startup+0.20031 s]
/proc/loadavg: 2.23 2.23 2.18 4/176 31287
/proc/meminfo: memFree=30215072/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=18492 CPUtime=0.19 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 3338 0 0 0 19 0 0 0 20 0 1 0 56146014 18935808 3214 33554432000 4194304 5646918 140733719894816 140734127266056 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 4623 3214 94 355 0 4264 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18492

[startup+0.300286 s]
/proc/loadavg: 2.23 2.23 2.18 4/176 31287
/proc/meminfo: memFree=30215072/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=24692 CPUtime=0.29 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 4860 0 0 0 29 0 0 0 20 0 1 0 56146014 25284608 4736 33554432000 4194304 5646918 140733719894816 140734127266056 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 6173 4737 94 355 0 5814 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24692

[startup+0.700239 s]
/proc/loadavg: 2.23 2.23 2.18 4/176 31287
/proc/meminfo: memFree=30215072/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=49132 CPUtime=0.68 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 10948 0 0 0 67 1 0 0 20 0 1 0 56146014 50311168 10824 33554432000 4194304 5646918 140733719894816 140733719894184 4953072 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 12283 10824 94 355 0 11924 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 49132

[startup+1.50027 s]
/proc/loadavg: 2.23 2.23 2.18 4/177 31288
/proc/meminfo: memFree=30147864/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=99096 CPUtime=1.49 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 24247 0 0 0 140 9 0 0 20 0 1 0 56146014 101474304 23940 33554432000 4194304 5646918 140733719894816 140733719894184 4228043 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 24774 23940 134 355 0 24415 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99096

[startup+3.10029 s]
/proc/loadavg: 2.29 2.25 2.19 4/177 31288
/proc/meminfo: memFree=30108984/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=107268 CPUtime=3.08 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 26611 0 0 0 299 9 0 0 20 0 1 0 56146014 109842432 25889 33554432000 4194304 5646918 140733719894816 140733719893576 4402869 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 26817 25889 155 355 0 26458 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 107268

[startup+6.30029 s]
/proc/loadavg: 2.29 2.25 2.19 3/177 31288
/proc/meminfo: memFree=30102420/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=114664 CPUtime=6.29 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 27569 0 0 0 619 10 0 0 20 0 1 0 56146014 117415936 26828 33554432000 4194304 5646918 140733719894816 140733719892952 4402821 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 28666 26828 156 355 0 28307 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 114664

[startup+12.7003 s]
/proc/loadavg: 2.35 2.26 2.19 3/178 31291
/proc/meminfo: memFree=30080472/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=133520 CPUtime=12.69 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 29220 0 0 0 1258 11 0 0 20 0 1 0 56146014 136724480 29989 33554432000 4194304 5646918 140733719894816 140733719893512 4416598 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 33380 29989 157 355 0 33021 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 133520

[startup+25.5004 s]
/proc/loadavg: 2.27 2.25 2.19 3/178 31291
/proc/meminfo: memFree=30069972/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=134000 CPUtime=25.48 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 30196 0 0 0 2537 11 0 0 20 0 1 0 56146014 137216000 29916 33554432000 4194304 5646918 140733719894816 140733719893528 4402684 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 33500 29916 157 355 0 33141 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 134000

[startup+51.1004 s]
/proc/loadavg: 2.32 2.26 2.19 4/178 31291
/proc/meminfo: memFree=30024632/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=234956 CPUtime=51.08 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 32356 0 0 0 5094 14 0 0 20 0 1 0 56146014 240594944 46891 33554432000 4194304 5646918 140733719894816 140733719893512 4403178 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 58739 46891 157 355 0 58380 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 234956

[startup+102.3 s]
/proc/loadavg: 2.31 2.26 2.19 3/177 31292
/proc/meminfo: memFree=29986044/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=236576 CPUtime=102.28 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 34553 0 0 0 10212 16 0 0 20 0 1 0 56146014 242253824 55040 33554432000 4194304 5646918 140733719894816 140733719893512 4403173 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 59144 55040 157 355 0 58785 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 236576

[startup+162.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/177 31293
/proc/meminfo: memFree=29890700/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=317964 CPUtime=162.27 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 35109 0 0 0 16209 18 0 0 20 0 1 0 56146014 325595136 77568 33554432000 4194304 5646918 140733719894816 140733719893512 4397747 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 79491 77568 157 355 0 79132 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 317964

[startup+222.307 s]
/proc/loadavg: 2.21 2.24 2.18 3/177 31294
/proc/meminfo: memFree=30057256/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=238196 CPUtime=222.26 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 37457 0 0 0 22204 22 0 0 20 0 1 0 56146014 243912704 48368 33554432000 4194304 5646918 140733719894816 140733719893512 4403087 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 59549 48368 157 355 0 59190 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 238196

[startup+282.3 s]
/proc/loadavg: 2.12 2.21 2.17 3/177 31295
/proc/meminfo: memFree=29968364/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=319584 CPUtime=282.24 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 38181 0 0 0 28199 25 0 0 20 0 1 0 56146014 327254016 71064 33554432000 4194304 5646918 140733719894816 140733719893512 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 79896 71064 157 355 0 79537 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 319584

[startup+342.3 s]
/proc/loadavg: 2.04 2.17 2.16 3/177 31297
/proc/meminfo: memFree=29810256/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=451844 CPUtime=342.24 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 38743 0 0 0 34197 27 0 0 20 0 1 0 56146014 462688256 95132 33554432000 4194304 5646918 140733719894816 140733719893512 4399664 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 112961 95132 157 355 0 112602 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 451844

[startup+402.3 s]
/proc/loadavg: 2.01 2.13 2.15 3/177 31298
/proc/meminfo: memFree=30049416/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=161040 CPUtime=402.22 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 40252 0 0 0 40193 29 0 0 20 0 1 0 56146014 164904960 37537 33554432000 4194304 5646918 140733719894816 140733719893512 4397505 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 40260 37537 157 355 0 39901 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 161040

[startup+462.3 s]
/proc/loadavg: 2.06 2.12 2.14 3/177 31355
/proc/meminfo: memFree=30041084/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=323488 CPUtime=462.22 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 41871 0 0 0 46190 32 0 0 20 0 1 0 56146014 331251712 68281 33554432000 4194304 5646918 140733719894816 140733719892952 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 80872 68281 157 355 0 80513 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 323488

[startup+522.3 s]
/proc/loadavg: 2.02 2.10 2.13 3/177 31356
/proc/meminfo: memFree=29914596/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=457272 CPUtime=522.2 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 42786 0 0 0 52187 33 0 0 20 0 1 0 56146014 468246528 92701 33554432000 4194304 5646918 140733719894816 140733719892952 4403091 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 114318 92701 157 355 0 113959 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 457272

[startup+582.3 s]
/proc/loadavg: 2.00 2.08 2.12 3/177 31357
/proc/meminfo: memFree=29811912/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=460260 CPUtime=582.2 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 43466 0 0 0 58186 34 0 0 20 0 1 0 56146014 471306240 108711 33554432000 4194304 5646918 140733719894816 140733719892952 4403147 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 115065 108711 157 355 0 114706 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 460260


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


[startup+882.307 s]
/proc/loadavg: 2.35 2.18 2.13 4/177 31421
/proc/meminfo: memFree=29541052/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=199552 CPUtime=882.14 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 51451 0 0 0 88165 49 0 0 20 0 1 0 56146014 204341248 41786 33554432000 4194304 5646918 140733719894816 140733719893512 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 49888 41786 157 355 0 49529 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 199552

[startup+942.3 s]
/proc/loadavg: 2.33 2.20 2.14 3/177 31423
/proc/meminfo: memFree=28321768/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=331160 CPUtime=942.09 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 52373 0 0 0 94158 51 0 0 20 0 1 0 56146014 339107840 69479 33554432000 4194304 5646918 140733719894816 140733719892952 4397505 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 82790 69479 157 355 0 82431 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 331160

[startup+1002.3 s]
/proc/loadavg: 2.22 2.19 2.14 3/177 31424
/proc/meminfo: memFree=27508048/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=464408 CPUtime=1002.06 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 53108 0 0 0 100153 53 0 0 20 0 1 0 56146014 475553792 89096 33554432000 4194304 5646918 140733719894816 140733719892952 4403408 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 116102 89096 157 355 0 115743 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 464408

[startup+1062.3 s]
/proc/loadavg: 2.22 2.20 2.15 3/177 31425
/proc/meminfo: memFree=26736436/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=466676 CPUtime=1062.05 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 53628 0 0 0 106151 54 0 0 20 0 1 0 56146014 477876224 102902 33554432000 4194304 5646918 140733719894816 140733719892952 4402751 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 116669 102902 157 355 0 116310 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 466676

[startup+1122.3 s]
/proc/loadavg: 2.25 2.21 2.15 3/177 31426
/proc/meminfo: memFree=26333864/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=254124 CPUtime=1122.04 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 55489 0 0 0 112146 58 0 0 20 0 1 0 56146014 260222976 55805 33554432000 4194304 5646918 140733719894816 140733719893512 4402684 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 63531 55805 157 355 0 63172 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 254124

[startup+1182.3 s]
/proc/loadavg: 2.18 2.20 2.15 3/177 31427
/proc/meminfo: memFree=25377128/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=468052 CPUtime=1182.03 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 56785 0 0 0 118143 60 0 0 20 0 1 0 56146014 479285248 83668 33554432000 4194304 5646918 140733719894816 140733719893512 4397648 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 117013 83668 157 355 0 116654 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 468052

[startup+1242.3 s]
/proc/loadavg: 2.22 2.20 2.15 3/178 31432
/proc/meminfo: memFree=24696448/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=468956 CPUtime=1242.02 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 57056 0 0 0 124140 62 0 0 20 0 1 0 56146014 480210944 109489 33554432000 4194304 5646918 140733719894816 140733719892952 4403104 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 117239 109489 157 355 0 116880 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 468956

[startup+1302.3 s]
/proc/loadavg: 2.15 2.19 2.15 4/177 31433
/proc/meminfo: memFree=24391548/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=176844 CPUtime=1302.01 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 58500 0 0 0 130133 68 0 0 20 0 1 0 56146014 181088256 41657 33554432000 4194304 5646918 140733719894816 140733719893512 4402788 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 44211 41657 157 355 0 43852 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 176844

[startup+1362.3 s]
/proc/loadavg: 2.34 2.23 2.17 3/177 31434
/proc/meminfo: memFree=22395580/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=339140 CPUtime=1362.01 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 60339 0 0 0 136129 72 0 0 20 0 1 0 56146014 347279360 72614 33554432000 4194304 5646918 140733719894816 140733719893512 4397736 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 84785 72614 157 355 0 84426 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 339140

[startup+1422.3 s]
/proc/loadavg: 2.26 2.23 2.17 3/177 31435
/proc/meminfo: memFree=22470856/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=472056 CPUtime=1422 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 61036 0 0 0 142127 73 0 0 20 0 1 0 56146014 483385344 95284 33554432000 4194304 5646918 140733719894816 140733719892952 4397483 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 118014 95284 157 355 0 117655 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 472056

[startup+1482.3 s]
/proc/loadavg: 2.30 2.25 2.18 3/177 31436
/proc/meminfo: memFree=21881988/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=473236 CPUtime=1481.98 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 61342 0 0 0 148124 74 0 0 20 0 1 0 56146014 484593664 109387 33554432000 4194304 5646918 140733719894816 140733719892952 4403178 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 118309 109387 157 355 0 117950 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 473236

[startup+1542.31 s]
/proc/loadavg: 2.16 2.22 2.18 3/177 31438
/proc/meminfo: memFree=21597272/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=180236 CPUtime=1541.98 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 62615 0 0 0 154118 80 0 0 20 0 1 0 56146014 184561664 42421 33554432000 4194304 5646918 140733719894816 140733719893512 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 45059 42421 157 355 0 44700 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 180236

[startup+1602.3 s]
/proc/loadavg: 2.14 2.20 2.17 3/177 31439
/proc/meminfo: memFree=20910108/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=342532 CPUtime=1601.97 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 64458 0 0 0 160113 84 0 0 20 0 1 0 56146014 350752768 80032 33554432000 4194304 5646918 140733719894816 140733719893512 4397898 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 85633 80032 157 355 0 85274 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 342532

[startup+1662.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/177 31440
/proc/meminfo: memFree=20284820/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=475124 CPUtime=1661.96 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 65051 0 0 0 166111 85 0 0 20 0 1 0 56146014 486526976 99532 33554432000 4194304 5646918 140733719894816 140733719892952 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 118781 99532 157 355 0 118422 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 475124

[startup+1722.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/177 31441
/proc/meminfo: memFree=19679224/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=475788 CPUtime=1721.95 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 65261 0 0 0 172109 86 0 0 20 0 1 0 56146014 487206912 116605 33554432000 4194304 5646918 140733719894816 140733719892952 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 118947 116605 157 355 0 118588 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 475788

[startup+1782.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 31442
/proc/meminfo: memFree=19067296/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=692336 CPUtime=1781.94 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 66073 0 0 0 178105 89 0 0 20 0 1 0 56146014 708952064 129169 33554432000 4194304 5646918 140733719894816 140733719892952 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 173084 129169 157 355 0 172725 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 692336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.28 2.24 2.19 3/177 31442
/proc/meminfo: memFree=18893900/32872528 swapFree=1543496/1696796
[pid=31287] ppid=31284 vsize=693004 CPUtime=1800.04 cores=0,2,4,6
/proc/31287/stat : 31287 (minisatp) R 31284 31287 26452 0 -1 4202496 66216 0 0 0 179915 89 0 0 20 0 1 0 56146014 709636096 132889 33554432000 4194304 5646918 140733719894816 140733719892952 4403167 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/31287/statm: 173251 132889 157 355 0 172892 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 693004

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 31287 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.42
CPU time (s): 1800.07
CPU user time (s): 1799.15
CPU system time (s): 0.91686
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 720068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 0.91686
maximum resident set size= 537520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66216
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= 90
involuntary context switches= 2376

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55231 second user time and 7.03393 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-21 22:29:54
IDJOB=4112558
IDBENCH=2265
IDSOLVER=2555
FILE ID=node125/4112558-1466540994
RUNJOBID= node125-1466514783-26468
PBS_JOBID= 19942882
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-1.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112558-1466540994/watcher-4112558-1466540994 -o /tmp/evaluation-result-4112558-1466540994/solver-4112558-1466540994 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466514783-26468 --watchdog 1960  minisatp HOME/instance-4112558-1466540994.opb

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

MD5SUM BENCH= a2418d45f4247bab260506429e96e746
RANDOM SEED=1997214111

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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		: 2666.683
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		: 2666.683
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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		: 2666.683
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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:        30215624 kB
Buffers:           23184 kB
Cached:            75356 kB
SwapCached:         2388 kB
Active:           187268 kB
Inactive:          67000 kB
Active(anon):     156512 kB
Inactive(anon):     1816 kB
Active(file):      30756 kB
Inactive(file):    65184 kB
Unevictable:     1696796 kB
Mlocked:         1543496 kB
SwapTotal:      67108856 kB
SwapFree:       67097080 kB
Dirty:              6624 kB
Writeback:             0 kB
AnonPages:       1855500 kB
Mapped:             8780 kB
Shmem:                 0 kB
Slab:             567284 kB
SReclaimable:      11008 kB
SUnreclaim:       556276 kB
KernelStack:        1432 kB
PageTables:         7912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1986340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    296960 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-4112558-1466540994.opb

Free space on /tmp at the end= 71656 MiB
End job on node125 at 2016-06-21 22:59:54