Trace number 4115028

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)-51 1800.06 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-4.opb
MD5SUM09bf68c118cd38b954800f61edb04c4b
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 constraints110038
Number of constraints which are clauses110038
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.07	c Converting 110038 PB-constraints to clauses...
0.99/1.08	c   -- Unit propagations: (none)
0.99/1.08	c   -- Detecting intervals from adjacent constraints: (none)
0.99/1.08	c   -- Clauses(.)/Splits(s): ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.20/1.27	============================[ Search Statistics ]==============================
1.20/1.27	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.20/1.27	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.20/1.27	===============================================================================
1.20/1.27	===============================================================================
1.20/1.27	c Found solution: -41
1.20/1.28	c ---[   0]---> Sorter-cost:78076     Base:
8.19/8.20	|  Eliminated clauses:           0.88 Mb                                      |
8.19/8.20	============================[ Search Statistics ]==============================
8.19/8.20	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.19/8.20	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
8.19/8.20	===============================================================================
8.19/8.20	|       100 |   30050   170738   476987 |    62603       87     20 |  0.325 % |
8.19/8.20	|       250 |   29903   170738   476987 |    68864      219     27 |  0.583 % |
8.19/8.20	|       475 |   29751   170738   476987 |    75750      406     36 |  0.850 % |
8.19/8.20	|       812 |   29361   170738   476987 |    83325      708     33 |  1.534 % |
8.19/8.20	|      1318 |   28754   170738   476987 |    91658     1181     36 |  2.600 % |
8.19/8.20	|      2077 |   28163   170738   476987 |   100824     1895     38 |  3.637 % |
8.19/8.20	|      3216 |   27063   170738   476987 |   110906     2916     41 |  5.569 % |
8.19/8.20	|      4924 |   25690   170738   476987 |   121997     4512     43 |  7.979 % |
8.19/8.20	|      7486 |   24268   170738   476987 |   134197     6948     44 | 10.475 % |
8.19/8.20	|     11330 |   22624   170738   476987 |   147616    10633     47 | 13.361 % |
8.19/8.20	|     17096 |   20941   170738   476987 |   162378    16228     53 | 16.316 % |
8.19/8.20	|     25745 |   19485   170738   476987 |   178616    24577     64 | 18.872 % |
8.19/8.20	===============================================================================
8.19/8.20	c Found solution: -42
8.19/8.21	c ---[   0]---> Sorter-cost:    0     Base:
14.98/15.08	|  Eliminated clauses:           0.90 Mb                                      |
14.98/15.08	============================[ Search Statistics ]==============================
14.98/15.08	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
14.98/15.08	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
14.98/15.08	===============================================================================
14.98/15.08	|     33690 |   17930   144779   362946 |    53085    32348     74 | 20.450 % |
14.98/15.08	|     33840 |   17870   144779   362946 |    58394    32495     74 | 20.556 % |
14.98/15.08	|     34065 |   17870   144779   362946 |    64233    32720     74 | 20.556 % |
14.98/15.08	|     34402 |   17843   144779   362946 |    70656    33054     74 | 20.603 % |
14.98/15.08	|     34908 |   17842   144779   362946 |    77722    33559     75 | 20.605 % |
14.98/15.08	|     35667 |   17820   144779   362946 |    85494    34317     74 | 20.644 % |
14.98/15.08	|     36806 |   17723   144779   362946 |    94044    35450     76 | 20.814 % |
14.98/15.08	|     38514 |   17665   144779   362946 |   103448    37154     77 | 20.916 % |
14.98/15.08	|     41076 |   17252   144779   362946 |   113793    39524     80 | 21.641 % |
14.98/15.08	|     44920 |   16767   144779   362946 |   125173    43341     82 | 22.492 % |
14.98/15.08	|     50686 |   16360   144779   362946 |   137690    48611     88 | 23.206 % |
14.98/15.08	|     59335 |   16007   144779   362946 |   151459    56933     97 | 23.826 % |
14.98/15.08	===============================================================================
14.98/15.08	c Found solution: -43
14.98/15.08	c ---[   0]---> Sorter-cost:    0     Base:
20.28/20.34	|  Eliminated clauses:           0.92 Mb                                      |
20.28/20.34	============================[ Search Statistics ]==============================
20.28/20.34	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.28/20.34	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
20.28/20.34	===============================================================================
20.28/20.34	|     66420 |   15454   139634   342345 |    51199    24368     89 | 24.499 % |
20.28/20.34	|     66570 |   15454   139634   342345 |    56319    24518     89 | 24.499 % |
20.28/20.34	|     66795 |   15413   139634   342345 |    61950    24741     89 | 24.570 % |
20.28/20.34	|     67132 |   15375   139634   342345 |    68146    25076     88 | 24.636 % |
20.28/20.34	|     67638 |   15375   139634   342345 |    74960    25582     90 | 24.636 % |
20.28/20.34	|     68397 |   15317   139634   342345 |    82456    26338     90 | 24.737 % |
20.28/20.34	|     69536 |   15276   139634   342345 |    90702    27474     91 | 24.808 % |
20.28/20.34	|     71244 |   15122   139634   342345 |    99772    29043     92 | 25.076 % |
20.28/20.34	|     73806 |   15026   139634   342345 |   109749    31602     97 | 25.242 % |
20.28/20.34	|     77650 |   14938   139634   342345 |   120724    35393    103 | 25.395 % |
20.28/20.34	|     83416 |   14504   139634   342345 |   132797    41137    109 | 26.149 % |
20.28/20.34	===============================================================================
20.28/20.34	c Found solution: -45
20.28/20.35	c ---[   0]---> Sorter-cost:    0     Base:
30.28/30.36	|  Eliminated clauses:           0.93 Mb                                      |
30.28/30.36	============================[ Search Statistics ]==============================
30.28/30.36	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
30.28/30.36	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
30.28/30.36	===============================================================================
30.28/30.36	|     91848 |   13560   135632   326190 |    49731    49203    119 | 27.410 % |
30.28/30.36	|     91998 |   13533   135632   326190 |    54704    49352    118 | 27.457 % |
30.28/30.36	|     92223 |   13533   135632   326190 |    60175    49577    118 | 27.457 % |
30.28/30.36	|     92560 |   13533   135632   326190 |    66192    49914    118 | 27.457 % |
30.28/30.36	|     93066 |   13508   135632   326190 |    72812    50419    119 | 27.501 % |
30.28/30.36	|     93825 |   13488   135632   326190 |    80093    51176    119 | 27.535 % |
30.28/30.36	|     94964 |   13403   135632   326190 |    88102    52310    119 | 27.683 % |
30.28/30.36	|     96672 |   13387   135632   326190 |    96913    54015    120 | 27.710 % |
30.28/30.36	|     99234 |   13387   135632   326190 |   106604    56577    123 | 27.711 % |
30.28/30.36	|    103078 |   13178   135632   326190 |   117264    60407    125 | 28.073 % |
30.28/30.36	|    108844 |   12965   135632   326190 |   128991    65846    127 | 28.443 % |
30.28/30.36	|    117493 |   12849   135632   326190 |   141890    74488    131 | 28.644 % |
30.28/30.36	===============================================================================
30.28/30.36	c Found solution: -47
30.28/30.37	c ---[   0]---> Sorter-cost:    0     Base:
39.28/39.32	|  Eliminated clauses:           0.94 Mb                                      |
39.28/39.32	============================[ Search Statistics ]==============================
39.28/39.32	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.28/39.32	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
39.28/39.32	===============================================================================
39.28/39.32	|    130238 |   12330   133119   316048 |    48810    27113    111 | 29.489 % |
39.28/39.32	|    130388 |   12311   133119   316048 |    53691    27262    110 | 29.522 % |
39.28/39.32	|    130613 |   12291   133119   316048 |    59060    27484    110 | 29.556 % |
39.28/39.32	|    130950 |   12270   133119   316048 |    64966    27820    110 | 29.592 % |
39.28/39.32	|    131456 |   12215   133119   316048 |    71463    27295    113 | 29.686 % |
39.28/39.32	|    132215 |   12197   133119   316048 |    78609    28053    113 | 29.717 % |
39.28/39.32	|    133354 |   12179   133119   316048 |    86470    29191    115 | 29.748 % |
39.28/39.32	|    135062 |   12067   133119   316048 |    95117    30894    114 | 29.940 % |
39.28/39.32	|    137624 |   11968   133119   316048 |   104629    33449    114 | 30.110 % |
39.28/39.32	|    141468 |   11843   133119   316048 |   115092    37201    116 | 30.324 % |
39.28/39.32	|    147234 |   11780   133119   316048 |   126601    42962    121 | 30.433 % |
39.28/39.32	|    155883 |   11527   133119   316048 |   139261    51594    129 | 30.867 % |
39.28/39.32	|    168857 |   11093   133119   316048 |   153187    64296    137 | 31.611 % |
39.28/39.32	===============================================================================
39.28/39.32	c Found solution: -48
39.28/39.33	c ---[   0]---> Sorter-cost:    0     Base:
551.43/551.68	|  Eliminated clauses:           0.95 Mb                                      |
551.43/551.68	============================[ Search Statistics ]==============================
551.43/551.68	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
551.43/551.68	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
551.43/551.68	===============================================================================
551.43/551.68	|    173029 |   10822   129960   302381 |    47652    26012    122 | 31.730 % |
551.43/551.68	|    173179 |   10822   129960   302381 |    52417    26162    122 | 31.730 % |
551.43/551.68	|    173404 |   10784   129960   302381 |    57658    26385    122 | 31.795 % |
551.43/551.68	|    173741 |   10784   129960   302381 |    63424    26722    123 | 31.795 % |
551.43/551.68	|    174247 |   10784   129960   302381 |    69767    27228    124 | 31.795 % |
551.43/551.68	|    175006 |   10760   129960   302381 |    76744    27986    124 | 31.836 % |
551.43/551.68	|    176145 |   10760   129960   302381 |    84418    29125    124 | 31.836 % |
551.43/551.68	|    177853 |   10745   129960   302381 |    92860    30831    127 | 31.862 % |
551.43/551.68	|    180415 |   10694   129960   302381 |   102146    33391    131 | 31.949 % |
551.43/551.68	|    184259 |   10591   129960   302381 |   112360    36938    134 | 32.126 % |
551.43/551.68	|    190025 |   10591   129960   302381 |   123597    42704    140 | 32.126 % |
551.43/551.68	|    198674 |   10433   129960   302381 |   135956    51341    148 | 32.397 % |
551.43/551.68	|    211648 |   10281   129960   302381 |   149552    64271    159 | 32.658 % |
551.43/551.68	|    231109 |   10096   129960   302381 |   164507    83720    170 | 32.975 % |
551.43/551.68	|    260301 |    9895   129960   302381 |   180958   112840    184 | 33.320 % |
551.43/551.68	|    304090 |    9684   129960   302381 |   199054   156559    202 | 33.681 % |
551.43/551.68	|    369774 |    9324   129960   302381 |   218959    31812    174 | 34.299 % |
551.43/551.68	|    468300 |    8614   129960   302381 |   240855   130078    223 | 35.517 % |
551.43/551.68	|    616089 |    7943   129960   302381 |   264941    36611    230 | 36.667 % |
551.43/551.68	|    837772 |    6954   129960   302381 |   291435   258084    271 | 38.364 % |
551.43/551.68	===============================================================================
551.43/551.68	c Found solution: -49
551.43/551.69	c ---[   0]---> Sorter-cost:    0     Base:
912.37/912.60	|  Eliminated clauses:           0.96 Mb                                      |
912.37/912.60	============================[ Search Statistics ]==============================
912.37/912.60	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
912.37/912.60	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
912.37/912.60	===============================================================================
912.37/912.60	|   1045651 |    5973   119798   261107 |    43925    30096    222 | 39.287 % |
912.37/912.60	|   1045801 |    5973   119798   261107 |    48318    30246    221 | 39.287 % |
912.37/912.60	|   1046026 |    5961   119798   261107 |    53150    30470    221 | 39.308 % |
912.37/912.60	|   1046363 |    5961   119798   261107 |    58465    30807    220 | 39.308 % |
912.37/912.60	|   1046869 |    5961   119798   261107 |    64311    31313    219 | 39.308 % |
912.37/912.60	|   1047628 |    5961   119798   261107 |    70743    32072    219 | 39.308 % |
912.37/912.60	|   1048767 |    5961   119798   261107 |    77817    33211    219 | 39.308 % |
912.37/912.60	|   1050475 |    5961   119798   261107 |    85599    34919    216 | 39.308 % |
912.37/912.60	|   1053037 |    5959   119798   261107 |    94159    37480    216 | 39.311 % |
912.37/912.60	|   1056881 |    5959   119798   261107 |   103575    41324    214 | 39.311 % |
912.37/912.60	|   1062647 |    5942   119798   261107 |   113932    47089    214 | 39.340 % |
912.37/912.60	|   1071296 |    5917   119798   261107 |   125325    55736    214 | 39.383 % |
912.37/912.60	|   1084270 |    5883   119798   261107 |   137858    68708    216 | 39.441 % |
912.37/912.60	|   1103731 |    5768   119798   261107 |   151644    88160    218 | 39.638 % |
912.37/912.60	|   1132923 |    5716   119798   261107 |   166808   117346    222 | 39.727 % |
912.37/912.60	|   1176712 |    5631   119798   261107 |   183489   161129    230 | 39.873 % |
912.37/912.60	|   1242396 |    5491   119798   261107 |   201838    52315    217 | 40.113 % |
912.37/912.60	|   1340922 |    5343   119798   261107 |   222022   150586    244 | 40.366 % |
912.37/912.60	|   1488711 |    5156   119798   261107 |   244224    87252    235 | 40.687 % |
912.37/912.60	===============================================================================
912.37/912.60	c Found solution: -51
912.37/912.61	c ---[   0]---> Sorter-cost:    0     Base:
1800.04/1800.40	|  Eliminated clauses:           0.97 Mb                                      |
1800.04/1800.40	============================[ Search Statistics ]==============================
1800.04/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.04/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.04/1800.40	===============================================================================
1800.04/1800.40	|   1697055 |    4919   117528   252066 |    43093    60234    221 | 41.051 % |
1800.04/1800.40	|   1697205 |    4919   117528   252066 |    47402    60384    221 | 41.051 % |
1800.04/1800.40	|   1697430 |    4919   117528   252066 |    52143    60609    221 | 41.051 % |
1800.04/1800.40	|   1697767 |    4919   117528   252066 |    57357    60946    221 | 41.051 % |
1800.04/1800.40	|   1698273 |    4900   117528   252066 |    63093    61451    220 | 41.083 % |
1800.04/1800.40	|   1699032 |    4900   117528   252066 |    69402    62210    220 | 41.083 % |
1800.04/1800.40	|   1700171 |    4900   117528   252066 |    76342    63349    220 | 41.083 % |
1800.04/1800.40	|   1701879 |    4900   117528   252066 |    83977    65057    218 | 41.083 % |
1800.04/1800.40	|   1704441 |    4900   117528   252066 |    92374    67619    219 | 41.083 % |
1800.04/1800.40	|   1708285 |    4867   117528   252066 |   101612    71462    218 | 41.139 % |
1800.04/1800.40	|   1714051 |    4841   117528   252066 |   111773    77226    216 | 41.183 % |
1800.04/1800.40	|   1722700 |    4841   117528   252066 |   122951    85875    215 | 41.183 % |
1800.04/1800.40	|   1735674 |    4782   117528   252066 |   135246    98845    214 | 41.284 % |
1800.04/1800.40	|   1755135 |    4734   117528   252066 |   148770   118300    213 | 41.366 % |
1800.04/1800.40	|   1784327 |    4714   117528   252066 |   163647   147490    215 | 41.400 % |
1800.04/1800.40	|   1828116 |    4563   117528   252066 |   180012    34992    195 | 41.657 % |
1800.04/1800.40	|   1893800 |    4444   117528   252066 |   198013   100666    213 | 41.859 % |
1800.04/1800.40	|   1992326 |    4375   117528   252066 |   217815   198795    224 | 41.977 % |
1800.04/1800.40	|   2140115 |    4217   117528   252066 |   239596   134848    228 | 42.246 % |
1800.04/1800.40	|   2361798 |    4078   117528   252066 |   263556   124516    219 | 42.482 % |
1800.04/1800.40	|   2694323 |    3920   117528   252066 |   289912   195560    239 | 42.751 % |
1800.04/1800.40	|   3193111 |    3742   117528   252066 |   318903   117013    206 | 43.054 % |
1800.04/1800.40	c 
1800.04/1800.40	c *** TERMINATED ***
1800.04/1800.40	s SATISFIABLE
1800.04/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	-51

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-4115028-1466539849/watcher-4115028-1466539849 -o /tmp/evaluation-result-4115028-1466539849/solver-4115028-1466539849 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466515257-29310 --watchdog 1960 minisatp HOME/instance-4115028-1466539849.opb 

pid=619
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.13 2.11 2.06 3/177 622
/proc/meminfo: memFree=31665324/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=6780 CPUtime=0 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 383 0 0 0 0 0 0 0 20 0 1 0 56031613 6942720 260 33554432000 4194304 5646918 140737459373536 140735502636056 4251039 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/622/statm: 1695 260 94 355 0 1336 0

[startup+0.100123 s]
/proc/loadavg: 2.13 2.11 2.06 3/177 622
/proc/meminfo: memFree=31665324/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=12200 CPUtime=0.09 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 1734 0 0 0 9 0 0 0 20 0 1 0 56031613 12492800 1611 33554432000 4194304 5646918 140737459373536 140735502636056 4251039 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/622/statm: 3050 1611 94 355 0 2691 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12200

[startup+0.200265 s]
/proc/loadavg: 2.13 2.11 2.06 3/177 622
/proc/meminfo: memFree=31665324/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=17844 CPUtime=0.19 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 3171 0 0 0 19 0 0 0 20 0 1 0 56031613 18272256 3048 33554432000 4194304 5646918 140737459373536 140735502636056 4251039 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/622/statm: 4461 3048 94 355 0 4102 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17844

[startup+0.300242 s]
/proc/loadavg: 2.13 2.11 2.06 3/177 622
/proc/meminfo: memFree=31665324/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=23712 CPUtime=0.29 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 4607 0 0 0 29 0 0 0 20 0 1 0 56031613 24281088 4484 33554432000 4194304 5646918 140737459373536 140735502636056 4251039 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/622/statm: 5928 4485 94 355 0 5569 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23712

[startup+0.700205 s]
/proc/loadavg: 2.13 2.11 2.06 3/177 622
/proc/meminfo: memFree=31665324/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=46816 CPUtime=0.68 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 10350 0 0 0 68 0 0 0 20 0 1 0 56031613 47939584 10227 33554432000 4194304 5646918 140737459373536 140737459372904 4831331 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/622/statm: 11704 10229 94 355 0 11345 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 46816

[startup+1.5003 s]
/proc/loadavg: 2.12 2.10 2.06 4/178 623
/proc/meminfo: memFree=31601184/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=91376 CPUtime=1.48 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 22083 0 0 0 143 5 0 0 20 0 1 0 56031613 93569024 21959 33554432000 4194304 5646918 140737459373536 140737459372904 4419702 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 22844 21960 136 355 0 22485 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 91376

[startup+3.1003 s]
/proc/loadavg: 2.12 2.10 2.06 3/178 623
/proc/meminfo: memFree=31576444/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=93048 CPUtime=3.09 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 23360 0 0 0 303 6 0 0 20 0 1 0 56031613 95281152 22397 33554432000 4194304 5646918 140737459373536 140737459372296 4402832 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 23262 22397 155 355 0 22903 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 93048

[startup+6.30031 s]
/proc/loadavg: 2.12 2.10 2.06 3/178 623
/proc/meminfo: memFree=31573312/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=100188 CPUtime=6.29 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 23807 0 0 0 623 6 0 0 20 0 1 0 56031613 102592512 23857 33554432000 4194304 5646918 140737459373536 140737459372232 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 25047 23857 155 355 0 24688 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 100188

[startup+12.7003 s]
/proc/loadavg: 2.10 2.10 2.06 3/178 623
/proc/meminfo: memFree=31555404/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=119764 CPUtime=12.68 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 24924 0 0 0 1262 6 0 0 20 0 1 0 56031613 122638336 27523 33554432000 4194304 5646918 140737459373536 140737459372232 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 29941 27523 155 355 0 29582 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 119764

[startup+25.5004 s]
/proc/loadavg: 2.09 2.10 2.06 3/177 623
/proc/meminfo: memFree=31542236/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=138732 CPUtime=25.47 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 26625 0 0 0 2540 7 0 0 20 0 1 0 56031613 142061568 31416 33554432000 4194304 5646918 140737459373536 140737459372232 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 34683 31416 156 355 0 34324 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 138732

[startup+51.1004 s]
/proc/loadavg: 2.12 2.10 2.07 3/177 623
/proc/meminfo: memFree=31494944/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=218576 CPUtime=51.07 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 29155 0 0 0 5096 11 0 0 20 0 1 0 56031613 223821824 42079 33554432000 4194304 5646918 140737459373536 140737459372232 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 54644 42079 157 355 0 54285 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 218576

[startup+102.3 s]
/proc/loadavg: 2.12 2.10 2.07 3/177 624
/proc/meminfo: memFree=31400696/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=350052 CPUtime=102.26 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 30040 0 0 0 10213 13 0 0 20 0 1 0 56031613 358453248 66101 33554432000 4194304 5646918 140737459373536 140737459372232 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 87513 66101 157 355 0 87154 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 350052

[startup+162.3 s]
/proc/loadavg: 2.09 2.09 2.06 3/177 626
/proc/meminfo: memFree=31441820/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=268664 CPUtime=162.21 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 31401 0 0 0 16205 16 0 0 20 0 1 0 56031613 275111936 54837 33554432000 4194304 5646918 140737459373536 140737459372232 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 67166 54837 157 355 0 66807 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 268664

[startup+222.307 s]
/proc/loadavg: 2.14 2.10 2.07 3/177 627
/proc/meminfo: memFree=31346676/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=350052 CPUtime=222.21 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 31960 0 0 0 22203 18 0 0 20 0 1 0 56031613 358453248 78389 33554432000 4194304 5646918 140737459373536 140737459372232 4402896 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 87513 78389 157 355 0 87154 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 350052

[startup+282.3 s]
/proc/loadavg: 2.05 2.08 2.06 3/177 628
/proc/meminfo: memFree=31493308/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=187756 CPUtime=282.2 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 32847 0 0 0 28197 23 0 0 20 0 1 0 56031613 192262144 42693 33554432000 4194304 5646918 140737459373536 140737459371832 4397545 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 46939 42693 157 355 0 46580 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 187756

[startup+342.3 s]
/proc/loadavg: 2.06 2.08 2.06 4/177 629
/proc/meminfo: memFree=31364036/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=350052 CPUtime=342.19 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 34303 0 0 0 34194 25 0 0 20 0 1 0 56031613 358453248 74805 33554432000 4194304 5646918 140737459373536 140737459372232 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 87513 74805 157 355 0 87154 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 350052

[startup+402.3 s]
/proc/loadavg: 2.06 2.08 2.06 3/177 630
/proc/meminfo: memFree=31279756/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=482312 CPUtime=402.18 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 34805 0 0 0 40190 28 0 0 20 0 1 0 56031613 493887488 94214 33554432000 4194304 5646918 140737459373536 140737459372232 4403454 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 120578 94214 157 355 0 120219 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 482312

[startup+462.3 s]
/proc/loadavg: 2.14 2.09 2.07 3/177 632
/proc/meminfo: memFree=31211508/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=482312 CPUtime=462.17 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 34837 0 0 0 46188 29 0 0 20 0 1 0 56031613 493887488 110598 33554432000 4194304 5646918 140737459373536 140737459372232 4403178 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 120578 110598 157 355 0 120219 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 482312

[startup+522.3 s]
/proc/loadavg: 2.10 2.09 2.07 3/177 633
/proc/meminfo: memFree=31401792/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=268664 CPUtime=522.15 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 36229 0 0 0 52182 33 0 0 20 0 1 0 56031613 275111936 63541 33554432000 4194304 5646918 140737459373536 140737459372232 4403178 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 67166 63541 157 355 0 66807 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 268664

[startup+582.3 s]
/proc/loadavg: 2.11 2.09 2.07 3/178 637
/proc/meminfo: memFree=31424284/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=268664 CPUtime=582.13 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 38088 0 0 0 58176 37 0 0 20 0 1 0 56031613 275111936 57403 33554432000 4194304 5646918 140737459373536 140737459372232 4403170 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 67166 57403 157 355 0 66807 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 268664


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


[startup+882.307 s]
/proc/loadavg: 2.00 2.04 2.05 3/177 643
/proc/meminfo: memFree=31261808/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=482312 CPUtime=882.09 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 43409 0 0 0 88158 51 0 0 20 0 1 0 56031613 493887488 96350 33554432000 4194304 5646918 140737459373536 140737459372232 4398960 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 120578 96350 157 355 0 120219 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 482312

[startup+942.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/177 644
/proc/meminfo: memFree=31410052/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=268848 CPUtime=942.07 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 45132 0 0 0 94151 56 0 0 20 0 1 0 56031613 275300352 59935 33554432000 4194304 5646918 140737459373536 140737459372232 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 67212 59935 158 355 0 66853 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 268848

[startup+1002.3 s]
/proc/loadavg: 1.96 2.02 2.04 3/177 701
/proc/meminfo: memFree=31389496/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=268848 CPUtime=1002.05 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 46978 0 0 0 100146 59 0 0 20 0 1 0 56031613 275300352 54836 33554432000 4194304 5646918 140737459373536 140737459372232 4403408 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 67212 54836 158 355 0 66853 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 268848

[startup+1062.3 s]
/proc/loadavg: 1.98 2.01 2.03 3/177 702
/proc/meminfo: memFree=31253272/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=350236 CPUtime=1062.05 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 47534 0 0 0 106144 61 0 0 20 0 1 0 56031613 358641664 77364 33554432000 4194304 5646918 140737459373536 140737459372232 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 87559 77364 158 355 0 87200 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 350236

[startup+1122.3 s]
/proc/loadavg: 1.99 2.01 2.02 3/177 704
/proc/meminfo: memFree=31337636/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=288952 CPUtime=1122.04 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 48856 0 0 0 112140 64 0 0 20 0 1 0 56031613 295886848 59457 33554432000 4194304 5646918 140737459373536 140737459372232 4403178 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 72238 59457 158 355 0 71879 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 288952

[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 2.02 3/178 708
/proc/meminfo: memFree=31182096/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=370340 CPUtime=1182.03 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 49422 0 0 0 118138 65 0 0 20 0 1 0 56031613 379228160 85569 33554432000 4194304 5646918 140737459373536 140737459372232 4403450 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 92585 85569 158 355 0 92226 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 370340

[startup+1242.3 s]
/proc/loadavg: 2.11 2.03 2.02 3/177 709
/proc/meminfo: memFree=31292796/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=288952 CPUtime=1242.02 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 51190 0 0 0 124131 71 0 0 20 0 1 0 56031613 295886848 56897 33554432000 4194304 5646918 140737459373536 140737459372232 4402784 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 72238 56897 158 355 0 71879 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 288952

[startup+1302.3 s]
/proc/loadavg: 2.04 2.02 2.02 3/177 710
/proc/meminfo: memFree=31206332/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=370340 CPUtime=1302.02 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 51754 0 0 0 130129 73 0 0 20 0 1 0 56031613 379228160 82497 33554432000 4194304 5646918 140737459373536 140737459372232 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 92585 82497 158 355 0 92226 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 370340

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/177 711
/proc/meminfo: memFree=31133640/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=502600 CPUtime=1362.01 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 52247 0 0 0 136126 75 0 0 20 0 1 0 56031613 514662400 97298 33554432000 4194304 5646918 140737459373536 140737459372232 4403420 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 125650 97298 158 355 0 125291 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 502600

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/177 713
/proc/meminfo: memFree=31217088/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=370340 CPUtime=1422 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 54078 0 0 0 142121 79 0 0 20 0 1 0 56031613 379228160 71233 33554432000 4194304 5646918 140737459373536 140737459372232 4399348 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 92585 71233 158 355 0 92226 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 370340

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 714
/proc/meminfo: memFree=31100468/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=502600 CPUtime=1481.98 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 54598 0 0 0 148116 82 0 0 20 0 1 0 56031613 514662400 98834 33554432000 4194304 5646918 140737459373536 140737459372232 4397505 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 125650 98834 158 355 0 125291 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 502600

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 715
/proc/meminfo: memFree=31284700/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=288952 CPUtime=1541.98 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 55912 0 0 0 154113 85 0 0 20 0 1 0 56031613 295886848 57921 33554432000 4194304 5646918 140737459373536 140737459372232 4402784 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 72238 57921 158 355 0 71879 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 288952

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 716
/proc/meminfo: memFree=31252300/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=370340 CPUtime=1601.97 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 56470 0 0 0 160110 87 0 0 20 0 1 0 56031613 379228160 79937 33554432000 4194304 5646918 140737459373536 140737459372232 4402736 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 92585 79937 158 355 0 92226 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 370340

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 717
/proc/meminfo: memFree=31149168/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=502600 CPUtime=1661.96 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 56969 0 0 0 166107 89 0 0 20 0 1 0 56031613 514662400 96274 33554432000 4194304 5646918 140737459373536 140737459372232 4403408 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 125650 96274 158 355 0 125291 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 502600

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 719
/proc/meminfo: memFree=31272888/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=288952 CPUtime=1721.95 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 58273 0 0 0 172103 92 0 0 20 0 1 0 56031613 295886848 64065 33554432000 4194304 5646918 140737459373536 140737459372232 4403110 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 72238 64065 158 355 0 71879 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 288952

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 723
/proc/meminfo: memFree=31193716/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=370340 CPUtime=1781.94 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 58835 0 0 0 178100 94 0 0 20 0 1 0 56031613 379228160 88129 33554432000 4194304 5646918 140737459373536 140737459372232 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 92585 88129 158 355 0 92226 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 370340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 723
/proc/meminfo: memFree=31152760/32872528 swapFree=338416/354768
[pid=622] ppid=619 vsize=502600 CPUtime=1800.04 cores=0,2,4,6
/proc/622/stat : 622 (minisatp) R 619 622 29294 0 -1 4202496 59309 0 0 0 179909 95 0 0 20 0 1 0 56031613 514662400 92178 33554432000 4194304 5646918 140737459373536 140737459372232 4402863 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/622/statm: 125650 92178 158 355 0 125291 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 502600

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 622 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.06
CPU user time (s): 1799.09
CPU system time (s): 0.967852
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 502600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 0.967852
maximum resident set size= 469252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59309
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= 133
involuntary context switches= 1971

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.78327 second user time and 6.77797 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-21 22:10:49
IDJOB=4115028
IDBENCH=2246
IDSOLVER=2555
FILE ID=node126/4115028-1466539849
RUNJOBID= node126-1466515257-29310
PBS_JOBID= 19942885
Free space on /tmp= 71736 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115028-1466539849/watcher-4115028-1466539849 -o /tmp/evaluation-result-4115028-1466539849/solver-4115028-1466539849 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466515257-29310 --watchdog 1960  minisatp HOME/instance-4115028-1466539849.opb

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

MD5SUM BENCH= 09bf68c118cd38b954800f61edb04c4b
RANDOM SEED=1759174229

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.121
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:        31665976 kB
Buffers:           20548 kB
Cached:            70476 kB
SwapCached:         1712 kB
Active:            84744 kB
Inactive:          63164 kB
Active(anon):      58392 kB
Inactive(anon):      948 kB
Active(file):      26352 kB
Inactive(file):    62216 kB
Unevictable:      354768 kB
Mlocked:          338416 kB
SwapTotal:      67108856 kB
SwapFree:       67099104 kB
Dirty:              6592 kB
Writeback:             0 kB
AnonPages:        517836 kB
Mapped:             8048 kB
Shmem:                 0 kB
Slab:             571960 kB
SReclaimable:      16104 kB
SUnreclaim:       555856 kB
KernelStack:        1424 kB
PageTables:         5068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     525812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    167936 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-4115028-1466539849.opb

Free space on /tmp at the end= 71728 MiB
End job on node126 at 2016-06-21 22:40:49