Trace number 353663

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, and are wall clock time (not CPU 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
minisat+ 1.14SAT (TO)-46 1800.1 1800.53

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb
MD5SUMdc857dc123c51e1f53f981679774fda8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-49
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints80072
Number of constraints which are clauses80072
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 1150
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 1150
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 1150
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c Parsing PB file...
2.10/2.14	c Converting 80072 PB-constraints to clauses...
2.10/2.15	c   -- Unit propagations: (none)
2.10/2.15	c   -- Detecting intervals from adjacent constraints: (none)
2.10/2.16	c   -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
2.29/2.34	c ==================================[MINISAT+]==================================
2.29/2.34	c | Conflicts | Original         | Learnt                           | Progress |
2.29/2.34	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.29/2.34	c ==============================================================================
2.29/2.34	c |         0 |   80072   160144 |   26690       0        0     nan |  0.000 % |
2.29/2.34	c ==============================================================================
2.29/2.34	c Found solution: -37
2.29/2.34	o -37
2.29/2.35	c ---[   0]---> Sorter-cost:63046     Base:
2.39/2.49	c ==================================[MINISAT+]==================================
2.39/2.49	c | Conflicts | Original         | Learnt                           | Progress |
2.39/2.49	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.39/2.49	c ==============================================================================
2.39/2.49	c |         0 |  147988   319466 |   49329       0        0     nan |  0.000 % |
2.69/2.79	c |       100 |  147362   318162 |   54261      77      551     7.2 |  0.736 % |
2.99/3.04	c |       250 |  146841   317054 |   59688     209     2448    11.7 |  1.369 % |
3.30/3.39	c |       475 |  145811   314812 |   65656     398     4382    11.0 |  2.680 % |
3.89/3.96	c |       812 |  144010   310871 |   72222     677     8303    12.3 |  4.995 % |
4.79/4.81	c |      1318 |  141157   304558 |   79444    1060    12573    11.9 |  8.737 % |
5.89/5.96	c |      2077 |  136776   294746 |   87389    1627    19630    12.1 | 14.610 % |
7.59/7.66	c |      3216 |  131215   282210 |   96128    2497    29631    11.9 | 22.142 % |
9.89/9.98	c |      4924 |  123727   265107 |  105741    3779    49504    13.1 | 32.476 % |
11.89/11.91	c ==============================================================================
11.89/11.91	c Found solution: -39
11.89/11.91	o -39
11.89/11.92	c ---[   0]---> Sorter-cost:    0     Base:
11.89/12.00	c ==================================[MINISAT+]==================================
11.89/12.00	c | Conflicts | Original         | Learnt                           | Progress |
11.89/12.00	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
11.89/12.00	c ==============================================================================
11.89/12.00	c |      6427 |  116683   248991 |   38894    4766    61496    12.9 | 32.476 % |
12.10/12.15	c |      6527 |  116204   247870 |   42783    4831    62291    12.9 | 43.100 % |
12.29/12.30	c |      6677 |  115663   246594 |   47061    4934    63665    12.9 | 43.849 % |
12.49/12.54	c |      6902 |  114831   244655 |   51767    5110    65775    12.9 | 44.973 % |
12.79/12.89	c |      7239 |  113564   241690 |   56944    5351    69474    13.0 | 46.827 % |
13.39/13.47	c |      7746 |  111539   236942 |   62639    5688    74185    13.0 | 49.645 % |
14.19/14.28	c |      8505 |  108258   229196 |   68903    6014    79861    13.3 | 54.380 % |
14.99/15.04	c |      9645 |  106402   224792 |   75793    6813    92319    13.6 | 57.095 % |
16.29/16.30	c |     11355 |  103049   216804 |   83372    7947   113001    14.2 | 62.021 % |
17.99/18.04	c |     13917 |   98383   205681 |   91710    9480   147925    15.6 | 68.784 % |
19.99/20.08	c |     17761 |   94811   197102 |  100881   12081   211420    17.5 | 74.113 % |
22.48/22.59	c |     23527 |   91940   190193 |  110969   16325   396509    24.3 | 78.405 % |
23.68/23.74	c ==============================================================================
23.68/23.74	c Found solution: -40
23.68/23.74	o -40
23.68/23.76	c ---[   0]---> Sorter-cost:    0     Base:
23.78/23.84	c ==================================[MINISAT+]==================================
23.78/23.84	c | Conflicts | Original         | Learnt                           | Progress |
23.78/23.84	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
23.78/23.84	c ==============================================================================
23.78/23.84	c |     26517 |   91505   189103 |   30501   18993   511336    26.9 | 78.405 % |
23.78/23.89	c |     26617 |   91453   188977 |   33551   19046   513223    26.9 | 79.155 % |
23.88/23.95	c |     26767 |   91403   188856 |   36906   19147   514654    26.9 | 79.230 % |
23.98/24.01	c |     26993 |   91347   188722 |   40596   19332   517806    26.8 | 79.308 % |
24.09/24.11	c |     27330 |   91347   188722 |   44656   19669   531077    27.0 | 79.308 % |
24.19/24.27	c |     27836 |   91347   188722 |   49122   20175   549790    27.3 | 79.308 % |
24.48/24.53	c |     28595 |   91336   188697 |   54034   20920   586573    28.0 | 79.323 % |
24.98/25.03	c |     29734 |   91040   187971 |   59437   21902   671987    30.7 | 79.772 % |
25.58/25.69	c |     31442 |   91021   187926 |   65381   23576   759400    32.2 | 79.800 % |
26.58/26.65	c |     34004 |   90924   187692 |   71919   26012   920916    35.4 | 79.947 % |
28.18/28.23	c ==============================================================================
28.18/28.23	c Found solution: -42
28.18/28.23	o -42
28.18/28.24	c ---[   0]---> Sorter-cost:    0     Base:
28.28/28.34	c ==================================[MINISAT+]==================================
28.28/28.34	c | Conflicts | Original         | Learnt                           | Progress |
28.28/28.34	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
28.28/28.34	c ==============================================================================
28.28/28.34	c |     37368 |   90426   186513 |   30142   28875  1073664    37.2 | 79.947 % |
28.38/28.45	c |     37468 |   90272   186133 |   33156   28788  1071210    37.2 | 80.912 % |
28.49/28.53	c |     37618 |   90272   186133 |   36471   28938  1078094    37.3 | 80.912 % |
28.68/28.72	c |     37845 |   90055   185604 |   40119   28990  1084507    37.4 | 81.229 % |
28.98/29.03	c |     38182 |   89765   184919 |   44130   29091  1093267    37.6 | 81.654 % |
29.28/29.31	c |     38690 |   89677   184699 |   48543   29419  1114490    37.9 | 81.794 % |
29.59/29.66	c |     39449 |   89637   184597 |   53398   30143  1175417    39.0 | 81.859 % |
30.08/30.17	c |     40590 |   89554   184394 |   58738   31209  1251534    40.1 | 81.988 % |
30.98/31.05	c |     42298 |   89419   184073 |   64612   32883  1358367    41.3 | 82.189 % |
32.38/32.43	c |     44861 |   89408   184048 |   71073   35430  1659938    46.9 | 82.204 % |
34.48/34.55	c |     48706 |   89194   183528 |   78180   38940  1937517    49.8 | 82.527 % |
38.08/38.12	c |     54473 |   89111   183331 |   85998   44007  2548488    57.9 | 82.650 % |
43.98/44.03	c |     63122 |   88944   182914 |   94598   52476  3364323    64.1 | 82.920 % |
55.47/55.56	c |     76097 |   88814   182580 |  104058   65300  4943713    75.7 | 83.140 % |
57.27/57.37	c ==============================================================================
57.27/57.37	c Found solution: -43
57.27/57.37	o -43
57.27/57.38	c ---[   0]---> Sorter-cost:    0     Base:
57.47/57.53	c ==================================[MINISAT+]==================================
57.47/57.53	c | Conflicts | Original         | Learnt                           | Progress |
57.47/57.53	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
57.47/57.53	c ==============================================================================
57.47/57.53	c |     77862 |   88826   182643 |   29608   67005  5167051    77.1 | 83.140 % |
57.67/57.78	c |     77964 |   88784   182545 |   32568   67090  5171321    77.1 | 83.214 % |
57.87/57.92	c |     78114 |   88784   182545 |   35825   67240  5180522    77.0 | 83.214 % |
58.18/58.20	c |     78339 |   88743   182450 |   39408   67391  5196716    77.1 | 83.270 % |
58.47/58.59	c |     78678 |   88708   182365 |   43349   67686  5220332    77.1 | 83.324 % |
59.07/59.17	c |     79184 |   88704   182355 |   47683   68174  5263297    77.2 | 83.330 % |
60.17/60.23	c |     79943 |   88664   182255 |   52452   68714  5301058    77.1 | 83.395 % |
61.38/61.47	c |     81082 |   88585   182068 |   57697   69580  5394262    77.5 | 83.511 % |
63.18/63.22	c |     82790 |   88519   181910 |   63467   71223  5554743    78.0 | 83.610 % |
65.67/65.77	c |     85352 |   88517   181906 |   69814   73749  5848295    79.3 | 83.612 % |
70.28/70.36	c |     89198 |   88366   181535 |   76795   77183  6388766    82.8 | 83.847 % |
77.77/77.88	c |     94964 |   88258   181285 |   84475   82844  7485378    90.4 | 83.993 % |
81.57/81.62	c ==============================================================================
81.57/81.62	c Found solution: -44
81.57/81.62	o -44
81.57/81.64	c ---[   0]---> Sorter-cost:    0     Base:
81.77/81.82	c ==================================[MINISAT+]==================================
81.77/81.82	c | Conflicts | Original         | Learnt                           | Progress |
81.77/81.82	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
81.77/81.82	c ==============================================================================
81.77/81.82	c |     98263 |   88158   181016 |   29386   85817  7763842    90.5 | 83.993 % |
81.97/82.07	c |     98364 |   88158   181016 |   32324   22455  2013545    89.7 | 84.158 % |
82.07/82.15	c |     98514 |   88158   181016 |   35557   22605  2027056    89.7 | 84.158 % |
82.17/82.23	c |     98740 |   88158   181016 |   39112   22831  2038443    89.3 | 84.158 % |
82.38/82.42	c |     99077 |   88158   181016 |   43024   23168  2078602    89.7 | 84.158 % |
82.57/82.69	c |     99583 |   88158   181016 |   47326   23674  2126008    89.8 | 84.158 % |
83.07/83.11	c |    100342 |   88158   181016 |   52059   24433  2186274    89.5 | 84.158 % |
83.67/83.75	c |    101484 |   88150   180996 |   57265   25550  2295749    89.9 | 84.170 % |
84.77/84.85	c |    103195 |   88096   180868 |   62991   27218  2436552    89.5 | 84.250 % |
86.37/86.42	c |    105757 |   88096   180868 |   69290   29780  2702781    90.8 | 84.250 % |
88.67/88.73	c |    109601 |   88046   180746 |   76219   33602  3048134    90.7 | 84.328 % |
93.07/93.20	c |    115367 |   88046   180746 |   83841   39368  3668323    93.2 | 84.328 % |
99.87/99.90	c |    124016 |   88046   180746 |   92225   48017  4913028   102.3 | 84.328 % |
113.06/113.11	c |    136990 |   87949   180511 |  101448   60968  6988775   114.6 | 84.476 % |
135.86/135.91	c |    156451 |   87902   180392 |  111593   80363  9395711   116.9 | 84.553 % |
149.65/149.76	c ==============================================================================
149.65/149.76	c Found solution: -45
149.65/149.76	o -45
149.65/149.78	c ---[   0]---> Sorter-cost:    0     Base:
149.85/149.99	c ==================================[MINISAT+]==================================
149.85/149.99	c | Conflicts | Original         | Learnt                           | Progress |
149.85/149.99	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
149.85/149.99	c ==============================================================================
149.85/149.99	c |    166657 |   87834   180240 |   29278   90507 10717436   118.4 | 84.553 % |
150.15/150.26	c |    166757 |   87834   180240 |   32205   23788  1691897    71.1 | 84.668 % |
150.25/150.37	c |    166907 |   87789   180133 |   35426   23933  1702187    71.1 | 84.735 % |
150.45/150.50	c |    167132 |   87789   180133 |   38969   24158  1720163    71.2 | 84.735 % |
150.66/150.72	c |    167470 |   87789   180133 |   42865   24496  1758488    71.8 | 84.735 % |
151.05/151.18	c |    167976 |   87628   179729 |   47152   24984  1795588    71.9 | 84.980 % |
151.66/151.72	c |    168736 |   87561   179560 |   51867   25707  1847965    71.9 | 85.083 % |
152.35/152.45	c |    169875 |   87561   179560 |   57054   26846  1997820    74.4 | 85.083 % |
153.35/153.42	c |    171583 |   87555   179546 |   62759   28551  2143274    75.1 | 85.092 % |
154.75/154.80	c |    174145 |   87543   179518 |   69035   31109  2357991    75.8 | 85.109 % |
157.55/157.62	c |    177989 |   87543   179518 |   75939   34953  2874390    82.2 | 85.109 % |
162.05/162.10	c |    183757 |   87535   179500 |   83533   40698  3596006    88.4 | 85.120 % |
170.65/170.79	c |    192406 |   87535   179500 |   91886   49347  4807829    97.4 | 85.120 % |
183.55/183.65	c |    205380 |   87464   179337 |  101075   62280  6436341   103.3 | 85.217 % |
207.94/208.08	c |    224841 |   87464   179337 |  111183   81741  9073077   111.0 | 85.217 % |
257.13/257.21	c |    254033 |   87464   179337 |  122301  110933 13542456   122.1 | 85.217 % |
349.01/349.17	c |    297822 |   87384   179141 |  134531  154625 20442372   132.2 | 85.339 % |
440.29/440.48	c |    363506 |   87216   178745 |  147984   67514  7609443   112.7 | 85.584 % |
505.07/505.25	c ==============================================================================
505.07/505.25	c Found solution: -46
505.07/505.25	o -46
505.07/505.27	c ---[   0]---> Sorter-cost:    0     Base:
505.37/505.51	c ==================================[MINISAT+]==================================
505.37/505.51	c | Conflicts | Original         | Learnt                           | Progress |
505.37/505.51	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
505.37/505.51	c ==============================================================================
505.37/505.52	c |    411751 |   87018   178221 |   29006  115674 13737610   118.8 | 85.584 % |
505.87/506.08	c |    411851 |   87018   178221 |   31906   21029  1773539    84.3 | 85.899 % |
505.97/506.15	c |    412001 |   87018   178221 |   35097   21179  1780724    84.1 | 85.899 % |
506.07/506.26	c |    412226 |   87018   178221 |   38606   21404  1796727    83.9 | 85.899 % |
506.27/506.42	c |    412563 |   87018   178221 |   42467   21741  1823239    83.9 | 85.899 % |
506.47/506.67	c |    413069 |   87018   178221 |   46714   22247  1857821    83.5 | 85.899 % |
506.97/507.15	c |    413829 |   86958   178068 |   51385   22992  1915092    83.3 | 85.996 % |
507.47/507.68	c |    414968 |   86958   178068 |   56524   24131  1997649    82.8 | 85.996 % |
508.47/508.60	c |    416677 |   86958   178068 |   62176   25840  2205825    85.4 | 85.996 % |
509.77/509.91	c |    419239 |   86958   178068 |   68394   28402  2468274    86.9 | 85.996 % |
512.07/512.23	c |    423084 |   86894   177916 |   75234   32224  2878031    89.3 | 86.088 % |
514.76/514.94	c |    428850 |   86849   177808 |   82757   37983  3312211    87.2 | 86.155 % |
520.86/521.03	c |    437499 |   86843   177792 |   91033   46629  4208316    90.3 | 86.166 % |
532.86/533.00	c |    450473 |   86832   177765 |  100136   59597  5749774    96.5 | 86.183 % |
553.86/554.00	c |    469936 |   86832   177765 |  110150   79060  8000314   101.2 | 86.183 % |
594.75/594.93	c |    499128 |   86828   177757 |  121165  108248 11033862   101.9 | 86.187 % |
670.63/670.87	c |    542917 |   86779   177640 |  133281  151704 16519856   108.9 | 86.260 % |
758.60/758.83	c |    608602 |   86727   177520 |  146609   67402  7115433   105.6 | 86.333 % |
912.57/912.86	c |    707130 |   86677   177394 |  161270  165918 18275033   110.1 | 86.415 % |
1140.82/1141.12	c |    854921 |   86607   177225 |  177398  137161 14829842   108.1 | 86.520 % |
1555.41/1555.88	c |   1076605 |   86592   177190 |  195137  163699 11940908    72.9 | 86.542 % |
1800.06/1800.50	c 
1800.06/1800.50	c *** TERMINATED ***
1800.06/1800.50	s SATISFIABLE
1800.06/1800.50	v -x1150 -x1149 x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134
1800.06/1800.50	v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117
1800.06/1800.50	v -x1116 -x1115 -x1114 -x1113 -x1112 x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100
1800.06/1800.50	v -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083
1800.06/1800.50	v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066
1800.06/1800.50	v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 x1059 -x1058 x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048
1800.06/1800.50	v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031
1800.06/1800.50	v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014
1800.06/1800.50	v x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 x998 -x997 -x996
1800.06/1800.50	v -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 x980 -x979 -x978 -x977 -x976 -x975
1800.06/1800.50	v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 x955 -x954
1800.06/1800.50	v -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933
1800.06/1800.50	v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912
1800.06/1800.50	v x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891
1800.06/1800.50	v -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 x870
1800.06/1800.50	v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849
1800.06/1800.50	v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828
1800.06/1800.50	v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807
1800.06/1800.50	v -x806 -x805 x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786
1800.06/1800.50	v -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768 -x767 -x766 -x765
1800.06/1800.50	v -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744
1800.06/1800.50	v -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 x726 -x725 -x724 -x723
1800.06/1800.50	v -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 x705 -x704 -x703 -x702
1800.06/1800.50	v -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681
1800.06/1800.50	v -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660
1800.06/1800.50	v -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639
1800.06/1800.50	v -x638 -x637 -x636 -x635 -x634 x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618
1800.06/1800.50	v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597
1800.06/1800.50	v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 x579 -x578 -x577 -x576
1800.06/1800.50	v -x575 x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555
1800.06/1800.50	v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534
1800.06/1800.50	v -x533 -x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513
1800.06/1800.50	v x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492
1800.06/1800.50	v -x491 -x490 -x489 -x488 x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471
1800.06/1800.50	v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450
1800.06/1800.50	v -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429
1800.06/1800.50	v -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408
1800.06/1800.50	v -x407 -x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 x388 -x387
1800.06/1800.50	v -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366
1800.06/1800.50	v -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345
1800.06/1800.50	v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 x326 -x325 -x324
1800.06/1800.50	v -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303
1800.06/1800.50	v -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 -x282
1800.06/1800.50	v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261
1800.06/1800.50	v -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240
1800.06/1800.50	v x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219
1800.06/1800.50	v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198
1800.06/1800.50	v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177
1800.06/1800.50	v -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156
1800.06/1800.50	v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135
1800.06/1800.50	v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114
1800.06/1800.50	v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92
1800.06/1800.50	v -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
1800.06/1800.50	v -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
1800.06/1800.50	v -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
1800.06/1800.50	v -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data (download as text)

OK	-46

Conversion Script Data (download as text)

/tmp/evaluation/353663-1176672258/instance-353663-1176672258.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node29/watcher-353663-1176672258 -o ROOT/results/node29/solver-353663-1176672258 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353663-1176672258/minisat+ /tmp/evaluation/353663-1176672258/instance-353663-1176672258.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.12 1.07 1.02 2/77 1022
/proc/meminfo: memFree=1597192/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=1312 CPUtime=0
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 162 0 0 0 0 0 0 0 18 0 1 0 115141551 1343488 147 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 328 147 74 215 0 110 0

[startup+0.0301931 s]
/proc/loadavg: 1.12 1.07 1.02 2/77 1022
/proc/meminfo: memFree=1597192/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=1444 CPUtime=0.02
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 210 0 0 0 2 0 0 0 18 0 1 0 115141551 1478656 195 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 361 195 74 215 0 143 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1444

[startup+0.101197 s]
/proc/loadavg: 1.12 1.07 1.02 2/77 1022
/proc/meminfo: memFree=1597192/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=2120 CPUtime=0.09
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 360 0 0 0 9 0 0 0 18 0 1 0 115141551 2170880 345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 530 345 74 215 0 312 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2120

[startup+0.30121 s]
/proc/loadavg: 1.12 1.07 1.02 2/77 1022
/proc/meminfo: memFree=1597192/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=3648 CPUtime=0.29
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 774 0 0 0 29 0 0 0 19 0 1 0 115141551 3735552 759 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 912 759 74 215 0 694 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3648

[startup+0.701234 s]
/proc/loadavg: 1.12 1.07 1.02 2/77 1022
/proc/meminfo: memFree=1597192/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=7056 CPUtime=0.69
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 1595 0 0 0 69 0 0 0 23 0 1 0 115141551 7225344 1580 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 1764 1580 74 215 0 1546 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7056

[startup+1.50128 s]
/proc/loadavg: 1.12 1.07 1.02 2/78 1023
/proc/meminfo: memFree=1588608/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=13620 CPUtime=1.49
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 3260 0 0 0 148 1 0 0 25 0 1 0 115141551 13946880 3245 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 3405 3245 74 215 0 3187 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13620

[startup+3.10138 s]
/proc/loadavg: 1.11 1.07 1.02 2/78 1023
/proc/meminfo: memFree=1579264/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=30036 CPUtime=3.09
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 7182 0 0 0 295 14 0 0 24 0 1 0 115141551 30756864 6986 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582019 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 7509 6986 110 215 0 7291 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30036

[startup+6.30158 s]
/proc/loadavg: 1.11 1.07 1.02 2/78 1023
/proc/meminfo: memFree=1569408/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=30036 CPUtime=6.29
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 7182 0 0 0 615 14 0 0 25 0 1 0 115141551 30756864 6986 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569804 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 7509 6986 110 215 0 7291 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30036

[startup+12.702 s]
/proc/loadavg: 1.09 1.07 1.01 3/78 1023
/proc/meminfo: memFree=1569152/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=30416 CPUtime=12.69
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 7243 0 0 0 1255 14 0 0 25 0 1 0 115141551 31145984 7047 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569772 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 7604 7047 110 215 0 7386 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30416

[startup+25.5018 s]
/proc/loadavg: 1.08 1.06 1.01 2/78 1023
/proc/meminfo: memFree=1569216/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=30416 CPUtime=25.48
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 7243 0 0 0 2534 14 0 0 25 0 1 0 115141551 31145984 7047 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574282 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 7604 7047 110 215 0 7386 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30416

[startup+51.1014 s]
/proc/loadavg: 1.05 1.06 1.01 2/78 1023
/proc/meminfo: memFree=1556864/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=43388 CPUtime=51.07
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 10482 0 0 0 5091 16 0 0 25 0 1 0 115141551 44429312 10286 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573851 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 10847 10286 110 215 0 10629 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 43388

[startup+102.306 s]
/proc/loadavg: 1.02 1.05 1.01 2/78 1023
/proc/meminfo: memFree=1541312/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=58352 CPUtime=102.27
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 14220 0 0 0 10206 21 0 0 25 0 1 0 115141551 59752448 14024 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 14588 14024 110 215 0 14370 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 58352

[startup+162.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/78 1023
/proc/meminfo: memFree=1528832/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=70816 CPUtime=162.25
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 17340 0 0 0 16200 25 0 0 25 0 1 0 115141551 72515584 17144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574431 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 17704 17144 110 215 0 17486 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 70816

[startup+222.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 1023
/proc/meminfo: memFree=1528768/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=70816 CPUtime=222.24
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 17341 0 0 0 22198 26 0 0 25 0 1 0 115141551 72515584 17145 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 17704 17145 110 215 0 17486 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 70816

[startup+282.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 1023
/proc/meminfo: memFree=1507648/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=92244 CPUtime=282.23
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 22679 0 0 0 28192 31 0 0 25 0 1 0 115141551 94457856 22483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 23061 22483 110 215 0 22843 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 92244

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 1023
/proc/meminfo: memFree=1489536/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=110348 CPUtime=342.21
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 27158 0 0 0 34185 36 0 0 25 0 1 0 115141551 112996352 26962 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 27587 26962 110 215 0 27369 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 110348

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 1023
/proc/meminfo: memFree=1475648/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=124056 CPUtime=402.19
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30607 0 0 0 40180 39 0 0 25 0 1 0 115141551 127033344 30411 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 31014 30411 110 215 0 30796 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 124056

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1023
/proc/meminfo: memFree=1475648/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=124056 CPUtime=462.18
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30607 0 0 0 46178 40 0 0 25 0 1 0 115141551 127033344 30411 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 31014 30411 110 215 0 30796 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 124056

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1023
/proc/meminfo: memFree=1475648/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=124036 CPUtime=522.16
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30607 0 0 0 52176 40 0 0 25 0 1 0 115141551 127012864 30411 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574553 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 31009 30411 110 215 0 30791 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 124036

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1023
/proc/meminfo: memFree=1475584/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=124036 CPUtime=582.15
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30607 0 0 0 58174 41 0 0 25 0 1 0 115141551 127012864 30411 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 31009 30411 110 215 0 30791 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 124036

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1023
/proc/meminfo: memFree=1475584/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=124036 CPUtime=642.14
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30607 0 0 0 64172 42 0 0 25 0 1 0 115141551 127012864 30411 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 31009 30411 110 215 0 30791 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 124036


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

[startup+882.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 1025
/proc/meminfo: memFree=1475392/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=124024 CPUtime=882.07
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30609 0 0 0 88164 43 0 0 25 0 1 0 115141551 127000576 30413 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 31006 30413 110 215 0 30788 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 124024

[startup+942.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 1025
/proc/meminfo: memFree=1475456/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=124024 CPUtime=942.06
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30614 0 0 0 94162 44 0 0 25 0 1 0 115141551 127000576 30418 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580798 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 31006 30418 110 215 0 30788 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 124024

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1025
/proc/meminfo: memFree=1475392/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=124024 CPUtime=1002.04
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30636 0 0 0 100160 44 0 0 25 0 1 0 115141551 127000576 30440 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 31006 30440 110 215 0 30788 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 124024

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1025
/proc/meminfo: memFree=1475392/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=124024 CPUtime=1062.03
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30636 0 0 0 106158 45 0 0 25 0 1 0 115141551 127000576 30440 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 31006 30440 110 215 0 30788 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 124024

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1025
/proc/meminfo: memFree=1475392/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=124024 CPUtime=1122.02
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30636 0 0 0 112156 46 0 0 25 0 1 0 115141551 127000576 30440 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 31006 30440 110 215 0 30788 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 124024

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1025
/proc/meminfo: memFree=1475328/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=124024 CPUtime=1182
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30636 0 0 0 118154 46 0 0 25 0 1 0 115141551 127000576 30440 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572684 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 31006 30440 110 215 0 30788 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 124024

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1025
/proc/meminfo: memFree=1475328/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=124024 CPUtime=1241.99
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30636 0 0 0 124152 47 0 0 25 0 1 0 115141551 127000576 30440 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 31006 30440 110 215 0 30788 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 124024

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1025
/proc/meminfo: memFree=1474112/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=125208 CPUtime=1301.98
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 30922 0 0 0 130151 47 0 0 25 0 1 0 115141551 128212992 30726 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 31302 30726 110 215 0 31084 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 125208

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1025
/proc/meminfo: memFree=1468736/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=130856 CPUtime=1361.97
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 32263 0 0 0 136147 50 0 0 25 0 1 0 115141551 133996544 32067 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 32714 32067 110 215 0 32496 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 130856

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1025
/proc/meminfo: memFree=1468672/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=130856 CPUtime=1421.95
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 32263 0 0 0 142145 50 0 0 25 0 1 0 115141551 133996544 32067 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 32714 32067 110 215 0 32496 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 130856

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1025
/proc/meminfo: memFree=1468672/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=130856 CPUtime=1481.94
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 32263 0 0 0 148143 51 0 0 25 0 1 0 115141551 133996544 32067 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 32714 32067 110 215 0 32496 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 130856

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1025
/proc/meminfo: memFree=1468736/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=130856 CPUtime=1541.92
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 32263 0 0 0 154141 51 0 0 25 0 1 0 115141551 133996544 32067 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574282 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 32714 32067 110 215 0 32496 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 130856

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1025
/proc/meminfo: memFree=1468672/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=131092 CPUtime=1601.91
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 32285 0 0 0 160139 52 0 0 25 0 1 0 115141551 134238208 32089 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 32773 32089 110 215 0 32555 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 131092

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1025
/proc/meminfo: memFree=1468672/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=131092 CPUtime=1661.89
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 32285 0 0 0 166137 52 0 0 25 0 1 0 115141551 134238208 32089 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576837 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 32773 32089 110 215 0 32555 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 131092

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1025
/proc/meminfo: memFree=1468608/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=131092 CPUtime=1721.88
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 32302 0 0 0 172135 53 0 0 25 0 1 0 115141551 134238208 32106 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568479 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 32773 32106 110 215 0 32555 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 131092

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1025
/proc/meminfo: memFree=1468544/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=131092 CPUtime=1781.86
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 32303 0 0 0 178133 53 0 0 25 0 1 0 115141551 134238208 32107 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 32773 32107 110 215 0 32555 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 131092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1025
/proc/meminfo: memFree=1468608/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=131092 CPUtime=1800.06
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 32303 0 0 0 179953 53 0 0 25 0 1 0 115141551 134238208 32107 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 32773 32107 110 215 0 32555 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 131092

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

Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1025
/proc/meminfo: memFree=1468608/2055920 swapFree=4190416/4192956
[pid=1022] ppid=1020 vsize=131092 CPUtime=1800.06
/proc/1022/stat : 1022 (minisat+) R 1020 1022 382 0 -1 4194304 32303 0 0 0 179953 53 0 0 25 0 1 0 115141551 134238208 32107 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1022/statm: 32773 32107 110 215 0 32555 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 131092

Child status: 10
Real time (s): 1800.53
CPU time (s): 1800.1
CPU user time (s): 1799.54
CPU system time (s): 0.558915
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 131092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.558915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32305
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= 201
involuntary context switches= 35919

runsolver used 2.20866 second user time and 4.42933 second system time

The end

Launcher Data (download as text)

Begin job on node29 on Sun Apr 15 21:24:18 UTC 2007

IDJOB= 353663
IDBENCH= 2260
IDSOLVER= 156
FILE ID= node29/353663-1176672258

PBS_JOBID= 4559951

Free space on /tmp= 66560 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb
COMMAND LINE= /tmp/evaluation/353663-1176672258/minisat+ /tmp/evaluation/353663-1176672258/instance-353663-1176672258.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node29/convwatcher-353663-1176672258 -o ROOT/results/node29/conversion-353663-1176672258 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353663-1176672258/instance-353663-1176672258.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-353663-1176672258 -o ROOT/results/node29/solver-353663-1176672258 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/353663-1176672258/minisat+ /tmp/evaluation/353663-1176672258/instance-353663-1176672258.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  dc857dc123c51e1f53f981679774fda8

RANDOM SEED= 542175726

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node29.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.224
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.224
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1597600 kB
Buffers:         82464 kB
Cached:         232152 kB
SwapCached:        496 kB
Active:         211220 kB
Inactive:       160864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1597600 kB
SwapTotal:     4192956 kB
SwapFree:      4190416 kB
Dirty:            4288 kB
Writeback:           0 kB
Mapped:          73540 kB
Slab:            71696 kB
Committed_AS:  1958380 kB
PageTables:       1876 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB

End job on node29 on Sun Apr 15 21:54:21 UTC 2007