Trace number 353572

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)-42 1800.07 1800.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
MD5SUMe1b2be59a127acc8d929395698929541
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -45
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58549
Number of constraints which are clauses58549
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 945
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 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
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...
1.49/1.59	c Converting 58549 PB-constraints to clauses...
1.59/1.60	c   -- Unit propagations: (none)
1.59/1.60	c   -- Detecting intervals from adjacent constraints: (none)
1.59/1.60	c   -- Clauses(.)/Splits(s): .....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.69/1.73	c ==================================[MINISAT+]==================================
1.69/1.73	c | Conflicts | Original         | Learnt                           | Progress |
1.69/1.73	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.69/1.73	c ==============================================================================
1.69/1.73	c |         0 |   58549   117098 |   19516       0        0     nan |  0.000 % |
1.69/1.73	c ==============================================================================
1.69/1.73	c Found solution: -33
1.69/1.73	o -33
1.69/1.74	c ---[   0]---> Sorter-cost:44290     Base:
1.79/1.85	c ==================================[MINISAT+]==================================
1.79/1.85	c | Conflicts | Original         | Learnt                           | Progress |
1.79/1.85	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.79/1.85	c ==============================================================================
1.79/1.85	c |         0 |  104166   224223 |   34722       0        0     nan |  0.000 % |
1.89/1.98	c |       100 |  103642   223111 |   38194      76      983    12.9 |  0.946 % |
2.10/2.15	c |       250 |  103156   222095 |   42013     185     1779     9.6 |  1.795 % |
2.29/2.40	c |       475 |  102265   220194 |   46214     359     3317     9.2 |  3.414 % |
2.69/2.70	c |       814 |  101075   217600 |   50836     639     5778     9.0 |  5.664 % |
3.39/3.40	c |      1320 |   97538   209751 |   55920    1003    12819    12.8 | 12.575 % |
4.19/4.29	c |      2079 |   93642   200909 |   61512    1463    18801    12.9 | 20.467 % |
5.40/5.46	c |      3218 |   88661   189630 |   67663    2127    26524    12.5 | 30.497 % |
6.79/6.85	c |      4927 |   82400   175157 |   74429    3225    35325    11.0 | 43.267 % |
7.09/7.19	c ==============================================================================
7.09/7.19	c Found solution: -36
7.09/7.19	o -36
7.19/7.20	c ---[   0]---> Sorter-cost:    0     Base:
7.19/7.26	c ==================================[MINISAT+]==================================
7.19/7.26	c | Conflicts | Original         | Learnt                           | Progress |
7.19/7.26	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
7.19/7.26	c ==============================================================================
7.19/7.26	c |      5415 |   81313   172721 |   27104    3561    38639    10.9 | 43.267 % |
7.29/7.31	c |      5515 |   81068   172126 |   29814    3614    39218    10.9 | 46.298 % |
7.39/7.40	c |      5665 |   80657   171144 |   32795    3742    40921    10.9 | 47.176 % |
7.49/7.58	c |      5890 |   79982   169546 |   36075    3902    43480    11.1 | 48.620 % |
7.79/7.80	c |      6227 |   79003   167290 |   39682    4118    45635    11.1 | 50.642 % |
7.99/8.04	c |      6733 |   78063   165079 |   43651    4430    49480    11.2 | 52.651 % |
8.49/8.53	c |      7493 |   76096   160443 |   48016    4837    55581    11.5 | 56.880 % |
8.99/9.08	c |      8632 |   74589   156885 |   52818    5773    73298    12.7 | 60.129 % |
9.69/9.79	c ==============================================================================
9.69/9.79	c Found solution: -37
9.69/9.79	o -37
9.69/9.80	c ---[   0]---> Sorter-cost:    0     Base:
9.79/9.85	c ==================================[MINISAT+]==================================
9.79/9.85	c | Conflicts | Original         | Learnt                           | Progress |
9.79/9.85	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
9.79/9.85	c ==============================================================================
9.79/9.85	c |      9964 |   72294   151476 |   24098    6717    92845    13.8 | 60.129 % |
9.79/9.88	c |     10064 |   72294   151476 |   26507    6817    96622    14.2 | 65.090 % |
9.89/9.94	c |     10214 |   72243   151364 |   29158    6960    98656    14.2 | 65.186 % |
9.99/10.01	c |     10440 |   72148   151147 |   32074    7150   102420    14.3 | 65.368 % |
10.09/10.15	c |     10777 |   71910   150582 |   35281    7453   109836    14.7 | 65.878 % |
10.29/10.34	c |     11283 |   71431   149450 |   38810    7849   116929    14.9 | 66.893 % |
10.69/10.74	c |     12042 |   70162   146309 |   42691    8318   128370    15.4 | 69.772 % |
11.19/11.21	c |     13181 |   69233   144085 |   46960    9095   152049    16.7 | 71.811 % |
11.89/11.92	c |     14889 |   68025   141190 |   51656   10405   194546    18.7 | 74.475 % |
12.59/12.67	c |     17451 |   67465   139846 |   56821   12599   292482    23.2 | 75.681 % |
12.79/12.87	c ==============================================================================
12.79/12.87	c Found solution: -38
12.79/12.87	o -38
12.79/12.88	c ---[   0]---> Sorter-cost:    0     Base:
12.89/12.94	c ==================================[MINISAT+]==================================
12.89/12.94	c | Conflicts | Original         | Learnt                           | Progress |
12.89/12.94	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
12.89/12.94	c ==============================================================================
12.89/12.94	c |     18058 |   67414   139655 |   22471   13154   334103    25.4 | 75.681 % |
12.89/12.97	c |     18158 |   67414   139655 |   24718   13254   340082    25.7 | 75.807 % |
12.99/13.03	c |     18309 |   67399   139620 |   27189   13361   344290    25.8 | 75.839 % |
13.19/13.22	c |     18534 |   66939   138489 |   29908   13378   346429    25.9 | 76.889 % |
13.28/13.34	c |     18872 |   66842   138270 |   32899   13666   357163    26.1 | 77.077 % |
13.38/13.48	c |     19378 |   66767   138089 |   36189   14080   377022    26.8 | 77.243 % |
13.68/13.77	c |     20137 |   66615   137726 |   39808   14759   398503    27.0 | 77.575 % |
14.08/14.12	c |     21276 |   66398   137195 |   43789   15773   445835    28.3 | 78.060 % |
14.58/14.66	c |     22984 |   66398   137195 |   48168   17481   625306    35.8 | 78.060 % |
15.58/15.64	c |     25546 |   66066   136404 |   52985   19769   794427    40.2 | 78.788 % |
16.98/17.07	c |     29390 |   65853   135895 |   58283   23401  1067190    45.6 | 79.253 % |
18.58/18.61	c ==============================================================================
18.58/18.61	c Found solution: -39
18.58/18.61	o -39
18.58/18.63	c ---[   0]---> Sorter-cost:    0     Base:
18.68/18.70	c ==================================[MINISAT+]==================================
18.68/18.70	c | Conflicts | Original         | Learnt                           | Progress |
18.68/18.70	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
18.68/18.70	c ==============================================================================
18.68/18.70	c |     32637 |   65821   135848 |   21940   26636  1446264    54.3 | 79.253 % |
18.68/18.79	c |     32737 |   65732   135626 |   24134   26685  1448385    54.3 | 79.603 % |
18.78/18.89	c |     32887 |   65727   135615 |   26547   26818  1455138    54.3 | 79.613 % |
18.88/18.99	c |     33113 |   65727   135615 |   29202   27044  1474034    54.5 | 79.613 % |
19.08/19.17	c |     33450 |   65697   135543 |   32122   27355  1497434    54.7 | 79.680 % |
19.28/19.39	c |     33956 |   65697   135543 |   35334   27861  1538713    55.2 | 79.680 % |
19.78/19.85	c |     34715 |   65589   135270 |   38868   28521  1585884    55.6 | 79.931 % |
20.38/20.48	c |     35855 |   65482   135009 |   42754   29577  1655703    56.0 | 80.169 % |
21.18/21.26	c |     37563 |   65482   135009 |   47030   31285  1797921    57.5 | 80.169 % |
22.58/22.67	c |     40127 |   65243   134410 |   51733   33432  1984818    59.4 | 80.735 % |
24.88/24.94	c |     43971 |   64998   133825 |   56906   36983  2317054    62.7 | 81.263 % |
28.48/28.59	c |     49737 |   64814   133363 |   62597   42396  2877508    67.9 | 81.692 % |
34.67/34.73	c |     58388 |   64619   132884 |   68857   50672  3796235    74.9 | 82.131 % |
45.77/45.87	c |     71362 |   64480   132543 |   75742   63342  5261377    83.1 | 82.449 % |
70.26/70.32	c |     90823 |   64425   132404 |   83317   82608  8035630    97.3 | 82.582 % |
94.76/94.82	c ==============================================================================
94.76/94.82	c Found solution: -40
94.76/94.82	o -40
94.76/94.83	c ---[   0]---> Sorter-cost:    0     Base:
94.96/95.02	c ==================================[MINISAT+]==================================
94.96/95.02	c | Conflicts | Original         | Learnt                           | Progress |
94.96/95.02	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
94.96/95.02	c ==============================================================================
94.96/95.02	c |    109905 |   64414   132357 |   21471  101407 10380699   102.4 | 82.582 % |
95.26/95.34	c |    110006 |   64386   132284 |   23618   21811  1640548    75.2 | 82.679 % |
95.26/95.39	c |    110156 |   64386   132284 |   25979   21961  1645897    74.9 | 82.679 % |
95.36/95.49	c |    110381 |   64386   132284 |   28577   22186  1658364    74.7 | 82.679 % |
95.56/95.67	c |    110718 |   64386   132284 |   31435   22523  1685423    74.8 | 82.679 % |
95.86/95.94	c |    111224 |   64384   132278 |   34579   23001  1726413    75.1 | 82.685 % |
96.26/96.30	c |    111983 |   64356   132212 |   38037   23758  1797994    75.7 | 82.745 % |
96.86/96.91	c |    113124 |   64356   132212 |   41840   24899  1928522    77.5 | 82.745 % |
97.66/97.72	c |    114832 |   64356   132212 |   46024   26607  2074157    78.0 | 82.745 % |
98.96/99.08	c |    117394 |   64321   132129 |   50627   29164  2294029    78.7 | 82.822 % |
101.36/101.44	c |    121238 |   64321   132129 |   55690   33008  2737094    82.9 | 82.822 % |
105.16/105.26	c |    127004 |   64317   132119 |   61259   38771  3371390    87.0 | 82.831 % |
112.35/112.45	c |    135653 |   64295   132065 |   67385   47415  4522685    95.4 | 82.882 % |
124.05/124.10	c |    148627 |   64254   131966 |   74123   60336  6178176   102.4 | 82.974 % |
139.05/139.16	c ==============================================================================
139.05/139.16	c Found solution: -41
139.05/139.16	o -41
139.05/139.17	c ---[   0]---> Sorter-cost:    0     Base:
139.25/139.32	c ==================================[MINISAT+]==================================
139.25/139.32	c | Conflicts | Original         | Learnt                           | Progress |
139.25/139.32	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
139.25/139.32	c ==============================================================================
139.25/139.32	c |    163149 |   64183   131807 |   21394   74787  7692198   102.9 | 82.974 % |
139.45/139.53	c |    163249 |   64183   131807 |   23533   20074  1358818    67.7 | 83.143 % |
139.55/139.61	c |    163399 |   64183   131807 |   25886   20224  1366314    67.6 | 83.143 % |
139.65/139.72	c |    163625 |   64183   131807 |   28475   20450  1379110    67.4 | 83.143 % |
139.75/139.80	c |    163962 |   64183   131807 |   31322   20787  1392044    67.0 | 83.143 % |
139.95/140.03	c |    164468 |   64183   131807 |   34455   21293  1434386    67.4 | 83.143 % |
140.25/140.35	c |    165229 |   64153   131727 |   37900   22051  1483457    67.3 | 83.222 % |
140.75/140.88	c |    166369 |   64153   131727 |   41690   23191  1600656    69.0 | 83.222 % |
141.65/141.78	c |    168077 |   64134   131680 |   45859   24890  1783760    71.7 | 83.267 % |
142.85/142.99	c |    170639 |   64102   131604 |   50445   27431  2021386    73.7 | 83.337 % |
144.95/145.03	c |    174484 |   64099   131597 |   55490   31274  2339999    74.8 | 83.343 % |
148.25/148.39	c |    180250 |   64099   131597 |   61039   37040  2928223    79.1 | 83.343 % |
154.25/154.38	c |    188899 |   64034   131440 |   67143   45638  3846777    84.3 | 83.489 % |
165.74/165.89	c |    201873 |   63981   131315 |   73857   58555  5634637    96.2 | 83.603 % |
186.54/186.62	c |    221334 |   63975   131301 |   81243   78014  7981254   102.3 | 83.616 % |
224.62/224.76	c |    250528 |   63908   131132 |   89368  107123 11438473   106.8 | 83.778 % |
267.92/268.00	c |    294319 |   63902   131118 |   98304   53229  4759432    89.4 | 83.791 % |
339.00/339.19	c |    360004 |   63735   130700 |  108135  118856 12406551   104.4 | 84.188 % |
462.07/462.23	c |    458530 |   63720   130663 |  118948  103406 10348912   100.1 | 84.223 % |
649.82/650.07	c |    606319 |   63649   130488 |  130843  125332 13128938   104.8 | 84.388 % |
896.36/896.66	c ==============================================================================
896.36/896.66	c Found solution: -42
896.36/896.66	o -42
896.36/896.67	c ---[   0]---> Sorter-cost:    0     Base:
896.46/896.76	c ==================================[MINISAT+]==================================
896.46/896.76	c | Conflicts | Original         | Learnt                           | Progress |
896.46/896.76	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
896.46/896.76	c ==============================================================================
896.46/896.76	c |    800692 |   63527   130169 |   21175   44774  2490338    55.6 | 84.388 % |
896.56/896.84	c |    800793 |   63527   130169 |   23292   44875  2494192    55.6 | 84.652 % |
896.66/896.91	c |    800944 |   63527   130169 |   25621   45026  2499646    55.5 | 84.652 % |
896.76/897.03	c |    801169 |   63527   130169 |   28183   45251  2519170    55.7 | 84.652 % |
896.96/897.22	c |    801506 |   63527   130169 |   31002   45588  2542135    55.8 | 84.652 % |
897.26/897.53	c |    802012 |   63516   130144 |   34102   46072  2579373    56.0 | 84.675 % |
897.56/897.87	c |    802771 |   63516   130144 |   37512   46831  2621026    56.0 | 84.674 % |
898.16/898.48	c |    803911 |   63516   130144 |   41264   47971  2731665    56.9 | 84.675 % |
898.96/899.25	c |    805621 |   63516   130144 |   45390   49681  2845139    57.3 | 84.675 % |
900.46/900.72	c |    808183 |   63516   130144 |   49929   52243  3052784    58.4 | 84.675 % |
902.66/902.90	c |    812028 |   63516   130144 |   54922   56088  3426452    61.1 | 84.675 % |
906.26/906.54	c |    817794 |   63516   130144 |   60414   61854  4045722    65.4 | 84.675 % |
912.95/913.28	c |    826444 |   63516   130144 |   66456   70504  4927832    69.9 | 84.675 % |
924.55/924.85	c |    839418 |   63516   130144 |   73101   83478  6067691    72.7 | 84.675 % |
944.95/945.20	c |    858879 |   63485   130069 |   80412   24109  1377308    57.1 | 84.744 % |
965.84/966.16	c |    888072 |   63485   130069 |   88453   53302  3330276    62.5 | 84.744 % |
1012.93/1013.26	c |    931862 |   63485   130069 |   97298   97092  6934655    71.4 | 84.744 % |
1089.91/1090.29	c |    997547 |   63485   130069 |  107028   62009  3079584    49.7 | 84.744 % |
1183.91/1184.38	c |   1096073 |   63390   129834 |  117731   48921  2086545    42.7 | 84.967 % |
1356.64/1357.11	c |   1243864 |   63345   129716 |  129504   76849  4507889    58.7 | 85.062 % |
1632.67/1633.27	c |   1465547 |   63226   129419 |  142454   32910  1149088    34.9 | 85.332 % |
1800.04/1800.60	c 
1800.04/1800.60	c *** TERMINATED ***
1800.04/1800.60	s SATISFIABLE
1800.04/1800.60	v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 x931 -x930 -x929 -x928 -x927 -x926 -x925
1800.04/1800.60	v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904
1800.04/1800.60	v -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883
1800.04/1800.60	v -x882 -x881 -x880 -x879 -x878 -x877 x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862
1800.04/1800.60	v -x861 -x860 -x859 x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841
1800.04/1800.60	v x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820
1800.04/1800.60	v x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799
1800.04/1800.60	v -x798 -x797 -x796 x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778
1800.04/1800.60	v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757
1800.04/1800.60	v x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736
1800.04/1800.60	v -x735 -x734 x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715
1800.04/1800.60	v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694
1800.04/1800.60	v x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673
1800.04/1800.60	v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 x652
1800.04/1800.60	v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 x635 -x634 -x633 -x632 -x631
1800.04/1800.60	v -x630 -x629 x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610
1800.04/1800.60	v -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589
1800.04/1800.60	v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568
1800.04/1800.60	v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547
1800.04/1800.60	v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526
1800.04/1800.60	v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505
1800.04/1800.60	v -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484
1800.04/1800.60	v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463
1800.04/1800.60	v -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442
1800.04/1800.60	v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421
1800.04/1800.60	v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 -x400
1800.04/1800.60	v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379
1800.04/1800.60	v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358
1800.04/1800.60	v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337
1800.04/1800.60	v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316
1800.04/1800.60	v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 -x295
1800.04/1800.60	v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274
1800.04/1800.60	v -x273 -x272 -x271 -x270 -x269 x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253
1800.04/1800.60	v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232
1800.04/1800.60	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211
1800.04/1800.60	v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190
1800.04/1800.60	v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169
1800.04/1800.60	v x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.04/1800.60	v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127
1800.04/1800.60	v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.04/1800.60	v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82
1800.04/1800.60	v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56
1800.04/1800.60	v -x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1800.04/1800.60	v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.04/1800.60	v -x1

Verifier Data (download as text)

OK	-42

Conversion Script Data (download as text)

/tmp/evaluation/353572-1176669715/instance-353572-1176669715.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/node70/watcher-353572-1176669715 -o ROOT/results/node70/solver-353572-1176669715 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353572-1176669715/minisat+ /tmp/evaluation/353572-1176669715/instance-353572-1176669715.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.00 1.00 1.00 3/64 30603
/proc/meminfo: memFree=1772736/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=1180 CPUtime=0
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 150 0 0 0 0 0 0 0 18 0 1 0 106508906 1208320 135 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005838 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 295 135 74 215 0 77 0

[startup+0.0904781 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30603
/proc/meminfo: memFree=1772736/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=1872 CPUtime=0.08
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 323 0 0 0 8 0 0 0 18 0 1 0 106508906 1916928 308 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 468 308 74 215 0 250 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1872

[startup+0.102478 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30603
/proc/meminfo: memFree=1772736/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=2008 CPUtime=0.09
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 350 0 0 0 9 0 0 0 18 0 1 0 106508906 2056192 335 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 502 335 74 215 0 284 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2008

[startup+0.302497 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30603
/proc/meminfo: memFree=1772736/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=3684 CPUtime=0.29
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 758 0 0 0 29 0 0 0 20 0 1 0 106508906 3772416 743 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 921 743 74 215 0 703 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3684

[startup+0.701535 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30603
/proc/meminfo: memFree=1772736/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=6888 CPUtime=0.69
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 1575 0 0 0 69 0 0 0 23 0 1 0 106508906 7053312 1560 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135002599 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 1722 1560 74 215 0 1504 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6888

[startup+1.50161 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30604
/proc/meminfo: memFree=1764216/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=13448 CPUtime=1.49
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 3212 0 0 0 148 1 0 0 25 0 1 0 106508906 13770752 3197 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 3362 3197 74 215 0 3144 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13448

[startup+3.10176 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30604
/proc/meminfo: memFree=1752248/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=22080 CPUtime=3.09
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 5336 0 0 0 301 8 0 0 25 0 1 0 106508906 22609920 5160 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582044 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 5520 5160 110 215 0 5302 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22080

[startup+6.30106 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30604
/proc/meminfo: memFree=1752248/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=22080 CPUtime=6.29
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 5336 0 0 0 621 8 0 0 25 0 1 0 106508906 22609920 5160 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 5520 5160 110 215 0 5302 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22080

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30604
/proc/meminfo: memFree=1752120/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=22308 CPUtime=12.69
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 5380 0 0 0 1261 8 0 0 25 0 1 0 106508906 22843392 5204 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573834 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 5577 5204 110 215 0 5359 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22308

[startup+25.5029 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30604
/proc/meminfo: memFree=1746232/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=28140 CPUtime=25.48
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 6855 0 0 0 2539 9 0 0 25 0 1 0 106508906 28815360 6679 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569775 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 7035 6679 110 215 0 6817 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28140

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30604
/proc/meminfo: memFree=1731320/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=43540 CPUtime=51.07
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 10668 0 0 0 5094 13 0 0 25 0 1 0 106508906 44584960 10492 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 10885 10492 110 215 0 10667 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 43540

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30604
/proc/meminfo: memFree=1711544/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=62948 CPUtime=102.26
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 15521 0 0 0 10209 17 0 0 25 0 1 0 106508906 64458752 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 15737 15345 110 215 0 15519 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 62948

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30604
/proc/meminfo: memFree=1711544/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=62936 CPUtime=162.24
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 15521 0 0 0 16207 17 0 0 25 0 1 0 106508906 64446464 15345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 15734 15345 110 215 0 15516 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 62936

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30604
/proc/meminfo: memFree=1707128/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=67360 CPUtime=222.23
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 16629 0 0 0 22205 18 0 0 25 0 1 0 106508906 68976640 16453 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581044 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 16840 16453 110 215 0 16622 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 67360

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30604
/proc/meminfo: memFree=1701496/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=72844 CPUtime=282.22
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 17992 0 0 0 28202 20 0 0 25 0 1 0 106508906 74592256 17816 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 18211 17816 110 215 0 17993 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 72844

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30604
/proc/meminfo: memFree=1700408/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=74032 CPUtime=342.2
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 18287 0 0 0 34200 20 0 0 25 0 1 0 106508906 75808768 18111 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 18508 18111 110 215 0 18290 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 74032

[startup+402.303 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 30604
/proc/meminfo: memFree=1692536/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=81648 CPUtime=402.19
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 20211 0 0 0 40197 22 0 0 25 0 1 0 106508906 83607552 20035 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 20412 20035 110 215 0 20194 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 81648

[startup+462.302 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 30604
/proc/meminfo: memFree=1692600/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=81648 CPUtime=462.17
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 20211 0 0 0 46195 22 0 0 25 0 1 0 106508906 83607552 20035 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 20412 20035 110 215 0 20194 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 81648

[startup+522.303 s]
/proc/loadavg: 1.13 1.05 1.01 2/65 30604
/proc/meminfo: memFree=1691640/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=83088 CPUtime=522.16
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 20518 0 0 0 52194 22 0 0 25 0 1 0 106508906 85082112 20342 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 20772 20342 110 215 0 20554 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 83088

[startup+582.303 s]
/proc/loadavg: 1.05 1.04 1.00 2/65 30604
/proc/meminfo: memFree=1689208/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=85180 CPUtime=582.14
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 21045 0 0 0 58192 22 0 0 25 0 1 0 106508906 87224320 20869 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 21295 20869 110 215 0 21077 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 85180

[startup+642.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 30604
/proc/meminfo: memFree=1689208/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=85180 CPUtime=642.13
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 21045 0 0 0 64191 22 0 0 25 0 1 0 106508906 87224320 20869 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 21295 20869 110 215 0 21077 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 85180


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 30606
/proc/meminfo: memFree=1679416/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=94856 CPUtime=822.08
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 23472 0 0 0 82183 25 0 0 25 0 1 0 106508906 97132544 23296 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 23714 23296 110 215 0 23496 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 94856

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30606
/proc/meminfo: memFree=1679480/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=94856 CPUtime=882.06
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 23473 0 0 0 88181 25 0 0 25 0 1 0 106508906 97132544 23297 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581512 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 23714 23297 110 215 0 23496 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 94856

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30606
/proc/meminfo: memFree=1679480/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=94856 CPUtime=942.05
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 23473 0 0 0 94180 25 0 0 25 0 1 0 106508906 97132544 23297 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 23714 23297 110 215 0 23496 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 94856

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30606
/proc/meminfo: memFree=1679480/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=94856 CPUtime=1002.03
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 23473 0 0 0 100178 25 0 0 25 0 1 0 106508906 97132544 23297 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 23714 23297 110 215 0 23496 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 94856

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30606
/proc/meminfo: memFree=1679480/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=94856 CPUtime=1062.02
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 23474 0 0 0 106177 25 0 0 25 0 1 0 106508906 97132544 23298 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 23714 23298 110 215 0 23496 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 94856

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30606
/proc/meminfo: memFree=1679480/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=94856 CPUtime=1122
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 23474 0 0 0 112175 25 0 0 25 0 1 0 106508906 97132544 23298 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 23714 23298 110 215 0 23496 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 94856

[startup+1182.3 s]
/proc/loadavg: 1.14 1.04 1.01 2/71 30770
/proc/meminfo: memFree=1678016/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=94856 CPUtime=1181.91
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 23474 0 0 0 118164 27 0 0 25 0 1 0 106508906 97132544 23298 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 23714 23298 110 215 0 23496 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 94856

[startup+1242.3 s]
/proc/loadavg: 1.05 1.03 1.01 2/65 30804
/proc/meminfo: memFree=1679224/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=94856 CPUtime=1241.88
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 23474 0 0 0 124161 27 0 0 25 0 1 0 106508906 97132544 23298 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 23714 23298 110 215 0 23496 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 94856

[startup+1302.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 30804
/proc/meminfo: memFree=1679224/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=94856 CPUtime=1301.86
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 23475 0 0 0 130159 27 0 0 25 0 1 0 106508906 97132544 23299 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 23714 23299 110 215 0 23496 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 94856

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 30804
/proc/meminfo: memFree=1679224/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=94856 CPUtime=1361.84
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 23475 0 0 0 136157 27 0 0 25 0 1 0 106508906 97132544 23299 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 23714 23299 110 215 0 23496 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 94856

[startup+1422.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 30804
/proc/meminfo: memFree=1679160/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=94856 CPUtime=1421.83
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 23475 0 0 0 142156 27 0 0 25 0 1 0 106508906 97132544 23299 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 23714 23299 110 215 0 23496 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 94856

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 30804
/proc/meminfo: memFree=1679352/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=94856 CPUtime=1481.81
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 23475 0 0 0 148154 27 0 0 25 0 1 0 106508906 97132544 23299 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 23714 23299 110 215 0 23496 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 94856

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30804
/proc/meminfo: memFree=1679352/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=94856 CPUtime=1541.8
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 23475 0 0 0 154153 27 0 0 25 0 1 0 106508906 97132544 23299 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 23714 23299 110 215 0 23496 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 94856

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30804
/proc/meminfo: memFree=1679288/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=94856 CPUtime=1601.78
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 23475 0 0 0 160151 27 0 0 25 0 1 0 106508906 97132544 23299 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 23714 23299 110 215 0 23496 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 94856

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30804
/proc/meminfo: memFree=1679352/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=94856 CPUtime=1661.77
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 23475 0 0 0 166150 27 0 0 25 0 1 0 106508906 97132544 23299 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 23714 23299 110 215 0 23496 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 94856

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30804
/proc/meminfo: memFree=1679352/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=94856 CPUtime=1721.75
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 23475 0 0 0 172148 27 0 0 25 0 1 0 106508906 97132544 23299 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 23714 23299 110 215 0 23496 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 94856

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30804
/proc/meminfo: memFree=1679288/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=94856 CPUtime=1781.73
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 23477 0 0 0 178146 27 0 0 25 0 1 0 106508906 97132544 23301 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 23714 23301 110 215 0 23496 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 94856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30804
/proc/meminfo: memFree=1679288/2055920 swapFree=4184456/4192956
[pid=30603] ppid=30601 vsize=94856 CPUtime=1800.04
/proc/30603/stat : 30603 (minisat+) R 30601 30603 26956 0 -1 4194304 23477 0 0 0 179977 27 0 0 25 0 1 0 106508906 97132544 23301 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30603/statm: 23714 23301 110 215 0 23496 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 94856

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

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

Child status: 10
Real time (s): 1800.63
CPU time (s): 1800.07
CPU user time (s): 1799.77
CPU system time (s): 0.292955
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 94856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.292955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23479
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= 216
involuntary context switches= 4118

runsolver used 1.3238 second user time and 3.79242 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Sun Apr 15 20:41:56 UTC 2007

IDJOB= 353572
IDBENCH= 2253
IDSOLVER= 156
FILE ID= node70/353572-1176669715

PBS_JOBID= 4559913

Free space on /tmp= 66561 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/frb45-21-opb/normalized-frb45-21-4.opb
COMMAND LINE= /tmp/evaluation/353572-1176669715/minisat+ /tmp/evaluation/353572-1176669715/instance-353572-1176669715.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node70/convwatcher-353572-1176669715 -o ROOT/results/node70/conversion-353572-1176669715 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353572-1176669715/instance-353572-1176669715.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  e1b2be59a127acc8d929395698929541

RANDOM SEED= 592024252

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node70.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.218
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.218
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:       1773144 kB
Buffers:         47980 kB
Cached:         153864 kB
SwapCached:       2564 kB
Active:         108896 kB
Inactive:       108180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1773144 kB
SwapTotal:     4192956 kB
SwapFree:      4184456 kB
Dirty:            3756 kB
Writeback:           0 kB
Mapped:          19308 kB
Slab:            51732 kB
Committed_AS:  2385100 kB
PageTables:       1408 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= 66561 MiB

End job on node70 on Sun Apr 15 21:11:58 UTC 2007