Trace number 4112557

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
minisatp 2012-10-02 git-d91742bSAT (TO)-50 1800.08 1800.4

General information on the benchmark

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

Solver Data 

0.00/0.00	c Parsing PB file...
0.99/1.02	c Converting 109601 PB-constraints to clauses...
0.99/1.03	c   -- Unit propagations: (none)
0.99/1.03	c   -- Detecting intervals from adjacent constraints: (none)
0.99/1.03	c   -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.19/1.21	============================[ Search Statistics ]==============================
1.19/1.21	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.21	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.19/1.21	===============================================================================
1.19/1.21	===============================================================================
1.19/1.21	c Found solution: -37
1.19/1.22	c ---[   0]---> Sorter-cost:78076     Base:
2.99/3.03	|  Eliminated clauses:           0.88 Mb                                      |
2.99/3.03	============================[ Search Statistics ]==============================
2.99/3.03	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.99/3.03	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.99/3.03	===============================================================================
2.99/3.03	|       100 |   30046   170107   475031 |    62372       90     24 |  0.234 % |
2.99/3.03	|       250 |   29942   170107   475031 |    68609      234     24 |  0.417 % |
2.99/3.03	|       475 |   29690   170107   475031 |    75470      417     32 |  0.861 % |
2.99/3.03	|       812 |   29300   170107   475031 |    83017      718     33 |  1.547 % |
2.99/3.03	|      1318 |   29025   170107   475031 |    91319     1111     32 |  2.031 % |
2.99/3.03	|      2077 |   28404   170107   475031 |   100451     1830     33 |  3.124 % |
2.99/3.03	|      3216 |   27213   170107   475031 |   110496     2865     36 |  5.220 % |
2.99/3.03	|      4924 |   25830   170107   475031 |   121546     4460     38 |  7.654 % |
2.99/3.03	===============================================================================
2.99/3.03	c Found solution: -42
2.99/3.04	c ---[   0]---> Sorter-cost:    0     Base:
10.79/10.80	|  Eliminated clauses:           0.90 Mb                                      |
10.79/10.80	============================[ Search Statistics ]==============================
10.79/10.80	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.79/10.80	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.79/10.80	===============================================================================
10.79/10.80	|      5472 |   25404   160059   429914 |    58688     4979     41 |  7.965 % |
10.79/10.80	|      5622 |   25342   160059   429914 |    64557     5126     40 |  8.073 % |
10.79/10.80	|      5847 |   25264   160059   429914 |    71012     5334     40 |  8.208 % |
10.79/10.80	|      6184 |   24998   160059   429914 |    78114     5658     41 |  8.670 % |
10.79/10.80	|      6690 |   24810   160059   429914 |    85925     6148     40 |  8.997 % |
10.79/10.80	|      7449 |   24545   160059   429914 |    94518     6871     40 |  9.457 % |
10.79/10.80	|      8588 |   24116   160059   429914 |   103969     7964     44 | 10.203 % |
10.79/10.80	|     10296 |   23517   160059   429914 |   114366     9585     46 | 11.244 % |
10.79/10.80	|     12858 |   22849   160059   429914 |   125803    12089     47 | 12.404 % |
10.79/10.80	|     16702 |   21696   160059   429914 |   138383    15760     50 | 14.408 % |
10.79/10.80	|     22468 |   20688   160059   429914 |   152222    21293     57 | 16.159 % |
10.79/10.80	|     31117 |   19549   160059   429914 |   167444    29753     68 | 18.138 % |
10.79/10.80	|     44091 |   18120   160059   429914 |   184189    42368     85 | 20.621 % |
10.79/10.80	===============================================================================
10.79/10.80	c Found solution: -46
10.79/10.81	c ---[   0]---> Sorter-cost:    0     Base:
127.17/127.26	|  Eliminated clauses:           0.93 Mb                                      |
127.17/127.26	============================[ Search Statistics ]==============================
127.17/127.26	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
127.17/127.26	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
127.17/127.26	===============================================================================
127.17/127.26	|     46965 |   17414   143397   358562 |    52578    44978     90 | 21.029 % |
127.17/127.26	|     47115 |   17414   143397   358562 |    57836    45128     89 | 21.029 % |
127.17/127.26	|     47340 |   17414   143397   358562 |    63620    45353     90 | 21.030 % |
127.17/127.26	|     47677 |   17352   143397   358562 |    69982    45687     90 | 21.136 % |
127.17/127.26	|     48183 |   17351   143397   358562 |    76980    46192     90 | 21.138 % |
127.17/127.26	|     48942 |   17351   143397   358562 |    84678    46951     90 | 21.138 % |
127.17/127.26	|     50081 |   17331   143397   358562 |    93146    48089     93 | 21.172 % |
127.17/127.26	|     51789 |   16932   143397   358562 |   102461    49780     92 | 21.859 % |
127.17/127.26	|     54351 |   16629   143397   358562 |   112707    51991     94 | 22.381 % |
127.17/127.26	|     58195 |   16298   143397   358562 |   123978    55819     95 | 22.951 % |
127.17/127.26	|     63961 |   16133   143397   358562 |   136376    61574    100 | 23.235 % |
127.17/127.26	|     72610 |   15776   143397   358562 |   150013    69812    106 | 23.850 % |
127.17/127.26	|     85584 |   15012   143397   358562 |   165015    82743    112 | 25.166 % |
127.17/127.26	|    105045 |   14461   143397   358562 |   181516   101825    124 | 26.115 % |
127.17/127.26	|    134237 |   13869   143397   358562 |   199668   130483    139 | 27.134 % |
127.17/127.26	|    178026 |   13342   143397   358562 |   219635   173652    158 | 28.042 % |
127.17/127.26	|    243710 |   12667   143397   358562 |   241598    37316    144 | 29.204 % |
127.17/127.26	===============================================================================
127.17/127.26	c Found solution: -47
127.17/127.27	c ---[   0]---> Sorter-cost:    0     Base:
379.83/379.91	|  Eliminated clauses:           0.96 Mb                                      |
379.83/379.91	============================[ Search Statistics ]==============================
379.83/379.91	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
379.83/379.91	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
379.83/379.91	===============================================================================
379.83/379.91	|    319577 |   11220   130363   305914 |    47799    30980    151 | 30.910 % |
379.83/379.91	|    319727 |   11220   130363   305914 |    52579    31130    150 | 30.910 % |
379.83/379.91	|    319952 |   11220   130363   305914 |    57837    31355    150 | 30.910 % |
379.83/379.91	|    320289 |   11219   130363   305914 |    63621    31691    150 | 30.912 % |
379.83/379.91	|    320795 |   11151   130363   305914 |    69983    32192    150 | 31.028 % |
379.83/379.91	|    321554 |   11063   130363   305914 |    76982    32945    150 | 31.178 % |
379.83/379.91	|    322693 |   11046   130363   305914 |    84680    34083    150 | 31.207 % |
379.83/379.91	|    324401 |   10939   130363   305914 |    93148    35783    150 | 31.389 % |
379.83/379.91	|    326963 |   10925   130363   305914 |   102463    38344    153 | 31.413 % |
379.83/379.91	|    330807 |   10780   130363   305914 |   112709    42180    151 | 31.659 % |
379.83/379.91	|    336573 |   10723   130363   305914 |   123980    47762    156 | 31.756 % |
379.83/379.91	|    345222 |   10567   130363   305914 |   136378    56402    156 | 32.022 % |
379.83/379.91	|    358196 |   10502   130363   305914 |   150016    69368    166 | 32.133 % |
379.83/379.91	|    377657 |   10172   130363   305914 |   165017    88752    176 | 32.694 % |
379.83/379.91	|    406849 |    9871   130363   305914 |   181519   117923    186 | 33.207 % |
379.83/379.91	|    450638 |    9439   130363   305914 |   199671   161485    201 | 33.942 % |
379.83/379.91	|    516322 |    8994   130363   305914 |   219638    36742    175 | 34.700 % |
379.83/379.91	|    614848 |    8291   130363   305914 |   241602   134326    229 | 35.896 % |
379.83/379.91	|    762637 |    7751   130363   305914 |   265762    41553    273 | 36.816 % |
379.83/379.91	===============================================================================
379.83/379.91	c Found solution: -48
379.83/379.92	c ---[   0]---> Sorter-cost:    0     Base:
1480.72/1481.03	|  Eliminated clauses:           0.97 Mb                                      |
1480.72/1481.03	============================[ Search Statistics ]==============================
1480.72/1481.03	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1480.72/1481.03	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1480.72/1481.03	===============================================================================
1480.72/1481.03	|    774560 |    7278   122133   271477 |    44782    53473    274 | 36.915 % |
1480.72/1481.03	|    774710 |    7278   122133   271477 |    49260    53623    273 | 36.915 % |
1480.72/1481.03	|    774935 |    7278   122133   271477 |    54186    53848    273 | 36.915 % |
1480.72/1481.03	|    775272 |    7278   122133   271477 |    59604    54185    273 | 36.915 % |
1480.72/1481.03	|    775778 |    7278   122133   271477 |    65565    54691    273 | 36.915 % |
1480.72/1481.03	|    776537 |    7266   122133   271477 |    72122    55449    271 | 36.935 % |
1480.72/1481.03	|    777676 |    7266   122133   271477 |    79334    56588    270 | 36.935 % |
1480.72/1481.03	|    779384 |    7266   122133   271477 |    87267    58296    267 | 36.935 % |
1480.72/1481.03	|    781946 |    7266   122133   271477 |    95994    60858    265 | 36.935 % |
1480.72/1481.03	|    785790 |    7266   122133   271477 |   105593    64702    261 | 36.935 % |
1480.72/1481.03	|    791556 |    7244   122133   271477 |   116153    70467    258 | 36.973 % |
1480.72/1481.03	|    800205 |    7178   122133   271477 |   127768    79112    250 | 37.085 % |
1480.72/1481.03	|    813179 |    7147   122133   271477 |   140545    92084    245 | 37.138 % |
1480.72/1481.03	|    832640 |    6974   122133   271477 |   154599   111532    246 | 37.432 % |
1480.72/1481.03	|    861832 |    6788   122133   271477 |   170059   140714    242 | 37.749 % |
1480.72/1481.03	|    905621 |    6698   122133   271477 |   187065   184495    242 | 37.902 % |
1480.72/1481.03	|    971305 |    6505   122133   271477 |   205772    73850    207 | 38.231 % |
1480.72/1481.03	|   1069831 |    6331   122133   271477 |   226349   172131    243 | 38.527 % |
1480.72/1481.03	|   1217620 |    6133   122133   271477 |   248984    99734    252 | 38.864 % |
1480.72/1481.03	|   1439303 |    5836   122133   271477 |   273883    79042    239 | 39.370 % |
1480.72/1481.03	|   1771828 |    5566   122133   271477 |   301271   147977    276 | 39.829 % |
1480.72/1481.03	|   2270616 |    5378   122133   271477 |   331398    59628    248 | 40.149 % |
1480.72/1481.03	===============================================================================
1480.72/1481.03	c Found solution: -49
1480.72/1481.03	c ---[   0]---> Sorter-cost:    0     Base:
1579.80/1580.10	|  Eliminated clauses:           0.98 Mb                                      |
1579.80/1580.10	============================[ Search Statistics ]==============================
1579.80/1580.10	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1579.80/1580.10	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1579.80/1580.10	===============================================================================
1579.80/1580.10	|   2496177 |    4983   117282   252005 |    43003    32060    228 | 40.407 % |
1579.80/1580.10	|   2496327 |    4983   117282   252005 |    47303    32210    227 | 40.407 % |
1579.80/1580.10	|   2496552 |    4983   117282   252005 |    52034    32435    227 | 40.407 % |
1579.80/1580.10	|   2496889 |    4983   117282   252005 |    57237    32772    227 | 40.407 % |
1579.80/1580.10	|   2497395 |    4983   117282   252005 |    62961    33278    226 | 40.407 % |
1579.80/1580.10	|   2498154 |    4983   117282   252005 |    69257    34037    226 | 40.407 % |
1579.80/1580.10	|   2499293 |    4983   117282   252005 |    76183    35176    226 | 40.407 % |
1579.80/1580.10	|   2501001 |    4983   117282   252005 |    83801    36884    226 | 40.407 % |
1579.80/1580.10	|   2503563 |    4980   117282   252005 |    92181    39445    228 | 40.412 % |
1579.80/1580.10	|   2507407 |    4980   117282   252005 |   101399    43289    223 | 40.412 % |
1579.80/1580.10	|   2513173 |    4980   117282   252005 |   111539    49055    225 | 40.412 % |
1579.80/1580.10	|   2521822 |    4961   117282   252005 |   122693    57703    225 | 40.444 % |
1579.80/1580.10	|   2534796 |    4945   117282   252005 |   134963    70676    231 | 40.472 % |
1579.80/1580.10	|   2554257 |    4925   117282   252005 |   148459    90134    231 | 40.506 % |
1579.80/1580.10	|   2583449 |    4912   117282   252005 |   163305   119325    241 | 40.528 % |
1579.80/1580.10	|   2627238 |    4886   117282   252005 |   179635   163112    244 | 40.572 % |
1579.80/1580.10	|   2692922 |    4828   117282   252005 |   197599    56288    238 | 40.670 % |
1579.80/1580.10	===============================================================================
1579.80/1580.10	c Found solution: -50
1579.80/1580.11	c ---[   0]---> Sorter-cost:    0     Base:
1800.07/1800.40	|  Eliminated clauses:           0.98 Mb                                      |
1800.07/1800.40	============================[ Search Statistics ]==============================
1800.07/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.07/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.07/1800.40	===============================================================================
1800.07/1800.40	|   2719725 |    4770   116836   250208 |    42839    21363    312 | 40.695 % |
1800.07/1800.40	|   2719875 |    4770   116836   250208 |    47123    21513    311 | 40.695 % |
1800.07/1800.40	|   2720100 |    4770   116836   250208 |    51836    21738    310 | 40.695 % |
1800.07/1800.40	|   2720437 |    4770   116836   250208 |    57019    22075    307 | 40.695 % |
1800.07/1800.40	|   2720943 |    4706   116836   250208 |    62721    22574    301 | 40.804 % |
1800.07/1800.40	|   2721702 |    4706   116836   250208 |    68994    23333    297 | 40.804 % |
1800.07/1800.40	|   2722841 |    4706   116836   250208 |    75893    24472    294 | 40.804 % |
1800.07/1800.40	|   2724549 |    4706   116836   250208 |    83482    26180    288 | 40.804 % |
1800.07/1800.40	|   2727111 |    4706   116836   250208 |    91831    28742    284 | 40.804 % |
1800.07/1800.40	|   2730955 |    4706   116836   250208 |   101014    32586    275 | 40.804 % |
1800.07/1800.40	|   2736721 |    4706   116836   250208 |   111115    38352    265 | 40.804 % |
1800.07/1800.40	|   2745370 |    4706   116836   250208 |   122227    46866    257 | 40.804 % |
1800.07/1800.40	|   2758344 |    4706   116836   250208 |   134449    59840    250 | 40.804 % |
1800.07/1800.40	|   2777805 |    4706   116836   250208 |   147894    79301    240 | 40.804 % |
1800.07/1800.40	|   2806997 |    4693   116836   250208 |   162684   108465    240 | 40.826 % |
1800.07/1800.40	|   2850786 |    4654   116836   250208 |   178952   152251    240 | 40.892 % |
1800.07/1800.40	|   2916470 |    4641   116836   250208 |   196848    44650    220 | 40.914 % |
1800.07/1800.40	|   3014996 |    4533   116836   250208 |   216532   143153    242 | 41.098 % |
1800.07/1800.40	c 
1800.07/1800.40	c *** TERMINATED ***
1800.07/1800.40	s SATISFIABLE
1800.07/1800.40	v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 x701 -x700 x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-50

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4112557-1466539988/watcher-4112557-1466539988 -o /tmp/evaluation-result-4112557-1466539988/solver-4112557-1466539988 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466514731-17584 --watchdog 1960 minisatp HOME/instance-4112557-1466539988.opb 

pid=22770
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.09 2.18 2.15 3/176 22773
/proc/meminfo: memFree=30929172/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=6780 CPUtime=0 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 410 0 0 0 0 0 0 0 20 0 1 0 56047763 6942720 287 33554432000 4194304 5646918 140735076970928 140737355916296 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 1695 287 94 355 0 1336 0

[startup+0.10016 s]
/proc/loadavg: 2.09 2.18 2.15 3/176 22773
/proc/meminfo: memFree=30929172/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=12464 CPUtime=0.09 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 1832 0 0 0 9 0 0 0 20 0 1 0 56047763 12763136 1709 33554432000 4194304 5646918 140735076970928 140735076970392 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 3116 1710 94 355 0 2757 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12464

[startup+0.200363 s]
/proc/loadavg: 2.09 2.18 2.15 3/176 22773
/proc/meminfo: memFree=30929172/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=18652 CPUtime=0.2 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 3352 0 0 0 20 0 0 0 20 0 1 0 56047763 19099648 3229 33554432000 4194304 5646918 140735076970928 140735076970392 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 4663 3231 94 355 0 4304 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 18652

[startup+0.300363 s]
/proc/loadavg: 2.09 2.18 2.15 3/176 22773
/proc/meminfo: memFree=30929172/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=24648 CPUtime=0.29 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 4880 0 0 0 29 0 0 0 20 0 1 0 56047763 25239552 4757 33554432000 4194304 5646918 140735076970928 140735076970392 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 6213 4758 94 355 0 5854 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24648

[startup+0.700259 s]
/proc/loadavg: 2.09 2.18 2.15 3/176 22773
/proc/meminfo: memFree=30929172/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=49292 CPUtime=0.69 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 11013 0 0 0 69 0 0 0 20 0 1 0 56047763 50475008 10890 33554432000 4194304 5646918 140735076970928 140735076970392 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 12323 10890 94 355 0 11964 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49292

[startup+1.50029 s]
/proc/loadavg: 2.09 2.18 2.15 4/177 22774
/proc/meminfo: memFree=30857716/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=94904 CPUtime=1.49 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 22543 0 0 0 144 5 0 0 20 0 1 0 56047763 97181696 22889 33554432000 4194304 5646918 140735076970928 140735076969304 4419487 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 23726 22889 136 355 0 23367 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94904

[startup+3.10029 s]
/proc/loadavg: 2.09 2.18 2.15 3/177 22774
/proc/meminfo: memFree=30885416/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=92904 CPUtime=3.09 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 23279 0 0 0 304 5 0 0 20 0 1 0 56047763 95133696 22433 33554432000 4194304 5646918 140735076970928 140735076969592 4424894 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 23226 22433 155 355 0 22867 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 92904

[startup+6.30029 s]
/proc/loadavg: 2.16 2.19 2.16 4/177 22774
/proc/meminfo: memFree=30881704/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=100044 CPUtime=6.29 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 24120 0 0 0 623 6 0 0 20 0 1 0 56047763 102445056 23766 33554432000 4194304 5646918 140735076970928 140735076969624 4402661 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 25011 23766 155 355 0 24652 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 100044

[startup+12.7003 s]
/proc/loadavg: 2.15 2.19 2.16 3/177 22774
/proc/meminfo: memFree=30864524/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=118900 CPUtime=12.69 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 25101 0 0 0 1263 6 0 0 20 0 1 0 56047763 121753600 27297 33554432000 4194304 5646918 140735076970928 140735076969208 4403495 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 29725 27297 156 355 0 29366 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 118900

[startup+25.5004 s]
/proc/loadavg: 2.11 2.18 2.16 3/177 22774
/proc/meminfo: memFree=30835736/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=168688 CPUtime=25.49 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 26211 0 0 0 2542 7 0 0 20 0 1 0 56047763 172736512 34532 33554432000 4194304 5646918 140735076970928 140735076969624 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 42172 34532 156 355 0 41813 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 168688

[startup+51.1004 s]
/proc/loadavg: 2.14 2.18 2.16 3/177 22774
/proc/meminfo: memFree=30788328/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=219496 CPUtime=51.09 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 26903 0 0 0 5101 8 0 0 20 0 1 0 56047763 224763904 46464 33554432000 4194304 5646918 140735076970928 140735076969624 4402781 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 54874 46464 156 355 0 54515 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 219496

[startup+102.3 s]
/proc/loadavg: 2.12 2.17 2.15 4/177 22775
/proc/meminfo: memFree=30857196/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=139668 CPUtime=102.28 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 27711 0 0 0 10217 11 0 0 20 0 1 0 56047763 143020032 29366 33554432000 4194304 5646918 140735076970928 140735076969640 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 34917 29366 156 355 0 34558 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 139668

[startup+162.3 s]
/proc/loadavg: 2.34 2.21 2.17 3/177 22776
/proc/meminfo: memFree=30788972/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=220576 CPUtime=162.26 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 31646 0 0 0 16211 15 0 0 20 0 1 0 56047763 225869824 46307 33554432000 4194304 5646918 140735076970928 140735076969624 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 55144 46307 158 355 0 54785 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 220576

[startup+222.307 s]
/proc/loadavg: 2.24 2.20 2.17 3/177 22778
/proc/meminfo: memFree=30706636/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=301964 CPUtime=222.26 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 32201 0 0 0 22209 17 0 0 20 0 1 0 56047763 309211136 66788 33554432000 4194304 5646918 140735076970928 140735076969624 4403187 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 75491 66788 158 355 0 75132 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 301964

[startup+282.3 s]
/proc/loadavg: 2.27 2.21 2.17 4/177 22779
/proc/meminfo: memFree=30695144/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=301964 CPUtime=282.25 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 34758 0 0 0 28205 20 0 0 20 0 1 0 56047763 309211136 59528 33554432000 4194304 5646918 140735076970928 140735076969624 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 75491 59528 158 355 0 75132 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 301964

[startup+342.3 s]
/proc/loadavg: 2.15 2.18 2.16 3/177 22780
/proc/meminfo: memFree=30603180/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=437448 CPUtime=342.24 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 36127 0 0 0 34201 23 0 0 20 0 1 0 56047763 447946752 80824 33554432000 4194304 5646918 140735076970928 140735076969064 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 109362 80824 158 355 0 109003 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 437448

[startup+402.3 s]
/proc/loadavg: 2.30 2.21 2.17 3/177 22781
/proc/meminfo: memFree=30723372/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=227764 CPUtime=402.23 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 38837 0 0 0 40196 27 0 0 20 0 1 0 56047763 233230336 49288 33554432000 4194304 5646918 140735076970928 140735076969624 4402950 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 56941 49288 158 355 0 56582 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 227764

[startup+462.3 s]
/proc/loadavg: 2.17 2.18 2.17 3/178 22785
/proc/meminfo: memFree=30609084/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=309152 CPUtime=462.22 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 39087 0 0 0 46193 29 0 0 20 0 1 0 56047763 316571648 71511 33554432000 4194304 5646918 140735076970928 140735076969624 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 77288 71511 158 355 0 76929 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 309152

[startup+522.3 s]
/proc/loadavg: 2.16 2.18 2.17 3/176 22786
/proc/meminfo: memFree=30662248/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=309348 CPUtime=522.21 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 42287 0 0 0 52188 33 0 0 20 0 1 0 56047763 316772352 59905 33554432000 4194304 5646918 140735076970928 140735076969624 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 77337 59905 158 355 0 76978 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 309348

[startup+582.3 s]
/proc/loadavg: 2.22 2.19 2.17 3/177 22788
/proc/meminfo: memFree=30618592/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=443632 CPUtime=582.2 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 43257 0 0 0 58185 35 0 0 20 0 1 0 56047763 454279168 80795 33554432000 4194304 5646918 140735076970928 140735076969064 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 110908 80795 158 355 0 110549 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 443632


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


[startup+882.307 s]
/proc/loadavg: 2.19 2.18 2.17 3/177 22850
/proc/meminfo: memFree=30582400/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=451400 CPUtime=882.13 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 50563 0 0 0 88163 50 0 0 20 0 1 0 56047763 462233600 94483 33554432000 4194304 5646918 140735076970928 140735076969064 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 112850 94483 158 355 0 112491 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 451400

[startup+942.3 s]
/proc/loadavg: 2.24 2.19 2.18 3/177 22851
/proc/meminfo: memFree=30794804/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=240504 CPUtime=942.12 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 52935 0 0 0 94159 53 0 0 20 0 1 0 56047763 246276096 47851 33554432000 4194304 5646918 140735076970928 140735076969624 4399239 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 60126 47851 158 355 0 59767 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 240504

[startup+1002.3 s]
/proc/loadavg: 2.26 2.20 2.18 3/177 22852
/proc/meminfo: memFree=30693352/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=454320 CPUtime=1002.11 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 53742 0 0 0 100155 56 0 0 20 0 1 0 56047763 465223680 86468 33554432000 4194304 5646918 140735076970928 140735076969624 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 113580 86468 158 355 0 113221 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 454320

[startup+1062.3 s]
/proc/loadavg: 2.14 2.17 2.17 3/178 22856
/proc/meminfo: memFree=30509192/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=456364 CPUtime=1062.1 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 54253 0 0 0 106152 58 0 0 20 0 1 0 56047763 467316736 112529 33554432000 4194304 5646918 140735076970928 140735076969064 4403408 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 114091 112529 158 355 0 113732 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 456364

[startup+1122.3 s]
/proc/loadavg: 2.17 2.17 2.17 4/177 22857
/proc/meminfo: memFree=30853788/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=195140 CPUtime=1122.09 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 56581 0 0 0 112146 63 0 0 20 0 1 0 56047763 199823360 45367 33554432000 4194304 5646918 140735076970928 140735076969624 4397494 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 48785 45367 158 355 0 48426 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 195140

[startup+1182.3 s]
/proc/loadavg: 2.12 2.15 2.17 3/177 22859
/proc/meminfo: memFree=30672564/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=326616 CPUtime=1182.08 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 57320 0 0 0 118142 66 0 0 20 0 1 0 56047763 334454784 75743 33554432000 4194304 5646918 140735076970928 140735076969624 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 81654 75743 158 355 0 81295 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 326616

[startup+1242.3 s]
/proc/loadavg: 2.09 2.14 2.16 4/177 22860
/proc/meminfo: memFree=30541864/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=459524 CPUtime=1242.07 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 58018 0 0 0 124140 67 0 0 20 0 1 0 56047763 470552576 97901 33554432000 4194304 5646918 140735076970928 140735076969064 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 114881 97901 158 355 0 114522 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 459524

[startup+1302.3 s]
/proc/loadavg: 2.28 2.17 2.17 3/177 22861
/proc/meminfo: memFree=30552696/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=676092 CPUtime=1302.05 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 58864 0 0 0 130135 70 0 0 20 0 1 0 56047763 692318208 115567 33554432000 4194304 5646918 140735076970928 140735076969624 4403136 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 169023 115567 158 355 0 168664 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 676092

[startup+1362.3 s]
/proc/loadavg: 2.16 2.15 2.16 3/177 22862
/proc/meminfo: memFree=30720484/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=248488 CPUtime=1362.04 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 60886 0 0 0 136129 75 0 0 20 0 1 0 56047763 254451712 60370 33554432000 4194304 5646918 140735076970928 140735076969624 4397505 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 62122 60370 158 355 0 61763 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 248488

[startup+1422.3 s]
/proc/loadavg: 2.06 2.12 2.15 3/177 22863
/proc/meminfo: memFree=30584868/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=462136 CPUtime=1422.03 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 61658 0 0 0 142125 78 0 0 20 0 1 0 56047763 473227264 95377 33554432000 4194304 5646918 140735076970928 140735076969624 4402774 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 115534 95377 158 355 0 115175 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 462136

[startup+1482.3 s]
/proc/loadavg: 2.08 2.11 2.14 4/177 22865
/proc/meminfo: memFree=30811588/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=149764 CPUtime=1482.02 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 62208 0 0 0 148122 80 0 0 20 0 1 0 56047763 153358336 35589 33554432000 4194304 5646918 140735076970928 140735076969640 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 37441 35589 158 355 0 37082 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 149764

[startup+1542.31 s]
/proc/loadavg: 2.07 2.11 2.14 3/177 22866
/proc/meminfo: memFree=30679268/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=331028 CPUtime=1542.01 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 64324 0 0 0 154119 82 0 0 20 0 1 0 56047763 338972672 68357 33554432000 4194304 5646918 140735076970928 140735076969624 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 82757 68357 158 355 0 82398 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 331028

[startup+1602.3 s]
/proc/loadavg: 2.02 2.08 2.13 3/177 22867
/proc/meminfo: memFree=30773232/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=249640 CPUtime=1602 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 68827 0 0 0 160113 87 0 0 20 0 1 0 56047763 255631360 50231 33554432000 4194304 5646918 140735076970928 140735076969624 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 62410 50231 158 355 0 62051 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 249640

[startup+1662.3 s]
/proc/loadavg: 2.01 2.07 2.11 4/178 22871
/proc/meminfo: memFree=30716876/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=331028 CPUtime=1661.99 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 69394 0 0 0 166110 89 0 0 20 0 1 0 56047763 338972672 74302 33554432000 4194304 5646918 140735076970928 140735076969624 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 82757 74302 158 355 0 82398 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 331028

[startup+1722.3 s]
/proc/loadavg: 2.06 2.07 2.11 3/177 22872
/proc/meminfo: memFree=30698248/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=331028 CPUtime=1721.99 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 72546 0 0 0 172106 93 0 0 20 0 1 0 56047763 338972672 64001 33554432000 4194304 5646918 140735076970928 140735076969624 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 82757 64001 158 355 0 82398 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 331028

[startup+1782.3 s]
/proc/loadavg: 2.13 2.08 2.11 3/177 22874
/proc/meminfo: memFree=30588260/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=463288 CPUtime=1781.97 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 73056 0 0 0 178102 95 0 0 20 0 1 0 56047763 474406912 83928 33554432000 4194304 5646918 140735076970928 140735076969624 4403136 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 115822 83928 158 355 0 115463 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 463288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.18 2.09 2.11 4/177 22874
/proc/meminfo: memFree=30799976/32872528 swapFree=877056/942464
[pid=22773] ppid=22770 vsize=168904 CPUtime=1800.07 cores=0,2,4,6
/proc/22773/stat : 22773 (minisatp) R 22770 22773 17568 0 -1 4202496 74373 0 0 0 179909 98 0 0 20 0 1 0 56047763 172957696 40203 33554432000 4194304 5646918 140735076970928 140735076969624 4403164 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22773/statm: 42226 40203 158 355 0 41867 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 168904

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

Child status: 0
Real time (s): 1800.4
CPU time (s): 1800.08
CPU user time (s): 1799.1
CPU system time (s): 0.986849
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 707412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 0.986849
maximum resident set size= 516108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74373
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= 78
involuntary context switches= 1857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.98148 second user time and 16.1835 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-21 22:13:08
IDJOB=4112557
IDBENCH=2247
IDSOLVER=2555
FILE ID=node113/4112557-1466539988
RUNJOBID= node113-1466514731-17584
PBS_JOBID= 19942876
Free space on /tmp= 71700 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-5.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112557-1466539988/watcher-4112557-1466539988 -o /tmp/evaluation-result-4112557-1466539988/solver-4112557-1466539988 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466514731-17584 --watchdog 1960  minisatp HOME/instance-4112557-1466539988.opb

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

MD5SUM BENCH= 98c81efbf429745622d6705fab70d2ee
RANDOM SEED=1336862881

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30930368 kB
Buffers:           30500 kB
Cached:            53124 kB
SwapCached:         2404 kB
Active:           232500 kB
Inactive:          43016 kB
Active(anon):     189196 kB
Inactive(anon):     5036 kB
Active(file):      43304 kB
Inactive(file):    37980 kB
Unevictable:      942464 kB
Mlocked:          877056 kB
SwapTotal:      67108856 kB
SwapFree:       67098972 kB
Dirty:              6276 kB
Writeback:             0 kB
AnonPages:       1143428 kB
Mapped:             8856 kB
Shmem:                 0 kB
Slab:             582352 kB
SReclaimable:      26224 kB
SUnreclaim:       556128 kB
KernelStack:        1424 kB
PageTables:         6604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1281404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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-4112557-1466539988.opb

Free space on /tmp at the end= 71696 MiB
End job on node113 at 2016-06-21 22:43:09