Trace number 4112556

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)-50 1800.07 1800.41

General information on the benchmark

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

Solver Data 

0.00/0.00	c Parsing PB file...
0.99/1.02	c Converting 109379 PB-constraints to clauses...
0.99/1.03	c   -- Unit propagations: (none)
0.99/1.03	c   -- Detecting intervals from adjacent constraints: (none)
0.99/1.03	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.19/1.22	============================[ Search Statistics ]==============================
1.19/1.22	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.22	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.19/1.22	===============================================================================
1.19/1.22	===============================================================================
1.19/1.22	c Found solution: -40
1.19/1.22	c ---[   0]---> Sorter-cost:78076     Base:
7.80/7.82	|  Eliminated clauses:           0.88 Mb                                      |
7.80/7.82	============================[ Search Statistics ]==============================
7.80/7.82	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.80/7.82	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.80/7.82	===============================================================================
7.80/7.82	|       100 |   30193   170050   474827 |    62351       96     41 |  0.086 % |
7.80/7.82	|       250 |   29963   170050   474827 |    68586      230     46 |  0.490 % |
7.80/7.82	|       475 |   29814   170050   474827 |    75445      434     37 |  0.752 % |
7.80/7.82	|       812 |   29447   170050   474827 |    82990      746     35 |  1.396 % |
7.80/7.82	|      1318 |   28994   170050   474827 |    91289     1211     38 |  2.192 % |
7.80/7.82	|      2077 |   28498   170050   474827 |   100417     1913     36 |  3.063 % |
7.80/7.82	|      3216 |   27806   170050   474827 |   110459     2938     40 |  4.278 % |
7.80/7.82	|      4924 |   26949   170050   474827 |   121505     4552     42 |  5.783 % |
7.80/7.82	|      7486 |   25475   170050   474827 |   133656     6965     45 |  8.372 % |
7.80/7.82	|     11330 |   23784   170050   474827 |   147021    10633     49 | 11.341 % |
7.80/7.82	|     17096 |   21779   170050   474827 |   161724    16129     54 | 14.862 % |
7.80/7.82	|     25745 |   20082   170050   474827 |   177896    24414     65 | 17.842 % |
7.80/7.82	===============================================================================
7.80/7.82	c Found solution: -44
7.80/7.82	c ---[   0]---> Sorter-cost:    0     Base:
24.79/24.82	|  Eliminated clauses:           0.90 Mb                                      |
24.79/24.82	============================[ Search Statistics ]==============================
24.79/24.82	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
24.79/24.82	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
24.79/24.82	===============================================================================
24.79/24.82	|     32759 |   18858   146034   369871 |    53545    31262     73 | 18.942 % |
24.79/24.82	|     32909 |   18858   146034   369871 |    58900    31412     73 | 18.942 % |
24.79/24.82	|     33134 |   18783   146034   369871 |    64790    31630     73 | 19.073 % |
24.79/24.82	|     33471 |   18652   146034   369871 |    71269    31960     73 | 19.301 % |
24.79/24.82	|     33977 |   18652   146034   369871 |    78396    32466     74 | 19.301 % |
24.79/24.82	|     34736 |   18549   146034   369871 |    86236    33027     75 | 19.481 % |
24.79/24.82	|     35875 |   18468   146034   369871 |    94859    34163     74 | 19.622 % |
24.79/24.82	|     37583 |   18370   146034   369871 |   104345    35865     75 | 19.793 % |
24.79/24.82	|     40145 |   18269   146034   369871 |   114780    38420     78 | 19.969 % |
24.79/24.82	|     43989 |   17890   146034   369871 |   126258    42189     79 | 20.629 % |
24.79/24.82	|     49755 |   17391   146034   369871 |   138884    47764     86 | 21.499 % |
24.79/24.82	|     58404 |   17049   146034   369871 |   152772    56233     94 | 22.095 % |
24.79/24.82	|     71378 |   16638   146034   369871 |   168049    69181    110 | 22.811 % |
24.79/24.82	|     90839 |   15450   146034   369871 |   184854    88430    123 | 24.881 % |
24.79/24.82	===============================================================================
24.79/24.82	c Found solution: -45
24.79/24.83	c ---[   0]---> Sorter-cost:    0     Base:
54.08/54.14	|  Eliminated clauses:           0.92 Mb                                      |
54.08/54.14	============================[ Search Statistics ]==============================
54.08/54.14	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
54.08/54.14	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
54.08/54.14	===============================================================================
54.08/54.14	|     99154 |   14887   137713   335345 |    50494    27544    120 | 25.137 % |
54.08/54.14	|     99304 |   14875   137713   335345 |    55544    27693    120 | 25.158 % |
54.08/54.14	|     99529 |   14834   137713   335345 |    61098    27915    120 | 25.229 % |
54.08/54.14	|     99866 |   14790   137713   335345 |    67208    28096    120 | 25.306 % |
54.08/54.14	|    100372 |   14749   137713   335345 |    73929    28600    121 | 25.377 % |
54.08/54.14	|    101131 |   14724   137713   335345 |    81322    29357    120 | 25.421 % |
54.08/54.14	|    102270 |   14688   137713   335345 |    89454    30494    120 | 25.484 % |
54.08/54.14	|    103978 |   14651   137713   335345 |    98400    32199    120 | 25.548 % |
54.08/54.14	|    106540 |   14522   137713   335345 |   108240    34752    123 | 25.773 % |
54.08/54.14	|    110384 |   14336   137713   335345 |   119064    38288    126 | 26.096 % |
54.08/54.14	|    116150 |   14183   137713   335345 |   130970    44043    129 | 26.363 % |
54.08/54.14	|    124799 |   13992   137713   335345 |   144067    52612    138 | 26.695 % |
54.08/54.14	|    137773 |   13861   137713   335345 |   158474    65578    148 | 26.923 % |
54.08/54.14	|    157234 |   13413   137713   335345 |   174321    84710    162 | 27.703 % |
54.08/54.14	|    186426 |   13002   137713   335345 |   191753   113875    183 | 28.419 % |
54.08/54.14	===============================================================================
54.08/54.14	c Found solution: -47
54.08/54.15	c ---[   0]---> Sorter-cost:    0     Base:
203.06/203.10	|  Eliminated clauses:           0.93 Mb                                      |
203.06/203.10	============================[ Search Statistics ]==============================
203.06/203.10	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.06/203.10	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
203.06/203.10	===============================================================================
203.06/203.10	|    189455 |   12794   133310   317376 |    48880    27962    159 | 28.782 % |
203.06/203.10	|    189605 |   12790   133310   317376 |    53768    28111    159 | 28.789 % |
203.06/203.10	|    189830 |   12769   133310   317376 |    59145    28335    159 | 28.825 % |
203.06/203.10	|    190167 |   12738   133310   317376 |    65059    28671    158 | 28.878 % |
203.06/203.10	|    190673 |   12738   133310   317376 |    71565    29177    159 | 28.878 % |
203.06/203.10	|    191432 |   12591   133310   317376 |    78722    29855    157 | 29.130 % |
203.06/203.10	|    192571 |   12541   133310   317376 |    86594    30990    157 | 29.216 % |
203.06/203.10	|    194279 |   12467   133310   317376 |    95253    32693    156 | 29.343 % |
203.06/203.10	|    196841 |   12264   133310   317376 |   104779    35244    155 | 29.692 % |
203.06/203.10	|    200685 |   12084   133310   317376 |   115257    39078    155 | 30.001 % |
203.06/203.10	|    206451 |   11842   133310   317376 |   126782    44510    157 | 30.416 % |
203.06/203.10	|    215100 |   11350   133310   317376 |   139461    53129    152 | 31.261 % |
203.06/203.10	|    228074 |   10970   133310   317376 |   153407    66079    157 | 31.913 % |
203.06/203.10	|    247535 |   10714   133310   317376 |   168748    85204    172 | 32.353 % |
203.06/203.10	|    276727 |   10213   133310   317376 |   185622   113366    184 | 33.213 % |
203.06/203.10	|    320516 |    9894   133310   317376 |   204185   157135    197 | 33.760 % |
203.06/203.10	|    386200 |    9520   133310   317376 |   224603   222630    221 | 34.402 % |
203.06/203.10	|    484726 |    8600   133310   317376 |   247064   103584    224 | 35.982 % |
203.06/203.10	===============================================================================
203.06/203.10	c Found solution: -49
203.06/203.11	c ---[   0]---> Sorter-cost:    0     Base:
954.42/954.61	|  Eliminated clauses:           0.95 Mb                                      |
954.42/954.61	============================[ Search Statistics ]==============================
954.42/954.61	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
954.42/954.61	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
954.42/954.61	===============================================================================
954.42/954.61	|    494934 |    7963   123238   275796 |    45187    30624    143 | 36.214 % |
954.42/954.61	|    495084 |    7942   123238   275796 |    49705    30773    143 | 36.250 % |
954.42/954.61	|    495309 |    7942   123238   275796 |    54676    30998    143 | 36.250 % |
954.42/954.61	|    495646 |    7942   123238   275796 |    60144    31335    143 | 36.250 % |
954.42/954.61	|    496152 |    7942   123238   275796 |    66158    31841    144 | 36.250 % |
954.42/954.61	|    496911 |    7942   123238   275796 |    72774    32600    144 | 36.250 % |
954.42/954.61	|    498050 |    7915   123238   275796 |    80051    33737    145 | 36.296 % |
954.42/954.61	|    499758 |    7915   123238   275796 |    88057    35445    146 | 36.296 % |
954.42/954.61	|    502320 |    7891   123238   275796 |    96862    38006    147 | 36.338 % |
954.42/954.61	|    506164 |    7806   123238   275796 |   106549    41845    150 | 36.483 % |
954.42/954.61	|    511930 |    7786   123238   275796 |   117204    47609    157 | 36.518 % |
954.42/954.61	|    520579 |    7711   123238   275796 |   128924    56253    163 | 36.646 % |
954.42/954.61	|    533553 |    7597   123238   275796 |   141816    69218    170 | 36.842 % |
954.42/954.61	|    553014 |    7430   123238   275796 |   155998    87716    181 | 37.128 % |
954.42/954.61	|    582206 |    7324   123238   275796 |   171598   116901    195 | 37.310 % |
954.42/954.61	|    625995 |    7111   123238   275796 |   188758   160559    208 | 37.675 % |
954.42/954.61	|    691679 |    6808   123238   275796 |   207634    48828    175 | 38.195 % |
954.42/954.61	|    790205 |    6451   123238   275796 |   228397   147117    225 | 38.807 % |
954.42/954.61	|    937994 |    6186   123238   275796 |   251237    79074    221 | 39.262 % |
954.42/954.61	|   1159677 |    5796   123238   275796 |   276361    60512    216 | 39.931 % |
954.42/954.61	|   1492202 |    5468   123238   275796 |   303997   129461    262 | 40.493 % |
954.42/954.61	===============================================================================
954.42/954.61	c Found solution: -50
954.42/954.61	c ---[   0]---> Sorter-cost:    0     Base:
1800.05/1800.40	|  Eliminated clauses:           0.96 Mb                                      |
1800.05/1800.40	============================[ Search Statistics ]==============================
1800.05/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.05/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.05/1800.40	===============================================================================
1800.05/1800.40	|   1724291 |    5076   117138   251534 |    42950    21702    270 | 40.641 % |
1800.05/1800.40	|   1724441 |    5076   117138   251534 |    47245    21852    269 | 40.641 % |
1800.05/1800.40	|   1724666 |    5076   117138   251534 |    51970    22077    267 | 40.641 % |
1800.05/1800.40	|   1725003 |    5076   117138   251534 |    57167    22414    265 | 40.641 % |
1800.05/1800.40	|   1725509 |    5076   117138   251534 |    62883    22920    262 | 40.641 % |
1800.05/1800.40	|   1726268 |    5063   117138   251534 |    69172    23678    259 | 40.664 % |
1800.05/1800.40	|   1727407 |    5063   117138   251534 |    76089    24817    256 | 40.664 % |
1800.05/1800.40	|   1729115 |    5063   117138   251534 |    83698    26525    250 | 40.664 % |
1800.05/1800.40	|   1731677 |    5062   117138   251534 |    92068    29086    246 | 40.665 % |
1800.05/1800.40	|   1735521 |    5061   117138   251534 |   101275    32929    237 | 40.667 % |
1800.05/1800.40	|   1741287 |    5042   117138   251534 |   111402    38694    231 | 40.700 % |
1800.05/1800.40	|   1749936 |    5042   117138   251534 |   122543    47343    222 | 40.700 % |
1800.05/1800.40	|   1762910 |    5030   117138   251534 |   134797    60316    219 | 40.720 % |
1800.05/1800.40	|   1782371 |    5018   117138   251534 |   148277    79776    218 | 40.741 % |
1800.05/1800.40	|   1811563 |    4972   117138   251534 |   163104   108965    220 | 40.820 % |
1800.05/1800.40	|   1855352 |    4972   117138   251534 |   179415   152701    225 | 40.820 % |
1800.05/1800.40	|   1921036 |    4938   117138   251534 |   197356    46520    195 | 40.878 % |
1800.05/1800.40	|   2019562 |    4836   117138   251534 |   217092   144371    233 | 41.053 % |
1800.05/1800.40	|   2167351 |    4707   117138   251534 |   238801    84588    232 | 41.274 % |
1800.05/1800.40	|   2389034 |    4581   117138   251534 |   262681    72977    224 | 41.490 % |
1800.05/1800.40	|   2721559 |    4300   117138   251534 |   288950   152262    248 | 41.972 % |
1800.05/1800.40	|   3220347 |    4222   117138   251534 |   317845    88001    235 | 42.106 % |
1800.05/1800.40	c 
1800.05/1800.40	c *** TERMINATED ***
1800.05/1800.40	s SATISFIABLE
1800.05/1800.40	v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 x1001 -x1000 -x999 x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 x876 x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 x829 -x828 -x827 -x826 x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 -x349 -x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-50

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-4112556-1466539817/watcher-4112556-1466539817 -o /tmp/evaluation-result-4112556-1466539817/solver-4112556-1466539817 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466515278-25741 --watchdog 1960 minisatp HOME/instance-4112556-1466539817.opb 

pid=30177
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.04 2.05 2.00 3/177 30180
/proc/meminfo: memFree=31581280/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=6780 CPUtime=0 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 408 0 0 0 0 0 0 0 20 0 1 0 56032141 6942720 284 33554432000 4194304 5646918 140733892790144 140736288578760 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 1695 285 94 355 0 1336 0

[startup+0.10016 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 30180
/proc/meminfo: memFree=31581280/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=12464 CPUtime=0.09 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 1826 0 0 0 9 0 0 0 20 0 1 0 56032141 12763136 1702 33554432000 4194304 5646918 140733892790144 140736288578760 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 3116 1703 94 355 0 2757 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12464

[startup+0.200317 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 30180
/proc/meminfo: memFree=31581280/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=18652 CPUtime=0.19 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 3343 0 0 0 19 0 0 0 20 0 1 0 56032141 19099648 3219 33554432000 4194304 5646918 140733892790144 140736288578760 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 4663 3219 94 355 0 4304 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18652

[startup+0.300296 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 30180
/proc/meminfo: memFree=31581280/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=24648 CPUtime=0.29 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 4864 0 0 0 29 0 0 0 20 0 1 0 56032141 25239552 4740 33554432000 4194304 5646918 140733892790144 140733892789400 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 6162 4741 94 355 0 5803 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24648

[startup+0.700252 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 30180
/proc/meminfo: memFree=31581280/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=49160 CPUtime=0.68 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 10964 0 0 0 67 1 0 0 20 0 1 0 56032141 50339840 10840 33554432000 4194304 5646918 140733892790144 140733892789400 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 12290 10840 94 355 0 11931 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 49160

[startup+1.5003 s]
/proc/loadavg: 2.04 2.05 2.00 4/178 30181
/proc/meminfo: memFree=31507752/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=94504 CPUtime=1.49 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 22394 0 0 0 142 7 0 0 20 0 1 0 56032141 96772096 22241 33554432000 4194304 5646918 140733892790144 140733892784056 4419702 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 23626 22241 136 355 0 23267 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94504

[startup+3.10029 s]
/proc/loadavg: 2.04 2.05 2.00 3/178 30181
/proc/meminfo: memFree=31490416/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=91784 CPUtime=3.09 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 23133 0 0 0 302 7 0 0 20 0 1 0 56032141 93986816 22184 33554432000 4194304 5646918 140733892790144 140733892788904 4402661 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 22946 22184 155 355 0 22587 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 91784

[startup+6.3003 s]
/proc/loadavg: 2.04 2.05 2.00 3/178 30181
/proc/meminfo: memFree=31485008/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=98924 CPUtime=6.29 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 23546 0 0 0 621 8 0 0 20 0 1 0 56032141 101298176 23609 33554432000 4194304 5646918 140733892790144 140733892788840 4402709 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 24731 23609 155 355 0 24372 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 98924

[startup+12.7003 s]
/proc/loadavg: 2.03 2.04 2.00 3/178 30181
/proc/meminfo: memFree=31465716/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=118736 CPUtime=12.69 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 24665 0 0 0 1261 8 0 0 20 0 1 0 56032141 121585664 27275 33554432000 4194304 5646918 140733892790144 140733892788840 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 29684 27275 156 355 0 29325 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 118736

[startup+25.5004 s]
/proc/loadavg: 2.02 2.04 2.00 3/178 30181
/proc/meminfo: memFree=31472040/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=107060 CPUtime=25.48 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 26186 0 0 0 2539 9 0 0 20 0 1 0 56032141 109629440 25297 33554432000 4194304 5646918 140733892790144 140733892788856 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 26765 25297 156 355 0 26406 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 107060

[startup+51.1003 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 30181
/proc/meminfo: memFree=31404160/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=168524 CPUtime=51.08 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 27706 0 0 0 5097 11 0 0 20 0 1 0 56032141 172568576 41119 33554432000 4194304 5646918 140733892790144 140733892788840 4397480 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 42131 41119 156 355 0 41772 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 168524

[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 30183
/proc/meminfo: memFree=31345140/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=219332 CPUtime=102.28 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 30133 0 0 0 10214 14 0 0 20 0 1 0 56032141 224595968 50518 33554432000 4194304 5646918 140733892790144 140733892788392 4403495 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 54833 50518 158 355 0 54474 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 219332

[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 30184
/proc/meminfo: memFree=31237672/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=301800 CPUtime=162.27 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 30941 0 0 0 16210 17 0 0 20 0 1 0 56032141 309043200 73810 33554432000 4194304 5646918 140733892790144 140733892788392 4402821 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 75450 73810 158 355 0 75091 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 301800

[startup+222.307 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 30185
/proc/meminfo: memFree=31431940/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=170324 CPUtime=222.27 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 34896 0 0 0 22206 21 0 0 20 0 1 0 56032141 174411776 38341 33554432000 4194304 5646918 140733892790144 140733892788840 4399348 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 42581 38341 158 355 0 42222 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 170324

[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 30186
/proc/meminfo: memFree=31294544/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=301800 CPUtime=282.25 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 35855 0 0 0 28202 23 0 0 20 0 1 0 56032141 309043200 61779 33554432000 4194304 5646918 140733892790144 140733892788840 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 75450 61779 158 355 0 75091 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 301800

[startup+342.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 30187
/proc/meminfo: memFree=31309576/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=221396 CPUtime=342.22 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 37885 0 0 0 34198 24 0 0 20 0 1 0 56032141 226709504 54370 33554432000 4194304 5646918 140733892790144 140733892788280 4416598 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 55349 54370 158 355 0 54990 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 221396

[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 30189
/proc/meminfo: memFree=31196284/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=438688 CPUtime=402.21 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 39653 0 0 0 40193 28 0 0 20 0 1 0 56032141 449216512 77825 33554432000 4194304 5646918 140733892790144 140733892788280 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 109672 77825 158 355 0 109313 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 438688

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 30190
/proc/meminfo: memFree=31244248/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=307904 CPUtime=462.2 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 42743 0 0 0 46187 33 0 0 20 0 1 0 56032141 315293696 59850 33554432000 4194304 5646918 140733892790144 140733892788840 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 76976 59850 158 355 0 76617 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 307904

[startup+522.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/177 30191
/proc/meminfo: memFree=31265492/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=441628 CPUtime=522.19 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 43589 0 0 0 52184 35 0 0 20 0 1 0 56032141 452227072 80114 33554432000 4194304 5646918 140733892790144 140733892788280 4403176 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 110407 80114 158 355 0 110048 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 441628

[startup+582.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 30192
/proc/meminfo: memFree=31405052/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=181792 CPUtime=582.18 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 45892 0 0 0 58179 39 0 0 20 0 1 0 56032141 186155008 38247 33554432000 4194304 5646918 140733892790144 140733892788840 4403184 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 45448 38247 158 355 0 45089 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 181792


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


[startup+882.307 s]
/proc/loadavg: 2.14 2.06 2.01 3/177 30201
/proc/meminfo: memFree=31143104/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=452856 CPUtime=882.14 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 51947 0 0 0 88164 50 0 0 20 0 1 0 56032141 463724544 104237 33554432000 4194304 5646918 140733892790144 140733892788280 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 113214 104237 158 355 0 112855 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 452856

[startup+942.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 30202
/proc/meminfo: memFree=31049332/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=670860 CPUtime=942.12 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 53098 0 0 0 94158 54 0 0 20 0 1 0 56032141 686960640 119180 33554432000 4194304 5646918 140733892790144 140733892788280 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 167715 119180 158 355 0 167356 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 670860

[startup+1002.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 30204
/proc/meminfo: memFree=31273508/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=243480 CPUtime=1002.11 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 57517 0 0 0 100151 60 0 0 20 0 1 0 56032141 249323520 59847 33554432000 4194304 5646918 140733892790144 140733892788840 4403136 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 60870 59847 158 355 0 60511 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 243480

[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 30205
/proc/meminfo: memFree=31275556/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=243480 CPUtime=1062.1 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 60282 0 0 0 106147 63 0 0 20 0 1 0 56032141 249323520 50058 33554432000 4194304 5646918 140733892790144 140733892788840 4397736 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 60870 50058 158 355 0 60511 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 243480

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 30206
/proc/meminfo: memFree=31137656/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=324868 CPUtime=1122.1 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 60841 0 0 0 112145 65 0 0 20 0 1 0 56032141 332664832 74122 33554432000 4194304 5646918 140733892790144 140733892788840 4402788 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 81217 74122 158 355 0 80858 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 324868

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 30263
/proc/meminfo: memFree=31470796/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=243480 CPUtime=1182.08 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 63554 0 0 0 118138 70 0 0 20 0 1 0 56032141 249323520 54666 33554432000 4194304 5646918 140733892790144 140733892788840 4397514 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 60870 54666 158 355 0 60511 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 243480

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 30267
/proc/meminfo: memFree=31348988/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=324868 CPUtime=1242.06 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 64141 0 0 0 124134 72 0 0 20 0 1 0 56032141 332664832 80010 33554432000 4194304 5646918 140733892790144 140733892788840 4402788 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 81217 80010 158 355 0 80858 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 324868

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30268
/proc/meminfo: memFree=31472328/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=194172 CPUtime=1302.05 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 66220 0 0 0 130129 76 0 0 20 0 1 0 56032141 198832128 44572 33554432000 4194304 5646918 140733892790144 140733892788840 4403454 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 48543 44572 158 355 0 48184 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 194172

[startup+1362.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 30270
/proc/meminfo: memFree=31374004/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=325800 CPUtime=1362.04 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 67477 0 0 0 136125 79 0 0 20 0 1 0 56032141 333619200 73420 33554432000 4194304 5646918 140733892790144 140733892788280 4403167 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 81450 73420 158 355 0 81091 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 325800

[startup+1422.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 30271
/proc/meminfo: memFree=31202860/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=458968 CPUtime=1422.04 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 68206 0 0 0 142124 80 0 0 20 0 1 0 56032141 469983232 91010 33554432000 4194304 5646918 140733892790144 140733892788280 4403184 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 114742 91010 158 355 0 114383 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 458968

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 30272
/proc/meminfo: memFree=31373680/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=246164 CPUtime=1482.02 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 70633 0 0 0 148118 84 0 0 20 0 1 0 56032141 252071936 60597 33554432000 4194304 5646918 140733892790144 140733892788840 4403427 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 61541 60597 158 355 0 61182 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 246164

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30273
/proc/meminfo: memFree=31213040/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=460092 CPUtime=1542.02 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 71736 0 0 0 154115 87 0 0 20 0 1 0 56032141 471134208 93891 33554432000 4194304 5646918 140733892790144 140733892788280 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 115023 93891 158 355 0 114664 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 460092

[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 30274
/proc/meminfo: memFree=31446020/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=166660 CPUtime=1602 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 73425 0 0 0 160109 91 0 0 20 0 1 0 56032141 170659840 37798 33554432000 4194304 5646918 140733892790144 140733892788840 4402806 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 41665 37798 158 355 0 41306 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 166660

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 30276
/proc/meminfo: memFree=31343900/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=328956 CPUtime=1661.97 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 74827 0 0 0 166103 94 0 0 20 0 1 0 56032141 336850944 68307 33554432000 4194304 5646918 140733892790144 140733892788840 4402880 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 82239 68307 158 355 0 81880 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 328956

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30277
/proc/meminfo: memFree=31233724/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=461524 CPUtime=1721.97 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 75402 0 0 0 172100 97 0 0 20 0 1 0 56032141 472600576 88808 33554432000 4194304 5646918 140733892790144 140733892788280 4402781 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 115381 88808 158 355 0 115022 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 461524

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30278
/proc/meminfo: memFree=31435468/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=168860 CPUtime=1781.96 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 77183 0 0 0 178096 100 0 0 20 0 1 0 56032141 172912640 39263 33554432000 4194304 5646918 140733892790144 140733892788840 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 42215 39263 158 355 0 41856 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 168860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 30281
/proc/meminfo: memFree=31364364/32872528 swapFree=249320/249320
[pid=30180] ppid=30177 vsize=249768 CPUtime=1800.05 cores=0,2,4,6
/proc/30180/stat : 30180 (minisatp) R 30177 30180 25725 0 -1 4202496 78024 0 0 0 179905 100 0 0 20 0 1 0 56032141 255762432 51852 33554432000 4194304 5646918 140733892790144 140733892788840 4403136 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30180/statm: 62442 51852 158 355 0 62083 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 249768

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.05
CPU system time (s): 1.01584
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 689536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.01585
maximum resident set size= 496800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78024
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= 109
involuntary context switches= 1849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6113 second user time and 6.94894 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-21 22:10:17
IDJOB=4112556
IDBENCH=2245
IDSOLVER=2555
FILE ID=node103/4112556-1466539817
RUNJOBID= node103-1466515278-25741
PBS_JOBID= 19942890
Free space on /tmp= 71724 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/frb56-25-opb/normalized-frb56-25-3.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112556-1466539817/watcher-4112556-1466539817 -o /tmp/evaluation-result-4112556-1466539817/solver-4112556-1466539817 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466515278-25741 --watchdog 1960  minisatp HOME/instance-4112556-1466539817.opb

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

MD5SUM BENCH= 4c9dc9cf5c24873d3237c90ee1682632
RANDOM SEED=1728330739

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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		: 2667.278
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:        31581732 kB
Buffers:           19628 kB
Cached:            66540 kB
SwapCached:         1184 kB
Active:           278308 kB
Inactive:          57672 kB
Active(anon):     250232 kB
Inactive(anon):     2036 kB
Active(file):      28076 kB
Inactive(file):    55636 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67100264 kB
Dirty:              6640 kB
Writeback:             0 kB
AnonPages:        504528 kB
Mapped:             8900 kB
Shmem:                 0 kB
Slab:             568632 kB
SReclaimable:      12720 kB
SUnreclaim:       555912 kB
KernelStack:        1464 kB
PageTables:         5024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     633756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 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-4112556-1466539817.opb

Free space on /tmp at the end= 71720 MiB
End job on node103 at 2016-06-21 22:40:18